1.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

2.

01 Nov 2009

Software

GUIDE
A Graphical User Interface for EA C++ library developpment

SCHOENAUER, Marc

3.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

4.

01 Jan 2010

Software

Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library

TEYTAUD, Olivier

5.

14 Jul 2007

Software

SIMBAD
Simbad, A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

6.

05 May 2008

Software

XtremWeb
Open Source Platform for Desktop Grid Computing

CAPPELLO, Franck

7.

01 Jan 2010

Software

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

8.

02 Aug 2009

Software

Piplib
Parametric Integer Programming Library

BASTOUL, Cédric

9.

01 Jan 2010

Software

CAPSULE
CAPSULE

TEMAM, Olivier

10.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

11.

15 Nov 2012

Software

BitDew
Middleware for Large Scale Data Management and Distribution

FEDAK, Gilles

12.

01 May 2007

Software

MPICH-V
Message Passing Interface For Volatile Resources

HERAULT, Thomas

13.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

14.

17 Jul 2014

Software

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

15.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

16.

01 Jun 2000

Software

OntoClass & OntoQuery
Query engine for mediators based on query rewriting using views

GOASDOUE, François

17.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

18.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

19.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

20.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

21.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

22.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

23.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

24.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

25.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis