Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Current contracts and grants
Research results
Current contracts and grants
#
Period
Type
Name
Principal investigator
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
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 22]