Formal Proofs for Real-Time Systems – Mar. 2018 to Feb. 2021 with MPI-SWS, TU Braunschweig, INRIA Spades and Onera.
Browsing
News
- Seminars
- 27 October 2022 Hugo Gimbert: Les algorithmes de parcoursup
- 10 November 2022 Stephan Plassart: Equivalent versions of total flow analysis
- 24 November 2022 Xavier Denis: Deductive verification of higher-order rust programs
Seminars
New publications
- Some Recent Publications
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
- Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani: Toward a context-driven deployment optimization for embedded systems: a product line approach
- Abdelhakim Baouya, Salim Chedida, Samir Ouchani, Saddek Bensalem, Marius Bozga: Generation and verification of learned stochastic automata using k-NN and statistical model checking
- Karine Altisen, Stéphane Devismes, Erwan Jahier: SASA: a SimulAtor of Self-stabilizing Algorithms
