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
- 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
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- 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

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

info visites 41645056

UGA

CNRS

INP Grenoble