101.

2007 - 2010

ANR

SIESTA
Automatisation du Test des SystèmEs Embarqués en SCADE et SIMULINK

102.

2008 - 2011

Subvention

Synchronics
Synchronics

103.

2015 - 2015

Subvention

ICAALG PEPS
ICAALG PEPS

104.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 V.P

105.

2010 - 2013

ANR

PIMI
PERSONNAL INFORMATION MANAGEMENT THROUGH INTERNET

106.

2009 - 2013

ANR

HOLYRISK
Incertitude scientifique et régulation du risque alimentaire

107.

2005 - 2009

ANR

WEBCONTENT
La Plateforme du Web Sémantique

108.

2009 - 2012

ANR

MLSN
Réseaux sociaux multi-niveaux

109.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.P

110.

2009 - 2011

ANR

Spades
Plateforme de Services Pour Architecture Petascale et DistribuéES.

111.

2007 - 2011

DIGITEO

SHIRI
Système Hybride d’Intégration pour la Recherche d’Information dans les ressources

112.

2017 - 2017

Subvention

CDS2
CDS2

113.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

114.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

115.

2012 - 2016

ANR

DIGICOSME
DIGICOSME

116.

2003 - 2007

Subvention

GECCOO
Génération de code certifié pour des applications orientées objet spécification, raffinement, preuve et détection d'erreurs

117.

2006 - 2009

CIFRE

CIFRE ATHIS (PAULIN)
Thèse Yannick MOY - Analyse des usages de la mémoire dynamique dans des codes C embarqués

118.

2007 - 2009

Industriel

PFC
Plates-formes de confiance

119.

2018 - 2018

Subvention

PEPS INS2I DEMO 2018
DEMO

120.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 T.N

121.

2012 - 2013

Subvention

PEPS-INS2I
PEPS-INS2I

122.

2012 - 2015

ANR

VERASCO
ANR VERASCO

123.

2012 - 2015

Region IDF

SOAPS
SOAPS

124.

2011 - 2014

Industriel

SOAPS.2 (oseo)
SOAPS.2 (oseo)

125.

2013 - 2013

Contrat europeen

EIT ICT LABS-KIC 2013
EIT ICT LABS-KIC 2013