1.

2008 - 2011

DIGITEO

X-SCALE-N
DIM 2008 X-Scale-N

2.

2005 - 2008

Contrat europeen

WS-DIAMOND
Web Services - DIAgnosability, MONitoring and Diagnosis

3.

2009 - 2010

Subvention

WILD PRECIPUT
WILD High Performance Network

4.

2010 - 2012

DIGITEO

WILD 2-PCRI
WILD Extension for PCRI

5.

2008 - 2012

DIGITEO

WILD
Wall-sized Interaction with Large Datasets

6.

2016 - 2017

Webstore
Storage and extraction of social data

7.

2007 - 2010

ANR

WebMov
Web Service Modelling and Validation

8.

2005 - 2009

ANR

WEBCONTENT
The Semantic Web Platform

9.

2006 - 2009

ANR

Web-Content
A software platform to accommodate the tools necessary to efficiently exploit and extend the Semantic Web.

10.

2015 - 2020

ANR

VOCAL
VOCAL

11.

2011 - 2012

ANR

VNC
VNC

12.

2018 - 2018

Subvention

VISU 2018
CONF VISU 2018

13.

2012 - 2015

ANR

VERASCO
VERASCO

14.

2008 - 2010

ANR

VERAP
Approximate Veri?cation of Probabilistic Systems

15.

2003 - 2006

Subvention

VERA
Approximate verification

16.

2005 - 2006

Subvention

17.

2018 - 2019

autre financeur public

VASTE
Veracity Assessment in spatio-temporal data

18.

2012 - 2013

Subvention

Updates
Updates

19.

2008 - 2011

ANR

U3CAT
U3CAT

20.

2012 - 2015

ANR

Typex
Typeful certified XML: : integrating language, logic, and data- oriented best practices

21.

2004 - 2008

Contrat europeen

TYPES
Types for Proofs and Programs

22.

2009 - 2011

ANR

TRAVESTI
Traffic Volume Estimation by Spatio- Temporal Inference

23.

2015 - 2018

DIGITEO

TRAGIC
TRAGIC

24.

2006 - 2010

ANR

TRAFIC
Vehicular network architecture for grouped mobility and real time services

25.

2010 - 2010

Industriel

THINKSTRAIGHT
CONTRAT D'ETUDE ENTRE THINKSTRAIGHT ET L'INRIA