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
Progress measures and stack assertions for fair termination
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Deducing fairness properties in UNITY logic—a new completeness result
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fair transition system specification: an integrated approach
ACM SIGPLAN Notices
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Theoretical Computer Science
Alternating the Temporal Picture for Safety
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Analyzing Fair Parametric Extended Automata
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Verifying Liveness by Augmented Abstraction
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Situation and State Calculus versus Branching Temporal Logic
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Enforcing behavior with contracts
Programming methodology
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Distributed Computing - Special issue: Verification of lazy caching
The relative completeness of a version of CTL
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Model Checking with Strong Fairness
Formal Methods in System Design
A compositional approach to CTL* verification
Theoretical Computer Science - Formal methods for components and objects
On the Merits of Temporal Testers
25 Years of Model Checking
Liveness Reasoning with Isabelle/HOL
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Journal of Artificial Intelligence Research
Developing topology discovery in Event-B
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculating and composing progress properties in terms of the leads-to relation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Using patterns and composite propositions to automate the generation of LTL specifications
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
A monad-based modeling and verification toolbox with application to security protocols
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
A correctness proof of the SRP protocal
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Auxiliary constructs for proving liveness in compassion discrete systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
Towards support for software model checking: improving the efficiency of formal specifications
Advances in Software Engineering
Reasoning about liveness properties in event-B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
Temporal reasoning for procedural programs
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Separating fairness and well-foundedness for the analysis of fair discrete systems
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Verifying pattern-generated LTL formulas: a case study
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Parameterized verification of deadlock freedom in symmetric cache coherence protocols
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Proving the refuted: symbolic model checkers as proof generators
Concurrency, Compositionality, and Correctness
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Validated templates for specification of complex LTL formulas
Journal of Systems and Software
Proving liveness property under strengthened compassion requirements
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Integrating Distributed Algorithms into Distributed Systems
Fundamenta Informaticae
A constraint-based approach to solving games on infinite graphs
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 0.00 |