Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Automation: Flying High?
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
Seminars
New publications
- Recent Publications
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Pascal Fradet, Maxime Lesourd, Jean-Franç cois Monin, Sophie Quinton: A Generic Coq Proof of Typical Worst-Case Analysis
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: On the Expressive Completeness of Bernays-Sch"onfinkel-Ramsey Separation Logic
- Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem: Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
