La thèse d’Alexandre Maréchal primé par l’Accessit du GDR GPL : "Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique", sous la direction de David Monniaux et Michaël Périn.
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
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret
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
