A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Timed acceptances: an algebra of time-dependent computing
Timed acceptances: an algebra of time-dependent computing
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
The Spring kernel: a new paradigm for real-time operating systems
ACM SIGOPS Operating Systems Review
Multivalued possibilities mappings
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Completeness theorems for automata
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assertional Verification of a Timer Based Protocol
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Economical solutions for the critical section problem in a distributed system (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Proving real-time properties of programs with temporal logic
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using mappings to prove timing properties
Distributed Computing
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
| Hi-index | 0.04 |