Home > Contact > Whom to contact

Whom to contact

Director: Florence Maraninchi

0457422230

Assistant Director: Susanne Graf

0457422219

Contact Verimag Direction: verimag-direction@univ-grenoble-alpes.fr

Verimag Team Leaders:

Proofs and Code Analysis for Safety and Security: Marie-Laure Potet 0457422238 et David Monniaux 0457422232
Rigorous System Design: Saddek Bensalem 0457422204
Synchronous Languages and Reactive Systems Pascal Raymond 0457422240
Timed and Hybrid Systems Thao Dang 0457422212

Administration

Manager:
- Aldjia Boulghobra 0457422242
Staff, Budget :

Aldjia Boulghobra 0457422242

Contracts :

Valérie Roux-Marchand 0457422243

Missions and orders :

Rosen Carbonero 0457422208
Sandrine Magnin 0457422226

System administration

Vincent Blanc 0457422218
Patrick Fulconis 0457422217

New publications

Recent Publications
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Ajoy Kumar Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore: Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches

Contact | Site Map | Site powered by SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1417493

CNRS

INP Grenoble