Scholar
Étienne André
Google Scholar ID: 9eslfRkAAAAJ
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Citations & Impact
Citations
1,211
H-index
19
i10-index
43
Publications
20
Co-authors
20
list available
Contact
Publications
Cited
0
Resume (English only)
Background
- Full professor at Nantes Université (he/him)
- Member of the Institut Universitaire de France (2024–2029)
- Affiliated with the STR research team at LS2N, École Centrale Nantes
- Supports the manifesto for sustainable research in theoretical computer science, especially through reducing carbon footprint and air travel
- Research interests include specification and formal verification of concurrent systems, with a focus on timed (real-time) systems under uncertainty—e.g., with timing parameters—and parametric timed model checking
- Also interested in monitoring cyber-physical systems and detecting side-channel attacks using quantitative formal methods
- Keywords: model checking, verification, distributed and concurrent systems, timed systems, parametric timed automata, parameter synthesis
