126.

2014 - 2014

Contrat europeen

KIC 2014 - CITIZEN SAFETY (M.)
CITIZEN SAFETY

127.

2012 - 2012

Contrat europeen

EIT ICT LABS-KIC 2012
EIT ICT LABS-KIC 2012

128.

-

BQR

BQR Networking
Deterministic bounds calculation

129.

2012 - 2015

Region IDF

SOAPS
SOAPS

130.

2018 - 2018

Contrat europeen

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

131.

2011 - 2014

Industriel

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

132.

2013 - 2013

Contrat europeen

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

133.

2009 - 2012

CIFRE

CIFRE 998/2009
CIFRE 998/2009

134.

2007 - 2010

DIGITEO

QoS
QoS in Sensor and ad hoc networks

135.

2012 - 2014

Subvention

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

136.

2016 - 2016

Subvention

AAP 2016 F.M
AAP 2016 F.M

137.

2017 - 2017

Subvention

IUF 2017
IUF

138.

2014 - 2018

Subvention

IUF
FABIO MARTIGNON

139.

2013 - 2013

Subvention

AAP 2013
AAP 2013

140.

2005 - 2008

CIFRE

CIFRE Dassault Aviation
CIFRE PhD thesis Thierry Hubert

141.

2008 - 2011

ANR

U3CAT
U3CAT

142.

2010 - 2010

Industriel

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

143.

2005 - 2011

CIFRE

CIFRE/N.Rousset
CIFRE/N.Rousset

144.

2011 - 2014

CIFRE

CIFRE ADACORE
ADACORE

145.

2010 - 2013

Region IDF

HI-LITE
HI-LITE

146.

2008 - 2009

Subvention

CeProMi
Certification of Programs involving memory sharing and side effects

147.

2008 - 2011

Contrat europeen

FVOOS
Formal Verification of Object-Oriented Programs

148.

2011 - 2012

Subvention

CONVENTION D'ENSEIGNEMENT CATHER
CONVENTION D'ENSEIGNEMENT CATHERINE LELAY

149.

2016 - 2018

Industriel

16ONERCORAIL
16ONERCORAIL

150.

2013 - 2013

DIGITEO

JGAL Conférence
JGAL Conférence