News
Seminars
- Seminars
- 11 December 2020 Marius Bozga: Compositional generation of invariants for timed systems
- 17 December 2020 Stéphane Devismes: Versatility and efficiency in self-stabilizing distributed systems (HDR)
- 11 February 2021 Franck Pommereau: To be announced
New publications
- Some Recent Publications
- Sylvain Boulmé, Alexandre Maréchal: Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Infinite Grid Exploration by Disoriented Robot
- Vincent Werner, Laurent Maingault, Marie-Laure Potet: An End-to-End Approach for Multi-Fault Attack Vulnerability Assessment
Jobs and internships
- Jobs and internships
- Certified compilation for security
- Convex polyhedra in floating point
- Decision Procedures for Separation Logic Modulo Theories of Data
- Local Reasoning about Reconfigurable Component-based Systems
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Postdoctoral position at VERIMAG
