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
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, Stéphane Devismes, Erwan Jahier: SASA: A SimulAtor of Self-stabilizing Algorithms
- 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
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
- Karine Altisen, Stéphane Devismes, Durand Anaïs, Colette Johnen, Petit Franck: Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
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
