News
Seminars
- Seminars
- 3 December 2020 Jacques Combaz: Introduction aux effets rebond [lien visio: https://veri-bbb.imag.fr/b/jac-lxa-inn-hnq]
- 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
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Dubois, Lawrence L. Larmore: Election in Unidirectional Rings with Homonyms
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
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
