Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
A decidable temporal logic to reason about many processes
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Half-order modal logic: how to prove real-time properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
A hierarchy of temporal properties (invited paper, 1989)
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Compositional specification and verification of distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Formal Methods in System Design
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Theoretical Computer Science
Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
A temporal logic view of paradigm models
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Fully Abstract Characterization of Probabilistic May Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Panel Discussion: Future Directions
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Infinitary relations and their representation
Science of Computer Programming - Special issue on static analysis (SAS'99)
Handbook of automated reasoning
Bounded model checking of infinite state systems
Formal Methods in System Design
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking the Preservation of Temporal Properties upon Feature Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
On the automated synthesis of proof-carrying temporal reference monitors
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Compositional verification with stutter-invariant propositional projection temporal logic
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
Towards support for software model checking: improving the efficiency of formal specifications
Advances in Software Engineering
Axiomatizations Of Interval Logics
Fundamenta Informaticae
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next
Fundamenta Informaticae
Proceedings of the 18th ACM symposium on Access control models and technologies
| Hi-index | 0.00 |