Accueil > Verimag > Actualités

Prix du meilleur article pour Jannik Dreier

Prix de la meilleur article pour Jannik Dreier at the Third IEEE International Conference on Information Privacy, Security, Risk and Trust

Voir en ligne : http://www-verimag.imag.fr/details....

Nouvelles publications

Quelques Publications Récentes
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- 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
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs

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

info visites 8349122

UGA

CNRS

INP Grenoble