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
176.
2005 - 2008
Contrat europeen
WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis
177.
2008 - 2010
ANR
VERAP
Approximate Veri?cation of Probabilistic Systems
178.
2007 - 2009
Subvention
GT CMF
Complexity and Finite Models
179.
2003 - 2006
Subvention
VERA
Approximate verification
180.
2017 - 2018
BRAINTIME
BRAINTIME
181.
2016 - 2016
Subvention
AAP 2016 A.D
AAP 2016 A.D
182.
2017 - 2018
Myndblue
Myndblue
183.
2005 - 2009
ANR
SOGEA
Security Of Games. Equilibria and distributed Algorithms.
184.
2014 - 2017
DIGITEO
C&O
C&O
185.
2017 - 2019
Industriel
17OCTOPE HAY
17OCTOPE HAY
186.
2009 - 2011
ANR
Cosinus-PETAQCD
Cosinus-PETAQCD
187.
2009 - 2011
DIGITEO
ITOC
ItoC
188.
2010 - 2013
DIGITEO
FLUCTUS
FLUCTUS
189.
2011 - 2012
Industriel
AIMA METASCALE (OSEO)
AIMA METASCALE (OSEO)
190.
2017 - 2018
Subvention
RCO
RCO
191.
2017 - 2018
Subvention
SKIN
SKIN
192.
2016 - 2016
Subvention
AAP 2016 S.F.A
AAP 2016 S.F.A
193.
2005 - 2009
ANR
Dsslab
Dsslab
194.
2008 - 2009
Contrat europeen
EDGeS
EDGeS
195.
2005 - 2009
ANR
CAT
C Analysis Toolbox
196.
2015 - 2020
ANR
VOCAL
VOCAL
197.
2005 - 2009
ANR
CerPAN
Certification of numerical analysis programs
198.
2015 - 2015
Subvention
AAP2015 C.F.
AAP2015 C.F.
199.
2010 - 2013
ANR
TEOMATRO
TEOMATRO
200.
2003 - 2006
Subvention
PAIR A PAIR
PAIR A PAIR
Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 8 sur 22]