Retour
  1. Accueil
  2. Profil de Morgane Estievenart (UMONS)
Profil

Estievenart Morgane

Principaux co-auteurs référencés
BRIHAYE, Thomas  (9)
Geeraerts, Gilles (9)
Principaux centres et unités de recherche référencés
CREMMI - Modélisation mathématique et informatique (9)
Principales disciplines référencées
Ingénierie électrique & électronique (9)
Mathématiques (8)

Publications (9)


Brihaye, T., Estievenart, M., & Geeraerts, G. (25 September 2014). On alternating timed automata for MITL [Paper presentation]. 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 presentation]. 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 presentation]. 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 presentation]. 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 presentation]. Méthodes Formelles et Vérification, Bruxelles, Belgium.

Contacter ORBi UMONS