Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming
A classification of &ohgr;-regular languages
Theoretical Computer Science
Specification and verification of concurrent programs by A∀automata
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Completing the temporal picture
Selected papers of the 16th international colloquium on Automata, languages, and programming
On characterization of safety and liveness properties in temporal logic
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automata on Infinite Objects and Church's Problem
Automata on Infinite Objects and Church's Problem
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the Conference on Logic of Programs
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Counter-Free Automata (M.I.T. research monograph no. 65)
Counter-Free Automata (M.I.T. research monograph no. 65)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Extending Memory Consistency of Finite Prefixes to Infinite Computations
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Model checking: a tutorial overview
Modeling and verification of parallel processes
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Information and Computation
CONCUR 2005 - Concurrency Theory
Bounded model checking of infinite state systems
Formal Methods in System Design
A complete characterization of deterministic regular liveness properties
Theoretical Computer Science
Towards SMT Model Checking of Array-Based Systems
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
Information and Computation
Discounting the future in systems theory
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Scalable multi-core LTL model-checking
Proceedings of the 14th international SPIN conference on Model checking software
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
Büchi store: an open repository of büchi automata
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
From PSL to LTL: a formal validation in HOL
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Combining shape analyses by intersecting abstractions
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Synthesis of Reactive(1) designs
Journal of Computer and System Sciences
Deeper connections between LTL and alternating automata
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
LTL translation improvements in spot
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
LTL to büchi automata translation: fast and more deterministic
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automata-Based computation of temporal equilibrium models
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Generation of Java programs properties from test purposes
Proceedings of the 2013 International Symposium on Software Testing and Analysis
GOAL for games, omega-automata, and logics
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
LTL translation improvements in Spot 1.0
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |