Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394
Formal Methods in System Design
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of fair ASM refinement
Science of Computer Programming
On reduction criteria for probabilistic reward models
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |