The complexity of probabilistic verification
Journal of the ACM (JACM)
Termination of Probabilistic Concurrent Program
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic Model Checking for Probabilistic Processes
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Probabilistic Analysis of Anonymity
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
On-the-fly verification and optimization of DTA-properties for large Markov chains
Formal Methods in System Design
Model checking for probabilistic timed automata
Formal Methods in System Design
Bayesian statistical model checking with application to Stateflow/Simulink verification
Formal Methods in System Design
Computable fixpoints in well-structured symbolic model checking
Formal Methods in System Design
A survey of partial-observation stochastic parity games
Formal Methods in System Design
Algorithmic probabilistic game semantics
Formal Methods in System Design
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
| Hi-index | 0.00 |