Accueil
>
Verimag
>
Thèse en cours
>
Thèse en cours
Thèse en cours
Alban Reynaud Michez
(2022 - 2026)
Neven Villani
(2024 - 2027)
Timothée Rognon
(2024 - 2027)
Christoffer Lind Andersen
(2025 - 2027)
Sirine Bourbia
(2025 - 2028)
Benjamin Gaudin
(2025 - 2028)
Alexandre Berard
(2026 - 2026)
Baptiste De Goer De Herve
(2026 - 2026)
Actualités
Séminaires
Séminaires
12 novembre 2026
David Monniaux:
L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires
19 novembre 2026
Clement Chavanon:
Barocq: a high-level programming language for efficient and verifiable embedded system (…)
26 novembre 2026
Basile Gros:
Petites inversions par proxy pour rocq (Phd)
Nouvelles publications
Quelques Publications Récentes
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
21730256
English
Français