Accéder directement au contenu

Étienne André

2
Documents
Identifiants chercheurs
  • IdHAL etienne-andre

Présentation

My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")

Publications

"emmanuelle-encrenaz"

An Inverse Method for Parametric Timed Automata

Étienne André , Emmanuelle Encrenaz , Laurent Fribourg , Thomas Chatain
International Journal of Foundations of Computer Science, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
Article dans une revue hal-00772641v1

An Inverse Method for Parametric Timed Automata

Étienne André , Thomas Chatain , Emmanuelle Encrenaz , Laurent Fribourg
The Second Workshop on Reachability Problems in Computational Models (RP 2008), Sep 2008, Liverpool, United Kingdom. pp.29-46, ⟨10.1016/j.entcs.2008.12.029⟩
Communication dans un congrès hal-01299163v1