Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Eternity Variables to Simulate Specifications
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Probabilistic weak simulation is decidable in polynomial time
Information Processing Letters
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Eternity variables to prove simulation of specifications
ACM Transactions on Computational Logic (TOCL)
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Comparative branching-time semantics for Markov chains
Information and Computation
Universal extensions to simulate specifications
Information and Computation
Simulation Refinement for Concurrency Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
The power of simulation relations
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Compositional Abstraction in Real-Time Model Checking
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Comparative branching-time semantics for Markov chains
Information and Computation
Flow faster: efficient decision algorithms for probabilistic simulations
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Simulation refinement for concurrency verification
Science of Computer Programming
Completeness of fair ASM refinement
Science of Computer Programming
Simulation for interactive markov chains
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part I
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |