Subject Areas
Currently Not Available
Published Items by Year
Keywords
Colleague Collaboration
Author’s Latest Publications
- article
A game approach to determinize timed automata
February 2015Formal Methods in System Design, Volume 46, Issue 1https://doi.org/10.1007/s10703-014-0220-1 - Article
Reachability of communicating timed processes
March 2013FOSSACS'13: Proceedings of the 16th international conference on Foundations of Software Science and Computation Structureshttps://doi.org/10.1007/978-3-642-37075-5_6 - Article
Frequencies in forgetful timed automata
September 2012FORMATS'12: Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systemshttps://doi.org/10.1007/978-3-642-33365-1_17 - Article
Monitor-Based statistical model checking for weighted metric temporal logic
- Peter Bulychev,
- Alexandre David,
- Kim Guldstrand Larsen,
- Axel Legay,
- Guangyuan Li,
- Danny Bøgsted Poulsen,
- Amelie Stainer
March 2012LPAR'12: Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoninghttps://doi.org/10.1007/978-3-642-28717-6_15 - Article
Emptiness and universality problems in timed automata with positive frequency
July 2011ICALP'11: Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II - Article
Off-line test selection with test purposes for non-deterministic timed automata
March 2011TACAS'11/ETAPS'11: Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software