Étienne André
2
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
- 1
- 2
- 2
- 2
- 2
Timed automata as a formalism for expressing security: A survey on theory and practiceACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
Article dans une revue
hal-03690234v1
|
Zone Extrapolations in Parametric Timed Automata14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Communication dans un congrès
hal-03690070v1
|