Home > Verimag > Projects > Projects
Projects
Current Projects
- Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin. - Cooperation PragmaDev - 2006-...
PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art communicating systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. The (…)
Other Projects
Past Projects (<8 years)
- ADE - European H2020, 2018-2020
- ALDIWO - Anti-Limits in the Digital World
- BRAIN-IoT - European H2020, 2018-2020
- CAOTIC: Collaborative Action on Timing Interferences - 2022-2026, ANR
- CASERM - Persyval-Lab Equipe-Action 2016-2019
- CLAM - Labex-Persyval 2021-2024
- ESTATE - ANR Project 2016-2020
- KALRAY - CIFRE KALRAY, 2019-2022
- KALRAY-CompCert - CIFRE 2018-2021
- Moc4Space - ESA, ITT, 2021-2022
- RT-PROOFS - ANR-PRCI 2018-2021
- SACADE - ANR 2017 - 2019
- SECURIOT-2 - 2018-2020
- STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
- SUCCESS - European, CHIST-ERA, 2016-2020
- TAVA - ANR 2021 - 2024
- Terra - Projet MSTIC UJF 2011-2012
- VOCaL (The Verified OCaml Library) - ANR 2015-2019
