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
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- 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
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions

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

info visites 1360219

CNRS

INP Grenoble