Design and validation of computer protocols
Design and validation of computer protocols
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Specifying and Verifying the Steam-Boiler Problem with SPIN
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Using concurrency and formal methods for the design of safe process control
Proceedings of the First IFIP TC10 International Workshop on Software Engineering for Parallel and Distributed Systems
The Software Architect's Assistant-a visual environment for distributed programming
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
STeP: The Stanford Temporal Prover
STeP: The Stanford Temporal Prover
From Architecture Down to Implementation of Safe Process Control Applications
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Resource virtualization in real-time CORBA middleware
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
| Hi-index | 0.00 |