176.

2008 - 2011

CIFRE

SHERPA
Diagnosability and diagnosis of driven technological systems

177.

2007 - 2009

Subvention

GT CMF
Complexity and Finite Models

178.

2003 - 2006

Subvention

VERA
Approximate verification

179.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

180.

2016 - 2016

Subvention

AAP 2016 A.D
AAP 2016 A.D

181.

2017 - 2018

BRAINTIME
BRAINTIME

182.

2017 - 2018

Myndblue
Myndblue

183.

2005 - 2009

ANR

SOGEA
Security Of Games. Equilibria and distributed Algorithms.

184.

2014 - 2017

DIGITEO

C&O
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
FLUCTUS

189.

2011 - 2012

Industriel

AIMA METASCALE (OSEO)
AIMA METASCALE (OSEO)

190.

2017 - 2018

Subvention

RCO
RCO

191.

2016 - 2016

Subvention

AAP 2016 S.F.A
AAP 2016 S.F.A

192.

2017 - 2018

Subvention

SKIN
SKIN

193.

2005 - 2009

ANR

Dsslab
Dsslab

194.

2008 - 2009

Contrat europeen

EDGeS
EDGeS

195.

2015 - 2020

ANR

VOCAL
VOCAL

196.

2005 - 2009

ANR

CerPAN
Certification of numerical analysis programs

197.

2005 - 2009

ANR

CAT
C Analysis Toolbox

198.

2015 - 2015

Subvention

AAP2015 C.F.
AAP2015 C.F.

199.

2010 - 2013

ANR

TEOMATRO
TEOMATRO

200.

2005 - 2009

Subvention

ALPAGE
Algorithmique des plates-formes à grande échelle