A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient detection of Zeno runs in timed automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Testing deadlock-freeness in real-time systems: a formal approach
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |