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 ScienceTheoretical Computer Science
2000English

Related publications

A Markov Chain Approach to Study Replacement Model

International Journal for Research in Applied Science and Engineering Technology
2019English

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

A New Hybrid PSO Algorithm Based on a Stochastic Markov Chain Model

Advances in Engineering Software
EngineeringSoftware
2015English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

A Stochastic Markov Chain Model to Describe Lung Cancer Growth and Metastasis

PLoS ONE
Multidisciplinary
2012English

A New Multivariate Markov Chain Model for Adding a New Categorical Data Sequence

Mathematical Problems in Engineering
MathematicsEngineering
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy