101.

2005 - 2008

CIFRE

CIFRE ATHIS (POUZET)
Thèse Elodie MALGOUYRES

102.

2004 - 2007

ANR

ALIDECS
Langages et Atelier Integré pour le Développement de Composants Embarqués Sûrs

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.

2005 - 2009

ANR

WEBCONTENT
La Plateforme du Web Sémantique

107.

2009 - 2013

ANR

HOLYRISK
Incertitude scientifique et régulation du risque alimentaire

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.

2007 - 2009

Industriel

PFC
Plates-formes de confiance

114.

2012 - 2016

ANR

DIGICOSME
DIGICOSME

115.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

116.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

117.

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

118.

2006 - 2009

CIFRE

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

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.

2011 - 2012

ANR

PSN(SAFETY)
PSN(SAFETY)

124.

2013 - 2013

Contrat europeen

KIC 2013 - CITIZEN SAFETY (M.)
CITIZEN SAFETY

125.

2011 - 2014

Industriel

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