Best paper award for Pascal Lafourcade and Jannik Dreier "Formal Analysis of Electronic Exams" par Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter [1].
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- David Monniaux: On the decidability of the existence of polyhedral invariants in transition systems
