Verimag

Home > Contact > Whom to contact

Whom to contact

Director: Florence Maraninchi

0457422230

Assistant Director: Susanne Graf

0457422219

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 Oded Maler 0457422229

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
- Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Rajeev Alur, Konstantinos Mamouras, Dogan Ulus: Derivatives of Quantitative Regular Expressions
- Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore: Leader Election in Asymmetric Labeled Unidirectional Rings
- Robert I. Davis, Sebastian Altmeyer, Leandro Indrusiak, Claire Maiza, Vincent Nelis, Jan Reineke: An extensible framework for multicore response time analysis
- Karine Altisen, Stéphane Devismes: On probabilistic snap-stabilization

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

info visites 989091

CNRS

INP Grenoble