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
- Conferences
- 28 - 30 mai 2018 GT Verif 2018
- 13 July 2018 ADSL 2018
- 26-28 september 2018 VECoS 2018
- 10-13 November 2018 RV 2018
Seminars
New publications
- Recent Publications
- Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Ascertaining Uncertainty for Efficient Exact Cache Analysis
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
- Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus: Combining the Temporal and Epistemic Dimensions for MTL Monitoring
- Moustapha Lo, Nicolas Valot, Florence Maraninchi, Pascal Raymond: Real-time on-Board Manycore Implementation of a Health Monitoring System: Lessons Learnt
- Franck de Goer, Roland Groz, Laurent Mounier: Metrics for runtime detection of allocators in binaries
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- [M1 internship] Modeling of Graph Topologies Using Coq
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M2 internship] Models of Distributed Algorithms
