176.

2005 - 2008

Contrat europeen

WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis

177.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

178.

2007 - 2009

Subvention

GT CMF
Complexité et Modèles finis

179.

2003 - 2006

Subvention

VERA
Vérification approchée

180.

2017 - 2018

Myndblue
Myndblue

181.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 A.D

182.

2017 - 2018

BRAINTIME
BRAINTIME

183.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

184.

2014 - 2017

DIGITEO

C&O
CHAIRE DIGITEO C&O

185.

2017 - 2019

Industriel

17OCTOPE HAY
17OCTOPE HAY

186.

2009 - 2011

ANR

Cosinus-PETAQCD
Cosinus-PETAQCD

187.

2009 - 2011

DIGITEO

ITOC
ITOC

188.

2010 - 2013

DIGITEO

FLUCTUS
FLUID COMPUTING UNIFIED SYSTEM

189.

2011 - 2012

Industriel

AIMA METASCALE (OSEO)
AIMA METASCALE (OSEO)

190.

2017 - 2018

Subvention

SKIN
SKIN

191.

2017 - 2018

Subvention

RCO
RCO

192.

2016 - 2016

Subvention

AAP ATTRACTIVITE 2016
AAP 2016 S.F.A

193.

2005 - 2009

ANR

Dsslab
Plate-forme d'expérimentation pour les systèmes distribués à large échelle sur Internet haut-débit

194.

2008 - 2009

Contrat europeen

EDGeS
EDGeS

195.

2005 - 2009

ANR

CerPAN
Certification de Programmes d'Analyse Numérique

196.

2015 - 2020

ANR

VOCAL
VOCAL

197.

2005 - 2009

ANR

CAT
C Analysis Toolbox

198.

2015 - 2015

Subvention

AAP ATTRACTIVITE 2015
AAP2015 C.F.

199.

2010 - 2013

ANR

TEOMATRO
Nouvelles tendances dans les matroïdes : Polytopes des bases

200.

2003 - 2006

Subvention

PAIR A PAIR
Une étude globale pour l'étude des réseaux pair à pair : modélisation, conception, et analyse des protocoles pair à pair