Étienne André
3
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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue
hal-04254710v1
|
|
Reachability Preservation Based Parameter Synthesis for Timed AutomataNFM '15, Apr 2015, Pasadena, California, United States
Communication dans un congrès
hal-01121214v1
|
|
Verification of Two Real-Time Systems Using Parametric Timed AutomataWATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden
Communication dans un congrès
hal-01240583v1
|