Home > Verimag > Projects > Projects
Projects
Verimag is or has been involved in the following Projects
Current Projects
- ADE - European H2020, 2018-2020
Autonomous Decision Making in Very Long Traverses - CLAM - Labex-Persyval 2021-2024
Cross-Layer Fault Analysis for Microprocessor Architectures - ESTATE - ANR Project 2016-2020
Enhancing Safety and self-sTAbilization in Time-varying distributed Environments - RT-PROOFS - ANR-PRCI 2018-2021
Formal Proofs for Real-Time Systems – Mar. 2018 to Feb. 2021 with MPI-SWS, TU Braunschweig, INRIA Spades and Onera. - TAVA - ANR 2021 - 2024
Toward Automated Vulnerability Analyses - KALRAY - CIFRE KALRAY, 2019-2022
Implementing and analyzing safety critical systems on a many-core architecture - KALRAY-CompCert - CIFRE 2018-2021
An efficient CompCert certified compiler with a backend for the KVX core - Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin. - Cooperation PragmaDev - 2006-2026
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 (...) - Moc4Space - ESA, ITT, 2021-2022
Model Checking for Formal Verification of Space Systems
Projets Europeens
Projets Nationaux
Partenariat (CIFRE)
Other Projects
Past Projects
- ACE - CNRS INS2I 2016
- ACOSE - BGLE, Invesstisment d’avenir, 2011-2014
- ACROSS - European IST, FP7, ARTEMIS JU, 2010-2013
- AEPS - ANR 2016-2017
- AGEDIS - FP5 IST, 2000-2003
- Airbus Helicopters - CIFRE Airbus Helicopters, 2015-2018
- ALIDECS - ACI Sécurité, 2004-2007
- AMETIST - European IST, 2002-2005
- APRON - ACI Sécurité, 2004-2007
- ARAMIS - PIA 2014-2018
- ARESA - ANR, 2006-2009
- ARESA2 - ANR VERSO, 2009-2013
- ArrowHead - ARTEMIS AIPP, European, 2013-2017
- ArtistDesign - Network of Excellence, 2008-20..
- ASCENS - European IST, 2010-2014, FP7-ICT-2009-5 project number: 257414
- ASOPT - ANR, 2009-2012
- ASSERT - FP6 IP, 2004-2008
- ATHOLE - Minalogic, 2007-2010
- AVOTE - ANR-SESUR-07-002, 2008-2012
- BINSEC - ANR 2013-2017
- BRAIN-IoT - European H2020, 2018-2020
- CADMIDIA - ANR 2013-2017
- CAPACITES - PIA LEOC, 2014-2017
- CASERM - Persyval-Lab Equipe-Action 2016-2019
- CC - European IST, 2002-2005
- CERTAINTY - European IST, FP7, 2011-2013
- CESyMPA - Persyval-Lab Exploratory Project 2013-2014
- CHAPI - FUI, 2010-2013
- CITADEL - European H2020, 2016-2019
- COMBEST - FP7 IST STREP 215543, 2008-2010
- COMON - Minalogic, 2009-2012
- COMPACS - ANR 2014-2017
- CORTOS - ACI CNRS, 2007-2008
- Coverage guided testing of automative models - Toyota, 2014-2017
- CPSE-Labs - European, H2020, 2015-2016
- CRISYS - IST, 1997-2001
- CTRC - Persyval-Lab Exploratory Project 2015-2016
- CyPhERS - European FP7, Support Action, 2013-2015
- D-MILS - European STREP FP7, 2012-2015
- DACRAW - Persyval-Lab Exploratory Project, 2014-2015
- DECIDE! - RNTL, 2006-2007
- ERGO - European, H2020, 2016-2019
- ESROCOS - European, H2020, 2016-2019
- FoToVP - ANR, ARA-SETIN, 2006-2009
- Full MDE - ESA Contract, 2010-2011
- HELP - ANR Arpège, 2009-2013
- IoIT - Equipes-actions, Labex Persyval-lab 2015-2018
- Kalray - CIFRE Kalray, 2015-2018
- LISE - ANR-07-SESUR-007, 2008-2011
- MALTHY - ANR INS, 2014-2017
- ManycoreLabs - BGLE, Investissement d’avenir, 2012-2015
- MARAE - FNRAE, 2008-2010
- MIND - Minalogic, 2008-2010
- Mistral - European, JIP-ICET 2, 2014-2017
- Model-based Testing for Embedded Systems - Bosch, 2015-2016
- MoSATT-CMP - ESA ITT 1-ITT 1-7646/13/NL/JK, 2014-2016
- MULTIFORM - European IST, 2008-2012
- NextTTA - IST, 2002-2004
- OMEGA - IST-2001-33522 OMEGA, 2002-2005
- OpenEmBeDD - ANR platform, 2006-2009
- OpenES - European CATRENE Project 2013-2016
- openTLM - Minalogic, 2006-2010
- Orange Labs - CIFRE orange Labs, 2013-2016
- P2R Bioinformatique - French-Israeli, 2006-2009
- PADEC - AGIR-Pôle-MSTIC 2015
- PerSiForm - RNRT/ANR, 2005-2008
- PRO3D - European IST, 2009-2012
- Proofer - PREDIT, 2006-2008
- PROSE - ANR 2010-VERS-004
- PROSYD - European IST, 2004-2007
- PROVE - RNTL, 2003-2007
- RISE - FP5 IST-2001-38117, 2002-2004
- SACADE - ANR 2017 - 2019
- SafeAir II - IST, 2002-2004
- SAFENAV - European, H2020, 2016-2017
- SARGON - European, ESA, 2015-2017
- SCALP - ANR-SESUR-012, 2008-2011
- SECURIOT-2 - 2018-2020
- SERTIF - ANR ASTRID 2014-2016
- SFINCS - ANR-SESUR-012, 2008-2011
- SHIVA - Minalogic, 2009-2011
- SMECY - European IST, FP7, ARTEMIS JU, 2010-2013
- SPEEDS - FP6 IST IP-033471, 2006-2010
- STATOR - ERC project 2013 -2017
- Stimulus generation for model generation - EASII IC, 2015-2016
- STMicroelectronics - CIFRE STMicroelectronics, 2014-2017
- STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
- SUCCESS - European, CHIST-ERA, 2016-2020
- Synchronics - AE INRIA, 2008-2012
- SYRF - Esprit "Long Term Research" Project 22703, 1996-1999
- Test Generation for Simulink Models - UTRC, 2015-2016
- Transatlantic CPS Summit - ICT-2014-1c, Coordination & Support Action, European, 2014-2016
- UnCoVerCPS - European H2020, 2015-2018
- VAL-AMS - ANR SETIN, 2007-2010
- Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017) - Métro, 2015-2017
- VECOLIB - ANR Project 2014 - 2018
- VEDECY - ANR ARPEGE, 2009-2012
- VERASCO - ANR INS, 2012-2015
- VERIDYC - ANR-09-SEGI-016, 2009-2012
- VOCaL (The Verified OCaml Library) - ANR 2015-2019
- VULCAIN - Projet-MSTIC, 2009-2010
- W-SEPT - ANR INS, 2012-2016
