MRMC
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Improving active Mealy machine learning for protocol conformance testing
- Distributed Markovian bisimulation reduction aimed at CSL model checking
- Stochastic hybrid systems: a powerful framework for complex, large scale applications
- Model checking for probabilistic timed automata
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
- Comparative analysis of statistical model checking tools
- Algorithmic probabilistic game semantics. Playing games with automata
- Extended Directed Search for Probabilistic Timed Reachability
- Exact quantitative probabilistic model checking through rational search
- SBML Test Suite
- Precisely deciding CSL formulas through approximate model checking for CTMCs
- Fault trees on a diet: automated reduction by graph rewriting
- Coupling and importance sampling for statistical model checking
- Moment-based analysis of Bayesian network properties
- Formalisms for Specifying Markovian Population Models
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
- Efficient CTMC Model Checking of Linear Real-Time Objectives
- Time-bounded model checking of infinite-state continuous-time Markov chains
- Markov chains and Markov decision processes in Isabelle/HOL
- Formal reliability analysis of redundancy architectures
- CCMC: a conditional CSL model checker for continuous-time Markov chains
- Characterization and computation of infinite-horizon specifications over Markov processes
- Dynamic Bayesian networks for formal verification of structured stochastic processes
- Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
- Approximate model checking of stochastic hybrid systems
- Three-valued abstraction for probabilistic systems
- Multiphase until formulas over Markov reward models: an algebraic approach
- Efficient CSL model checking using stratification
- Probabilistic model checking for energy-utility analysis
- Minimal counterexamples for linear-time probabilistic verification
- A framework for verification of software with time and probabilities
- Efficient approximation of optimal control for continuous-time Markov games
- Smoothed model checking for uncertain continuous-time Markov chains
- Lumpability for uncertain continuous-time Markov chains
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
- LTL model checking of time-inhomogeneous Markov chains
- Formal methods for biochemical signalling pathways
- Cost preserving bisimulations for probabilistic automata
- Towards light-weight probabilistic model checking
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Observing continuous-time MDPs by 1-clock timed automata
- Abstraction of Probabilistic Systems
- Computing cumulative rewards using fast adaptive uniformization
- Formal dependability modeling and analysis: a survey
- Quantitative abstractions for collective adaptive systems
- Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains
- PRINSYS
- Automata-based CSL model checking
- Counterexample generation for discrete-time Markov models: an introductory survey
- CSL model checking algorithms for QBDs
- Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
- Mean-field limits beyond ordinary differential equations
- Mixing logics and rewards for the component-oriented specification of performance measures
- Model checking mobile stochastic logic
- Hierarchical counterexamples for discrete-time Markov chains
- A Tutorial on Interactive Markov Chains
- Performance model checking scenario-aware dataflow
- Formalisms for specifying Markovian population models
- Distributed synthesis in continuous time
- Formal system verification. State-of the-art and future trends
- Energy-utility analysis for resilient systems using probabilistic model checking
- Solving systems of bilinear equations for transition rate reconstruction
- Galileo
- GreatSPN
- SIGREF
- PRISM
- Bio-PEPA
- JTorX
- GreatSPN 1.7
- BISIMULATOR
- M-TREE
- LiQuor
- SMART_
- ProbDiVinE
- PASS
- CEGAR
- CADP
- COMICS
- REACH
- SPNP
- ULM
- DiPro
- PARAM
- Casaal
- Ymer
- Pinapa
- MoMo
- SCOOT
- TVT
- ArgoUML
- PEPA
- STOCKS
- DIFtree
- MARCIE
- MC2
- SABRE
- HASL
- Rapture
This page was built for software: MRMC
