Home > Verimag > Actualités

Day in honor of Nicolas Halbwachs

4 june 2018, at IMAG Auditorium (Grenoble)

Journée scientifique autour de l’interprétation abstraite, de la programmation synchrone et des systèmes embarqués, en l’honneur du départ en éméritat de Nicolas Halbwachs, ancien directeur du laboratoire VERIMAG.

View online : https://nhalbwachs2018.sciencesconf.org/

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
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance Versus Precision Tradeoffs
- 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
- Florence Maraninchi: Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics

Contact | Site Map | Site powered by SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5027228

UGA

CNRS

INP Grenoble