Model checking action- and state-labelled Markov chains

No abstract is available for this paper.

• Publication year

  2004

• Venue

  International Conference on Dependable Systems and Networks, 2004

• Publication date

  2004-06-28

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/DSN.2004.1311941
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatische Verifikation stochastischer Systeme

  2004cited by this paper
• Model Checking pathCSL

  2003cited by this paper
• Performance evaluation of GSM handover traffic in a GPRS/GSM network

  2003cited by this paper
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes

  2003influential reference
• Model-Checking Algorithms for Continuous-Time Markov Chains

  2002influential reference
• Implementing a Model Checker for Performability Behaviour

  2001cited by this paper
• Model Checking Continuous-Time Markov Chains by Transient Analysis

  2000cited by this paper
• On the Logical Characterisation of Performability Properties

  2000cited by this paper
• A Theory of Testing for Markovian Processes

  2000cited by this paper
• Towards Model Checking Stochastic Process Algebra

  2000cited by this paper
• Mobile Radio Networks

  1999cited by this paper
• On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets

  1999cited by this paper
• Approximate Symbolic Model Checking of Continuous-Time Markov Chains

  1999cited by this paper
• State-space support for path-based reward variables

  1998cited by this paper
• A compositional approach to performance modelling

  1996cited by this paper
• Verifying Continuous Time Markov Chains

  1996cited by this paper
• Model checking

  1996cited by this paper
• It Usually Works: The Temporal Logic of Stochastic Systems

  1995cited by this paper
• Introduction to the numerical solution of Markov Chains

  1994cited by this paper
• Exact and ordinary lumpability in finite Markov chains

  1994cited by this paper
• Syntax , Semantics , Equivalences , and Axioms for MTIPP y

  1994cited by this paper
• A logic for reasoning about time and reliability

  1990cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986influential reference
• Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version)

  1982cited by this paper
• Propositional Dynamic Logic of Regular Programs

  1979cited by this paper
• Finite Markov chains

  1960cited by this paper

• Efficient model checking of the stochastic logic CSLTA

  2018cites this paper
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits

  2015cites this paper
• HASL: A new approach for performance evaluation and model checking from concepts to experimentation

  2015cites this paper
• Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example

  2014cites this paper
• A logical verification methodology for service-oriented computing

  2012influential citation
• Numerical and Statistical Approaches for Model Checking of Stochastic Processes

  2012cites this paper
• Numerical and statistical approaches for model checking of stochastic processes. (Approches numériques et statistiques pour le model checking des processus stochastiques)

  2012cites this paper
• Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics

  2012cites this paper
• Exploiting multiformalism models for testing and performance evaluation in SIMTHESys

  2011cites this paper
• HASL: an expressive language for statistical verification of stochastic models

  2011cites this paper
• CSL LHA : an Expressive Language for Statistical Verification of Stochastic Models ∗

  2010cites this paper
• Decision algorithms for probabilistic simulations

  2009cites this paper
• Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

  2009cites this paper
• Model Checking Timed and Stochastic Properties with CSL^{TA}

  2009influential citation
• Formal verification of an automotive scenario in service-oriented computing

  2008cites this paper
• Performance Trees: Implementation And Distributed Evaluation

  2008cites this paper
• State-Aware Performance Analysis with eXtended Stochastic Probes

  2008cites this paper
• Model checking mobile stochastic logic

  2007cites this paper
• Model Checking Probabilistic Timed Automata with One or Two Clocks

  2007cites this paper
• Performance Trees: Expressiveness and Quantitative Semantics

  2007cites this paper
• Extending the Logic IM-SPDL with Impulse and State Rewards

  2007cites this paper
• A framework to design and solve Markov Decision Well-formed Net models

  2007cites this paper
• Model Checking Markov Chains with Actions and State Labels

  2007cites this paper
• CSL^TA: an Expressive Logic for Continuous-Time Markov Chains

  2007cites this paper
• A framework to design and solve Markov Decision Well-formed Net models

  2007cites this paper
• Symbolic Model Checking of Stochastic Systems: Theory and Implementation

  2006cites this paper
• Symbolic semantics and verification of stochastic process algebras

  2006cites this paper
• Functional Performance Specification with Stochastic Probes

  2006cites this paper
• CSL Model Checking for Generalized Stochastic Petri Nets

  2006cites this paper
• Verifying Finite State Machines in Probabilistic Environments

  2006cites this paper
• Performance Trees: A New Approach to Quantitative Performance Specification

  2006cites this paper
• Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior

  2006cites this paper
• Expanding the Boundaries of Performance Requirement Representation with Performance Trees

  2006cites this paper
• Model checking algorithms for Markov reward models

  2006cites this paper
• Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques

  2006cites this paper
• Model checking meets performance evaluation

  2005cites this paper
• Model checking Quasi Birth Death processes

  2004cites this paper
• Model Checking Quasi Birth Death Processes

  year unknowncites this paper
• Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

  year unknowncites this paper
• Quantitative verification of Markov chains

  year unknowncites this paper