Cited in
(61)- PTGTSs
- A compositional modelling and analysis framework for stochastic hybrid systems
- Model checking probabilistic systems
- Extending Timed Process Algebra with Discrete Stochastic Time
- Reconciling urgency and variable abstraction in a hybrid compositional setting
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Revisiting sequential composition in process calculi
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Tweaking the odds in probabilistic timed automata
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- A theory of stochastic systems. II: Process algebra
- A linear process-algebraic format with data for probabilistic automata
- StocHy - automated verification and synthesis of stochastic processes
- Superposition-based analysis of first-order probabilistic timed automata
- Hybrid Systems: Computation and Control
- Formal techniques for performance analysis: blending SAN and PEPA
- Performance evaluation of distributed systems based on a discrete real- and stochastic-time process algebra
- Out of control: reducing probabilistic models by control-state elimination
- A compositional translation of timed automata with deadlines to Uppaal timed automata
- TimeNET
- SPADES
- E-LOTOS
- LOTOS
- HOL/SPIN
- MOTOR
- SHARPE
- PEPS
- POMDP
- IF-2.0
- LiQuor
- ProbDiVinE
- PASS
- MarCaSPiS
- Fiacre
- mctau
- DSPNexpress
- Augur 2
- Storm
- CONCUR 2005 – Concurrency Theory
- Bisimulations for non-deterministic labelled Markov processes
- IDLVALID
- FAUST2
- UPPAAL CORA
- HyPro
- AODV
- Compositional design of stochastic timed automata
- Dependability analysis of the data communication system in train control system
- Jani
- StocHy
- SMP-tool
- PAYNT
- Model-checking timed automata with deadlines with Uppaal
- Reconciling real and stochastic time: the need for probabilistic refinement
- A survey of Markovian behavioral equivalences
- AMYTISS
- Möbius
- scientific article; zbMATH DE number 2155192 (Why is no real title available?)
- Model checking for probabilistic timed automata
- Model checking duration calculus: a practical approach
- Validation of Stochastic Systems
- Bisimulation of labelled state-to-function transition systems coalgebraically
This page was built for software: MoDeST