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
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
- 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
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- 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.7 + AHUNTSIC [CC License]

info visites 5419929

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