151.

2016 - 2016

Subvention

DEFI MASTODON 2016
DEFI MASTODON 2016

152.

2018 - 2018

Subvention

GDR MADICS 2018
ReProVirtuFlow

153.

2017 - 2019

Subvention

CDS2
CDS2

154.

2017 - 2019

ANR

JDSE2017
JDSE2017

155.

2018 - 2018

Subvention

Attractivité 2018 S.
Attractivité 2018 S.

156.

2014 - 2019

ANR

SOPRANO
SOPRANO

157.

2017 - 2020

LCHIP
LCHIP

158.

2012 - 2016

ANR

Bware
Bware

159.

2016 - 2019

Contrat europeen

OCAMLPRO
OCAMLPRO

160.

2017 - 2020

ANR

PARDI
PARDI

161.

2012 - 2013

IEC
IEC

162.

2017 - 2017

CONF. POLP 2017
CONF. POLP 2017

163.

2009 - 2012

ANR

DECERT
DEduction and CERTification

164.

2014 - 2015

DIGITEO

PEPTIDE
PEPTIDE

165.

2016 - 2021

ANR

Datacert
Datacert

166.

2004 - 2007

Subvention

ACAMBA
Analyse de Chimiothèques et Construction Automatique de Modèles de Bio-Activité

167.

2005 - 2006

Subvention

168.

2008 - 2013

ANR

ICOMB
Interactions of Combinatorics

169.

2005 - 2008

Contrat europeen

WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis

170.

2017 - 2018

Subvention

PSay CompBio
PSay CompBio

171.

2018 - 2018

Subvention

GT BIOSS 2018 IA
GT BIOSS 2018 IA

172.

2006 - 2009

ANR

DIAFORE
Diagnosis of distributed functions

173.

2007 - 2010

Industriel

SIRASAS
Design of Advanced Fault Tolerant Control System in aeronautics and space domains

174.

2013 - 2014

Subvention

DATE
Distributed Diagnosability and Testability of Faulty Systems

175.

2010 - 2014

Contrat europeen

HYCON 2
Highly-complex and networked control systems