MoDeST
From MaRDI portal
Software:14250
No author found.
Related Items (31)
Unnamed Item ⋮ Tweaking the odds in probabilistic timed automata ⋮ Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ Model Checking Probabilistic Systems ⋮ Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically ⋮ Out of control: reducing probabilistic models by control-state elimination ⋮ Validation of Stochastic Systems ⋮ Formal techniques for performance analysis: blending SAN and PEPA ⋮ Revisiting sequential composition in process calculi ⋮ Bisimulations for non-deterministic labelled Markov processes ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ Model checking duration calculus: a practical approach ⋮ Model checking for probabilistic timed automata ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Compositional Design of Stochastic Timed Automata ⋮ Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting ⋮ Superposition-Based Analysis of First-Order Probabilistic Timed Automata ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ A Survey of Markovian Behavioral Equivalences ⋮ CONCUR 2005 – Concurrency Theory ⋮ Hybrid Systems: Computation and Control ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata ⋮ StocHy - automated verification and synthesis of stochastic processes ⋮ AMYTISS ⋮ Dependability analysis of the data communication system in train control system ⋮ Extending Timed Process Algebra with Discrete Stochastic Time ⋮ A theory of stochastic systems. II: Process algebra
This page was built for software: MoDeST
