Étienne André

Bio

I am full professor within Nantes Université. I belong to the STR research team at LS2N, located at École Centrale Nantes.

Research

I am interested in specifying and formally verifying concurrent systems. My research focuses especially on verification of timed systems (or real-time systems) under uncertainty, i.e., with timing parameters, and notably on parametric timed model-checking. I am also interested in monitoring cyber-physical systems, and in detecting side-channel attacks using quantitative formal methods.

Keywords

Sustainability

I support the manifesto for sustainable research in theoretical computer science, notably through the reduction of our carbon footprint and (therefore) our plane travels.

I made up a tiny Event Carbon Footprint Calculator to evaluate the carbon impact of the conferences you (co-)organise.

Latest works

Latest publication

Étienne André, Sarah Dépernet and Engel Lefaucheux. Buffered Control for Opacity in Timed Automata. in Ana Sokolova and Patrick Totzke, (Editors), CONCUR’26 🏴󠁧󠁢󠁥󠁮󠁧󠁿, LIPIcs, pages 11:1-11:21, March 2026. Acceptance rate: 38%. DOI: 10.4230/LIPICS.CONCUR.2026.11 (English) [📄 PDF | 📋️ BibTeX]

See all publications

Latest talk

26th February 2026: Parametric disjunctive timed networks (CSL’26, 🇫🇷 Paris)

See all talks

My lists of scientific events

Conferences

I maintain a list of conferences in formal methods.

Journals

My list of journals in formal methods.

A Little Environmental Responsibility

Simulate the Carbon Footprint of Your Events

I maintain a simple—or even simplistic—scientific event carbon simulator that lets you estimate the carbon footprint of a scientific event in just a few clicks.

What if we took the train to attend conferences…?

Le monde en train, or everything you need to attend European (or even Asian) conferences by train! (in French)