1.

2007 - 2010

ANR

WebMov
Web Service Modelling and Validation

2.

2015 - 2015

Subvention

SUBVENTION GDR
SUBVENTION GDR

3.

2012 - 2016

Contrat europeen

EURO-MILS
EURO-MILS

4.

2011 - 2015

ANR

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

5.

2011 - 2012

DIGITEO

ICTSSv3
ICTSSv3

6.

2013 - 2013

Contrat europeen

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

7.

2012 - 2013

Subvention

Updates
Updates

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.

2009 - 2012

DIGITEO

PACTOLE
PACTOLE

13.

2005 - 2009

ANR

14.

2017 - 2018

DIPLab
DIPLab

15.

2017 - 2019

OPLa
OPLa

16.

2018 - 2018

Subvention

RESTO
RESTO

17.

2017 - 2017

Subvention

RESTO
RESTO

18.

2011 - 2019

Subvention

ARSCPMD
ARSCPMD

19.

2004 - 2007

ANR

SR2I
Security of routing in internet

20.

2004 - 2008

Subvention

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

21.

2009 - 2012

ANR

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

22.

2015 - 2019

Contrat europeen

OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics

23.

2001 -

Industriel

COMPAQ
COMPAQ

24.

2009 - 2012

ANR

Archi2Neu
Archi2Neu

25.

2008 - 2012

Contrat europeen

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