Accueil > Verimag > Verimag

Verimag

Membres
Publications
- Avec comité de lecture
- Rapports Techniques
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
- Archives
- Séminaires Verimag
Documents

titre documents joints

Poster

11 février 2010
info document : PDF
793.5 kio

Perspectives

11 février 2010
info document : PDF
1.1 Mio

Rapport d’activités

11 février 2010
info document : PDF
1.8 Mio

Nouvelles publications

Quelques Publications Récentes
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection

Contact | Plan du site | Site réalisé avec SPIP 4.4.28 + AHUNTSIC [CC License]

info visites 56766738

UGA

CNRS

INP Grenoble