Home
>
Contact
>
Whom to contact
>
Whom to contact
Whom to contact
Director:
David Monniaux
0457422232
Assistant Director:
Pascal Raymond
0457422240
Contact Verimag Direction:
verimag-direction@univ-grenoble-alpes.fr
IT Support:
verimag-root@univ-grenoble-alpes.fr
Seminar:
verimag-sem-master@univ-grenoble-alpes.fr
Webmaster:
verimag-webmaster@univ-grenoble-alpes.fr
News
NEWS
Development, design, and semantics of programming languages
Tenure track research position at CNRS
New publications
Some Recent Publications
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin:
Specification and model-checking of space systems in the TASTE toolset
Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani:
Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna:
Model checking of distributed algorithms using synchronous programs
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
Jobs and internships
Jobs and internships
Tenure track research position at CNRS
Browsing
Sections
Verimag
Topics
Contact
Whom to contact
How to reach us
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.4.16
+
AHUNTSIC
[CC License]
info visites
7297439
English
Français