Home > Verimag > Actualités

Argosim and Verimag in ``La Lettre Innovation du CNRS’’

In the context of the acquisition of ARGOSIM by Dassault Systèmes, this article from CNRS Innovation Letter recalls the relations between the startup and the lab (in French).

View online : Argosim rejoint Dassault Systèmes

New publications

Some Recent Publications
- 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
- 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
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2

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

info visites 32693456

UGA

CNRS

INP Grenoble