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
ACTUALITÉS
Cybersécurité, sûreté et programmation
Poste de Professeur⋅e des Universités Verimag/UGA
Intelligence artificielle, sciences du logiciel, méthodes formelles
Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Séminaires
Séminaires
30 avril 2026
Marek Bucki:
Provisoire: linkz, une méthode de conception de logiciels
21 mai 2026
Clara Bourgeais:
Modification du back-end d'un compilateur pour la sécurité : étude de cas sur une (…)
2 juillet 2026
Léo Colisson palais:
Provisoire: preuves formelles en crypto
Nouvelles publications
Quelques Publications Récentes
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian:
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
Offres d'emploi et stages
Offres d'emploi et stages
Poste de Professeur⋅e des Universités Verimag/Grenoble-INP
Poste de Professeur⋅e des Universités Verimag/UGA
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
[Thèse] Contre-mesures logicielles “flot de données” pour la sécurité de bout-en-bout
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.13
+
AHUNTSIC
[CC License]
info visites
5977082
English
Français