1.

2007 - 2010

ANR

WebMov
Web Service Modelling and Validation

2.

2015 - 2015

Subvention

SUBVENTION GDR
SUBVENTION GDR

3.

2011 - 2012

DIGITEO

ICTSSv3
ICTSSv3

4.

2012 - 2016

Contrat europeen

EURO-MILS
EURO-MILS

5.

2011 - 2015

ANR

Paral-ITP
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

6.

2012 - 2013

Subvention

Updates
Updates

7.

2013 - 2013

Contrat europeen

KIC 2013 - CATALYST LEAD I&E MOD
CATALYST LEAD I&E MODULE

8.

-

Industriel

MATRA
MATRA

9.

2018 - 2020

autre financeur public

ITEA 3 QUANTEX
ITEA 3 QUANTEX

10.

2018 - 2018

Industriel

18BULLGOUBAU
18BULLGOUBAU

11.

2017 - 2021

ANR

SOFTQPRO
SOFTQPRO

12.

2005 - 2009

ANR

13.

2009 - 2012

DIGITEO

PACTOLE
PACTOLE

14.

2017 - 2017

Subvention

RESTO
RESTO

15.

2017 - 2019

OPLa
OPLa

16.

2018 - 2018

Subvention

RESTO
RESTO

17.

2017 - 2018

DIPLab
DIPLab

18.

2011 - 2019

Subvention

ARSCPMD
ARSCPMD

19.

2004 - 2008

Subvention

FRAGILE
Failure Resilience and Application Guaranteed Integrity in Large-scale Environments

20.

2009 - 2012

ANR

SHAMAN
Self-organizing and Healing Architectures for Malicious and Adversarial Networks

21.

2004 - 2007

ANR

SR2I
Security of routing in internet

22.

2015 - 2019

Contrat europeen

OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics

23.

2003 - 2005

RNTL

24.

2001 -

Industriel

COMPAQ
COMPAQ

25.

2008 - 2012

Contrat europeen

HiPEAC 2
European Network of Excellence on High Performance and Embedded Architecture and Compilation