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

Patrick Fulconis 0457422217
Philippe Genin 0457422218

New publications

Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck: Gradual Stabilization
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket: Global and Local Deadlock Freedom in BIP
- Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga: Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem

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

info visites 1096219

CNRS

INP Grenoble