Brihaye, T., Geeraerts, G., Ho, H.-M., Milchior, A., & Monmege, B. (2018). Efficient Algorithms and Tools for MITL Model-Checking and Synthesis [Paper presentation]. IEEE International Conference on Engineering of Complex Computer Systems, Melbourne, Australia. |
  | Brihaye, T., Geeraerts, G., Ho, H.-M., & Monmege, B. (2017). MightyL : A Compositional Translation from MITL to Timed Automata [Paper presentation]. International Conference on Computer Aided Verification, Heidelberg, Germany. |
 | Brihaye, T., Estiévenart, M., Geeraerts, G., Ho, H.-M., Monmege, B., & Sznajder, N. (2016). Real-time Synthesis is Hard! Lecture Notes in Computer Science.  Peer reviewed |