Accueil
>
Contact
>
Qui contacter
>
Qui contacter
Qui contacter
Directeur :
David Monniaux
0457422232
Directeur Adjoint :
Pascal Raymond
0457422240
Pour contacter la direction de Verimag:
verimag-direction@univ-grenoble-alpes.fr
Support Informatique :
verimag-root@univ-grenoble-alpes.fr
Responsable des séminaires :
verimag-sem-master@univ-grenoble-alpes.fr
Webmestre :
verimag-webmaster@univ-grenoble-alpes.fr
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
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin:
Specification and model-checking of space systems in the TASTE toolset
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian:
Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
Axes
Contact
Qui contacter
Venir à Verimag
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
41563656
English
Français