Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Markov decision processes and deterministic Büchi automata
Fundamenta Informaticae
On probabilistic timed automata
Theoretical Computer Science
Deductive Verification of Probabilistic Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
A Decidable Probability Logic for Timed Probabilistic Systems
Fundamenta Informaticae
Automatic Analysis of a Non-Repudiation Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Analysis of the NRL Pump
Electronic Notes in Theoretical Computer Science (ENTCS)
A Classification of Time and/or Probability Dependent Security Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic and topological semantics for timed automata
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Weak bisimulation for Probabilistic Timed Automata
Theoretical Computer Science
Stochastic real-time games with qualitative timed automata objectives
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Fixed-delay events in generalized semi-Markov processes revisited
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Markov Decision Processes and Deterministic Büchi Automata
Fundamenta Informaticae
Transient analysis of networks of stochastic timed automata using stochastic state classes
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.00 |