126.

2007 - 2010

DIGITEO

QoS
QoS in Sensor and ad hoc networks

127.

2012 - 2015

Region IDF

SOAPS
SOAPS

128.

2011 - 2012

ANR

PSN(SAFETY)
PSN(SAFETY)

129.

2018 - 2018

Contrat europeen

KIC 2018 - DATA PROCESSING SYSTE
DATA PROCESSING SYSTEM IN A WIRELESS SENSOR

130.

2013 - 2013

Contrat europeen

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

131.

2011 - 2014

Industriel

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

132.

2009 - 2012

CIFRE

CIFRE 998/2009
CIFRE 998/2009

133.

2012 - 2014

Subvention

SYSTEM@TIC SOAPS.2
SYSTEM@TIC SOAPS.2

134.

2013 - 2013

Contrat europeen

KIC 2013 - CITIZEN SAFETY (M.)
CITIZEN SAFETY

135.

2016 - 2019

Region IDF

CMN
CMN

136.

2017 - 2017

Subvention

IUF 2017
IUF

137.

2016 - 2016

Subvention

AAP 2016 F.M
AAP 2016 F.M

138.

2014 - 2018

Subvention

IUF
FABIO MARTIGNON

139.

2013 - 2013

Subvention

AAP 2013
AAP 2013

140.

2008 - 2011

ANR

U3CAT
U3CAT

141.

2010 - 2013

Region IDF

HI-LITE
HI-LITE

142.

2011 - 2014

CIFRE

CIFRE ADACORE
ADACORE

143.

2008 - 2009

Subvention

CeProMi
Certification of Programs involving memory sharing and side effects

144.

2005 - 2008

CIFRE

CIFRE Dassault Aviation
CIFRE PhD thesis Thierry Hubert

145.

2005 - 2011

CIFRE

CIFRE/N.Rousset
CIFRE/N.Rousset

146.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

147.

2011 - 2012

Subvention

CONVENTION D'ENSEIGNEMENT CATHER
CONVENTION D'ENSEIGNEMENT CATHERINE LELAY

148.

2010 - 2010

Industriel

AIRBUS - SPECIFICATION ALT-ERGO
AIRBUS - SPECIFICATION ALT-ERGO

149.

2016 - 2018

Industriel

16ONERCORAIL
16ONERCORAIL

150.

2013 - 2013

DIGITEO

JGAL Conférence
JGAL Conférence