Efficient CTMC Model Checking of Linear Real-Time Objectives

No abstract is available for this paper.

• Publication year

  2011

• Venue

  International Conference on Tools and Algorithms for Construction and Analysis of Systems

• Publication date

  2011-03-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-19835-9_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• I and J

  2012cited by this paper
• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

  2011influential reference
• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

  2010cited by this paper
• Performance evaluation and model checking join forces

  2010cited by this paper
• Simple O(m logn) Time Markov Chain Lumping

  2010influential reference
• Using complexity to protect elections

  2010cited by this paper
• CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

  2010cited by this paper
• Model checking CSLTA with Deterministic and Stochastic Petri Nets

  2010cited by this paper
• Model Checking Timed and Stochastic Properties with CSL^{TA}

  2009cited by this paper
• The Ins and Outs of the Probabilistic Model Checker MRMC

  2009cited by this paper
• Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics

  2008cited by this paper
• Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata

  2008cited by this paper
• Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

  2008cited by this paper
• Model Checking Markov Chains with Actions and State Labels

  2007cited by this paper
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

  2007cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Mathematical and computational models of immune-receptor signalling

  2004influential reference
• Optimal state-space lumping in Markov chains

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

  2002influential reference
• Performance Evaluation of Polling-Based Communication Systems Using SPNs

  1999cited by this paper
• Characterization of the Expressive Power of Silent Transitions in Timed Automata

  1998cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Automatic verification of probabilistic concurrent finite state programs

  1985cited by this paper

• A Probabilistic Logic for Verifying Continuous-time Markov Chains

  2020cites this paper
• Verification of Continuous-time Markov Chains

  2020cites this paper
• The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism

  2019cites this paper
• Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models

  2018cites this paper
• Monitoring CTMCs by Multi-clock Timed Automata

  2018cites this paper
• The quest for minimal quotients for probabilistic and Markov automata

  2018cites this paper
• Efficient model checking of the stochastic logic CSLTA

  2018influential citation
• Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL

  2017cites this paper
• Principles of Markov automata

  2017cites this paper
• Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

  2017cites this paper
• Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification

  2017cites this paper
• Hierarchy aware distributed plan execution monitoring

  2016cites this paper
• The Probabilistic Model Checking Landscape*

  2016influential citation
• Fluid Model Checking of Timed Properties

  2015cites this paper
• Statistical Model Checking of Rich Models and Properties

  2015cites this paper
• Efficient, sound formal verification for analog/mixed-signal circuits

  2015influential citation
• Reduction Techniques for Nondeterministic and Probabilistic Systems

  2015cites this paper
• Reduction Techniques for Nondeterministic and Probabilistic

  2015cites this paper
• Transportation risk analysis using probabilistic model checking

  2015cites this paper
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

  2015cites this paper
• Application and Theory of Petri Nets and Concurrency

  2015cites this paper
• Acceleration for Statistical Model Checking

  2014cites this paper
• Verification of Linear Duration Properties over Continuous Time

  2013cites this paper
• A component-based solution for reducible Markov regenerative processes

  2013cites this paper
• CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains

  2013influential citation
• Verification of linear duration properties over continuous-time markov chains

  2013influential citation
• Formal Approach for DVS-Based Power Management for Multiple Server System in Presence of Server Failure and Repair

  2013influential citation
• CSL Model Checker for Continuous-Time Markov Chains

  2013cites this paper
• The Quest for Minimal Quotients for Probabilistic Automata

  2013cites this paper
• Improving and Assessing the Efficiency of the MC4CSLTA Model Checker

  2013influential citation
• Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications

  2013cites this paper
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

  2013cites this paper
• UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

  2012cites this paper
• On-the-fly verification and optimization of DTA-properties for large Markov chains

  2012cites this paper
• Imperial College Computing Student Workshop

  2012cites this paper
• Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata

  2012cites this paper
• Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

  2012influential citation
• Verification of linear duration properties over continuous-time markov chains

  2012cites this paper
• Weighted Lumpability on Markov Chains

  2011cites this paper
• Observing Continuous-Time MDPs by 1-Clock Timed Automata

  2011cites this paper
• Time-Bounded Verification of CTMCs against Real-Time Specifications

  2011influential citation
• Reachability probabilities in Markovian Timed Automata

  2011cites this paper
• Fixed-Delay Events in Generalized Semi-Markov Processes Revisited

  2011cites this paper