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
Conférences
24-28 Novembre 2025
Synchron 2025
Séminaires
Séminaires
13 novembre 2025
Yann Herklotz:
Towards scalable verification and efficient hardware generation using verified (…)
21 novembre 2025
Oussama Oulkaid:
Formal models of integrated circuits for transistor level electrical verification (Phd)
25 novembre 2025
Véronique Cortier:
Electronic voting: design, attack, and formal verification
1er décembre 2025
Sylvain Boulme:
Introduction à la programmation orientée objet en crystal
4 décembre 2025
Jannik Laval:
A venir (thème cybersécu)
11 décembre 2025
Thaïs Baudon:
A venir (thème: compilation optimisant les représentations mémoire)
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Florence Maraninchi:
Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
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
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne:
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
Offres d'emploi et stages
Offres d'emploi et stages
[Funded PhD] Fault Injection Attacks : Automated Analysis of Counter-Measures At The Binary Level
[Master] Decision Procedure for Equivalence Relations
[Master]Leakage in presence of an active and adaptive adversary
[PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
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.5
+
AHUNTSIC
[CC License]
info visites
5073047
English
Français