An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
An inheritance-based technique for building simulation proofs incrementally
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mechanical Translation of I/O Automaton Specifications into First-Order Logic
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
DAP: A Generic Platform for the Simulation of Distributed Algorithms
ANSS '04 Proceedings of the 37th annual symposium on Simulation
Theoretical Computer Science - Implementation and application of automata
Software composition and verification for sensor networks
Science of Computer Programming - Special issue on new software composition concepts
A Java toolkit for the design and the automatic checking of server architectures
Proceedings of the 5th international symposium on Principles and practice of programming in Java
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Methods in System Design
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
On weak modal compatibility, refinement, and the MIO workbench
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |