Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Verification of a production cell controller using symbolic timing diagrams
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Proving correctness of compiler optimizations by temporal logic
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Compiler Optimization Correctness by Temporal Logic
Higher-Order and Symbolic Computation
Decision-theoretic planning with non-Markovian rewards
Journal of Artificial Intelligence Research
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of reactive plans for multi-path environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next
Fundamenta Informaticae
Hi-index | 0.00 |