Accueil > Verimag > Actualités

Prix du meilleur article pour P. Lafourcade et J. Dreier

Prix du meilleur article pour "Formal Analysis of Electronic Exams" par Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter [1].

[1] [DGK+4]

Nouvelles publications

Quelques Publications Récentes
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- 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
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm

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

info visites 7099864

Accueil > Verimag > Actualités

Prix du meilleur article pour P. Lafourcade et J. Dreier

Navigation

Rubriques

Actualités

Nouvelles publications

Offres d'emploi et stages