Étienne André
4
Documents
Identifiants chercheurs
etienne-andre
Présentation
My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")
Publications
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 2
- 2
- 1
|
|
Preserving Partial Order Runs in Parametric Time Petri NetsACM Transactions on Embedded Computing Systems (TECS), 2016, 16, pp.25. ⟨10.1145/3012283⟩
Article dans une revue
hal-01425696v1
|
An Inverse Method for Parametric Timed AutomataInternational Journal of Foundations of Computer Science, 2009, 20 (5), pp.819-836. ⟨10.1142/S0129054109006905⟩
Article dans une revue
hal-00772641v1
|
Preserving Partial Order Runs in Parametric Time Petri Nets15th International Conference on Application of Concurrency to System Design (ACSD'15), 2015, Brussels, Belgium
Communication dans un congrès
hal-01242847v1
|
|
An Inverse Method for Parametric Timed AutomataThe 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
|