Profil

Estievenart Morgane


Main Referenced Co-authors
BRIHAYE, Thomas  (9)
Geeraerts, Gilles (9)
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (9)
Main Referenced Disciplines
Electrical & electronics engineering (9)
Mathematics (8)

Publications (total 9)


Brihaye, T., Estievenart, M., & Geeraerts, G. (25 September 2014). On alternating timed automata for MITL. Paper presented at Journées montoises d'informatique théorique, Nancy, France.

Brihaye, T., Estievenart, M., & Geeraerts, G. (08 September 2014). On MITL and alternating timed automata over infinite words. Paper presented at FORMATS - Formal Modelling and Analysis of Timed Systems, Florence, Italy.

Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On MITL and Alternating Timed Automata over Infinite Words. Lecture Notes in Computer Science.
Peer reviewed

Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On MITL and alternating timed automata over infinite words.

Brihaye, T., Estievenart, M., & Geeraerts, G. (2014). On alternating timed automata for MITL. Paper presented at Journées montoises d'informatique théorique, Nancy, France.

Brihaye, T., Estievenart, M., & Geeraerts, G. (30 September 2013). On MITL and alternating timed automata. Paper presented at Second Cassting Meeting, Aalborg, Denmark.

Brihaye, T., Estievenart, M., & Geeraerts, G. (2013). On MITL and alternating timed automata. Lecture Notes in Computer Science, 47-61.
Peer reviewed

Brihaye, T., Estievenart, M., & Geeraerts, G. (2013). On MITL and alternating timed automata.

Estievenart, M., Brihaye, T., & Geeraerts, G. (30 May 2013). On MITL and alternating timed automata. Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.

Contact ORBi