1.

2007 - 2010

ANR

WebMov
Modélisation et Validation de Services Web

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
Parallélisation des systèmes de preuve interactifs de haute fiabilite

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
18BULL GOUBAU

11.

2017 - 2021

ANR

SOFTQPRO
SOFTQPRO

12.

2009 - 2012

DIGITEO

PACTOLE
PACTOLE

13.

2005 - 2009

ANR

A3PAT
Assister Automatiquement les Assistants de Preuve avec des Traces

14.

2017 - 2017

Subvention

RESTO
RESTO

15.

2017 - 2019

OPLa
OPLa

16.

2018 - 2018

Subvention

RESTO 2018
RESTO

17.

2017 - 2018

DIPLab
DIPLab

18.

2011 - 2019

Subvention

ARSCPMD
ARSCPMD

19.

2009 - 2012

ANR

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

20.

2004 - 2008

Subvention

FRAGILE
Tolerance aux défaillances et intégrité garantie par les applications dans les systèmes à grande échelle

21.

2004 - 2007

ANR

SR2I
Sécurité du routage interdomaine dans l'internet

22.

2015 - 2019

Contrat europeen

OpenDreamKit
Open Digital Research Environment Toolkit for the Advancement of Mathematics

23.

2009 - 2012

ANR

Archi2Neu
Archi2Neu

24.

2008 - 2012

Contrat europeen

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

25.

2003 - 2005

RNTL

COP
COP