Accueil
>
Verimag
>
Thèse en cours
>
Thèse en cours
Thèse en cours
Etienne Boespflug
(2018 - 2024)
Thomas Mari
(2019 - 2024)
Leo Gourdin
(2020 - 2024)
Hamzah Al-Qadasi
(2020 - 2024)
Aina Rasoldier
(2020 - 2024)
Ihab Alshaer
(2020 - 2024)
Soline Ducousso
(2020 - 2024)
Thomas Vigouroux
(2021 - 2024)
Bob Aubouin-Pairault
(2021 - 2024)
Lucas Bueri
(2021 - 2024)
Hadi Dayekh
(2021 - 2024)
Daniel De Carvalho
(2021 - 2024)
Alban Reynaud
(2022 - 2025)
Oussama Oulkaid
(2022 - 2025)
Ana Maria Gomez Ruiz
(2022 - 2025)
Abderrahmane Bouguern
(2023 - 2026)
Weicheng He
(2023 - 2026)
Alexandre Berard
(2023 - 2026)
Benjamin Bonneau
(2023 - 2026)
Baptiste De Goër De Herve
(2023 - 2026)
Basile Gros
(2023 - 2026)
Actualités
Séminaires
Séminaires
4 avril 2024
Sébastien Michelland:
Abstract interpreters: a monadic approach to modular verification
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
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.16
+
AHUNTSIC
[CC License]
info visites
3926532
English
Français