Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Markus Siegle
A Markov Chain Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Markov Chain Approach to Study Replacement Model
International Journal for Research in Applied Science and Engineering Technology
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
A New Hybrid PSO Algorithm Based on a Stochastic Markov Chain Model
Advances in Engineering Software
Engineering
Software
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Stochastic Markov Chain Model to Describe Lung Cancer Growth and Metastasis
PLoS ONE
Multidisciplinary
A New Multivariate Markov Chain Model for Adding a New Categorical Data Sequence
Mathematical Problems in Engineering
Mathematics
Engineering