The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Renaming is Necessary in Timed Regular Expressions
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Automatic synthesis of a subclass of schedulers in timed systems
Theoretical Computer Science - Australasian computer science
Theoretical Computer Science
Testing Real-Time Systems Using TINA
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Testing real-time systems using UPPAAL
Formal methods and testing
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |