Verification of multiprocess probabilistic protocols
Distributed Computing
Symmetry breaking in distributed networks
Information and Computation
The complexity of probabilistic verification
Journal of the ACM (JACM)
Randomized algorithms
Symbolic Model Checking without BDDs
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Monte-Carlo algorithms for enumeration and reliability problems
SFCS '83 Proceedings of the 24th Annual Symposium on Foundations of Computer Science
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Probabilistic Verification and Approximation
Electronic Notes in Theoretical Computer Science (ENTCS)
Using probabilist models for studying realistic systems: a case study of pastry
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Error control for probabilistic model checking
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
International Journal of Bioinformatics Research and Applications
| Hi-index | 0.00 |