126.

2018 - 2018

Contrat europeen

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

127.

2013 - 2013

Contrat europeen

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

128.

2011 - 2012

ANR

PSN(SAFETY)
PSN(SAFETY)

129.

2013 - 2013

Contrat europeen

KIC 2013 - CITIZEN SAFETY (M.)
CITIZEN SAFETY

130.

2016 - 2019

Region IDF

CMN
CMN

131.

2011 - 2014

Industriel

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

132.

-

BQR

BQR Networking
Deterministic bounds calculation

133.

2009 - 2012

CIFRE

CIFRE 998/2009
CIFRE 998/2009

134.

2012 - 2014

Subvention

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

135.

2007 - 2010

DIGITEO

QoS
QoS in Sensor and ad hoc networks

136.

2013 - 2013

Subvention

AAP 2013
AAP 2013

137.

2017 - 2017

Subvention

IUF 2017
IUF

138.

2016 - 2016

Subvention

AAP 2016 F.M
AAP 2016 F.M

139.

2014 - 2018

Subvention

IUF
FABIO MARTIGNON

140.

2011 - 2014

CIFRE

CIFRE ADACORE
ADACORE

141.

2008 - 2011

ANR

U3CAT
U3CAT

142.

2010 - 2013

Region IDF

HI-LITE
HI-LITE

143.

2005 - 2008

CIFRE

CIFRE Dassault Aviation
CIFRE PhD thesis Thierry Hubert

144.

2005 - 2011

CIFRE

CIFRE/N.Rousset
CIFRE/N.Rousset

145.

2011 - 2012

Subvention

CONVENTION D'ENSEIGNEMENT CATHER
CONVENTION D'ENSEIGNEMENT CATHERINE LELAY

146.

2008 - 2009

Subvention

CeProMi
Certification of Programs involving memory sharing and side effects

147.

2010 - 2010

Industriel

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

148.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

149.

2016 - 2018

Industriel

16ONERCORAIL
16ONERCORAIL

150.

2008 - 2012

Subvention

MENDY G.
MENDY G.