Home > Verimag > Projects > Projects

Projects

Verimag is or has been involved in the following Projects

Current Projects

Projets Europeens

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

Projets Nationaux

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.

Partenariat (CIFRE)

STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
Adding Diagnostic Features to Digital Twins for Systems-on-a-Chip

Other Projects

Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.

SECURIOT-2 - 2018-2020
https://www.pole-scs.org/projet/securiot-2++cs_INTERRO++popup=1

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
KALRAY - CIFRE KALRAY, 2019-2022
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
SafeAir II - IST, 2002-2004
SAFENAV - European, H2020, 2016-2017
SARGON - European, ESA, 2015-2017
SCALP - ANR-SESUR-012, 2008-2011
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