101.

2007 - 2009

Industriel

GENCOD
Code generation

102.

2007 - 2010

ANR

103.

2016 - 2016

Subvention

AAP 2016 V.P
AAP 2016 V.P

104.

2015 - 2015

Subvention

ICAALG PEPS
ICAALG PEPS

105.

2010 - 2013

ANR

pimi
pimi

106.

2009 - 2012

ANR

MLSN
Multi-level Social Networks

107.

2005 - 2009

ANR

WEBCONTENT
The Semantic Web Platform

108.

2009 - 2013

ANR

HOLYRISK
Scientific Uncertainty and Food Risk Regulation

109.

2016 - 2016

Subvention

AAP 2016 A.P
AAP 2016 A.P

110.

2009 - 2011

ANR

Spades
Spades

111.

2007 - 2011

DIGITEO

SHIRI
An automatic ontology-driven approach for the semantic annotation of documents

112.

2017 - 2017

Subvention

CDS2
CDS2

113.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

114.

2008 - 2011

ANR

SCALP
Security of Cryptographic Algorithms with Probabilities

115.

2003 - 2007

Subvention

GECCOO
Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection

116.

2006 - 2009

CIFRE

CIFRE/Y.MOY
PhD Yannick MOY - Analysing usage of dynamic memory in C embedded softwares

117.

2007 - 2009

Industriel

PFC
Trusted Platforms

118.

2012 - 2016

ANR

DIGICOSME
DIGICOSME

119.

2016 - 2016

Subvention

AAP 2016 T.N
AAP 2016 T.N

120.

2018 - 2018

Subvention

PEPS INS2I DEMO 2018
DEMO

121.

2012 - 2013

Subvention

PEPS-INS2I
PEPS-INS2I

122.

2012 - 2015

ANR

VERASCO
VERASCO

123.

2018 - 2018

Contrat europeen

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

124.

2013 - 2013

Contrat europeen

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

125.

2007 - 2010

DIGITEO

QoS
QoS in Sensor and ad hoc networks