Home
>
Teams
>
Synchrone
>
Projects
>
Projects
Projects
Projets of the Synchronous Team
Current Projects
Projets Nationaux
CASERM
- Persyval-Lab Equipe-Action 2016-2019
CASERM : Design and Analysis of Reconfigurable Multi-view Embedded Systems
ESTATE
- ANR Project 2016-2020
Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
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.
Past Projects
Airbus Helicopters
- CIFRE Airbus Helicopters, 2015-2018
ALIDECS
- ACI Sécurité, 2004-2007
APRON
- ACI Sécurité, 2004-2007
ARESA
- ANR, 2006-2009
ARESA2
- ANR VERSO, 2009-2013
ArtistDesign
- Network of Excellence, 2008-20..
ASOPT
- ANR, 2009-2012
ASSERT
- FP6 IP, 2004-2008
CAPACITES
- PIA LEOC, 2014-2017
CESyMPA
- Persyval-Lab Exploratory Project 2013-2014
COMON
- Minalogic, 2009-2012
Cooperation PragmaDev
- 2006-2015
CORTOS
- ACI CNRS, 2007-2008
CRISYS
- IST, 1997-2001
CTRC
- Persyval-Lab Exploratory Project 2015-2016
DACRAW
- Persyval-Lab Exploratory Project, 2014-2015
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
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
PADEC
- AGIR-Pôle-MSTIC 2015
PerSiForm
- RNRT/ANR, 2005-2008
Proofer
- PREDIT, 2006-2008
RISE
- FP5 IST-2001-38117, 2002-2004
SafeAir II
- IST, 2002-2004
SPEEDS
- FP6 IST IP-033471, 2006-2010
STMicroelectronics
- CIFRE STMicroelectronics, 2014-2017
Synchronics
- AE INRIA, 2008-2012
SYRF
- Esprit "Long Term Research" Project 22703, 1996-1999
W-SEPT
- ANR INS, 2012-2016
The whole Verimag Projects page
News
NEWS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Partners
Research Topics
Publications
Team members
Projects
Tools
Dissemination
Jobs and Internships
Tempo
Pacss
RSD
Contact
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1367802
English
Français