ACM Transactions on Computer Systems (TOCS)
Bisimulation through probabilistic testing
Information and Computation
The complexity of probabilistic verification
Journal of the ACM (JACM)
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Model checking
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Reduction and Refinement Strategies for Probabilistic Analysis
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Reduction and Refinement Strategies for Probabilistic Analysis
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Optimal state-space lumping in Markov chains
Information Processing Letters
Partial Order Reduction for Probabilistic Systems
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Using probabilistic model checking for dynamic power management
Formal Aspects of Computing
Model Checking for Survivability
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Probabilistic guarded commands mechanized in HOL
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Probabilistic analysis of an anonymity system
Journal of Computer Security - Special issue on CSFW15
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
Proofs and Refutations for Probabilistic Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Verification of probabilistic systems with faulty communication
Information and Computation
Symmetry reduction for probabilistic model checking
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Multijunction Fault-Tolerance Architecture for Nanoscale Crossbar Memories
IEEE Transactions on Nanotechnology
Ten years of performance evaluation for concurrent systems using CADP
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Efficient CTMC model checking of linear real-time objectives
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
QUASY: quantitative synthesis tool
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
A non-functional property based service selection and service verification model
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
Formal modeling and analysis of timed systems: technology push or market pull?
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Time-bounded verification of CTMCs against real-time specifications
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Model-checking and simulation for stochastic timed systems
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Quantitative models for a not so dumb grid
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Model checking conditional CSL for continuous-time Markov chains
Information Processing Letters
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Proceedings of the 16th international conference on Hybrid systems: computation and control
Verification of linear duration properties over continuous-time markov chains
ACM Transactions on Computational Logic (TOCL)
Quantitative reactive modeling and verification
Computer Science - Research and Development
| Hi-index | 48.22 |
A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.