Journal of the ACM (JACM)
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
The octahedron abstract domain
Science of Computer Programming
Towards a theory of time-bounded verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
On construction of safety signal automata for MITL[ u, s] using temporal projections
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
On metric temporal logic and faulty turing machines
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
On MITL and alternating timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
| Hi-index | 0.00 |