A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,
Acacia+, a tool for LTL synthesis, CAV 2012), number 7358 in Lecture Notes in Computer Science, pp.652-657, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01196263
On MITL and alternating timed automata of infinite words, Proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), vol.8711, pp.69-84, 2014. ,
Realtime synthesis is hard! In Formal Modeling and Analysis of Timed Systems, 14th International Conference, vol.9884, pp.105-120, 2016. ,
MightyL: A compositional translation from MITL to timed automata, Proceedings of the 29th International Conference on Computer Aided Verification, Part I (CAV 2017, vol.10426, pp.421-440, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01525524
Timed-automata-based verification of MITL over signals, Proceedings of the 24th International Symposium on Temporal Representation and Reasoning (TIME'17), volume 90 of LIPIcs, vol.7, pp.1-7, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01526986
NuSMV2: An opensource tool for symbolic model checking, Proceedings of the 14th International Conference on Computer Aided Verification (CAV 2002, vol.2404, pp.359-364, 2002. ,
Realizability of real-time logics, Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2009), vol.5813, pp.133-148, 2009. ,
Timed control synthesis for external specifications, Proceedings of the 19th Annual conference on Theoretical Aspects of Computer Science (STACS 2002, vol.2285, pp.571-582, 2002. ,
An antichain algorithm for LTL realizability, Proceedings of the 21st Internationl Conference on Computer Aided Verification, vol.5643, pp.263-277, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00489952
Fast LTL to Büchi automata translation, Proceedings of the 13th Internationl Conference on Computer Aided Verification, vol.2102, pp.53-65, 2001. ,
LTSmin: High-performance language-independent model checking, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), vol.9035, pp.692-707, 2015. ,
Specifying real-time properties with metric temporal logic. Real-Time Systems, vol.2, pp.255-299, 1990. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
From MITL to timed automata, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2006), vol.4202, pp.274-289, 2006. ,
On the decidability of metric temporal logic, Proceedings of the 20th Annual Symposium on Logic in Computer Science (LICS'05), pp.188-197, 2005. ,
The temporal logic of programs, Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), pp.46-57, 1977. ,