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 - BRAIN-IoT - European H2020, 2018-2020
Model-Based Framework for Dependable Sensing and Actuation in Intelligent Decentralized IoT Systems - 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 - STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
Adding Diagnostic Features to Digital Twins for Systems-on-a-Chip - Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
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
- 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
- Cooperation PragmaDev - 2006-2015
- 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-1211
- 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
- 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
