Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Testing Hennessy-Milner Logic with Recursion
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
The power of reachability testing for timed automata
Theoretical Computer Science
A decidable notion of timed non-interference
Fundamenta Informaticae - Concurrency specification and programming
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Verification of timed and hybrid systems
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Compositional and quantitative model checking (extended abstract)
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A Decidable Notion of Timed Non-Interference
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
| Hi-index | 0.00 |