An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards Bounded Model Checking for the Universal Fragment of TCTL
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Model checking: a tutorial overview
Modeling and verification of parallel processes
Parametric real-time model checking using splitting trees
Nordic Journal of Computing
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Checking Timed Büchi Automata Emptiness Efficiently
Formal Methods in System Design
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata
Fundamenta Informaticae
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
On-the-fly TCTL model checking for time Petri nets
Theoretical Computer Science
Model-checking one-clock priced timed automata
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
An automata-theoretic approach to infinite-state systems
Time for verification
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Bounded Model Checking for the Existential Fragment of TCTL$_{-G}$ and Diagonal Timed Automata
Fundamenta Informaticae
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |