1.

01 Jan 2010

Software

SomeWhere
Peer-to-Peer Consequence Finding

GOASDOUE, François

2.

01 Jun 2000

Software

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

GOASDOUE, François

3.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

4.

01 Jan 2014

Software

Nautilus Analyzer
Nautilus

HERSCHEL, Mélanie

5.

01 Jan 2014

Software

bibtex2html
Bibtex to HTML

FILLIÂTRE, Jean-Christophe

6.

01 Jan 2014

Software

Alt-Ergo
The Alt-Ergo theorem prover

CONCHON, Sylvain

7.

04 Feb 2014

Software

ocamlgraph
Ocaml graph library

FILLIÂTRE, Jean-Christophe

8.

01 Jan 2013

Software

Metisse
Windowing System to explore inovative window management techniques

CHAPUIS, Olivier

9.

17 Sep 2004

Software

Caduceus
Caduceus Tool for C Program Verification

FILLIÂTRE, Jean-Christophe

10.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

11.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

12.

01 Apr 2006

Software

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

13.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

14.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

15.

01 Jan 2013

Software

CiME
CiME: a tool box for automated deduction.

CONTEJEAN, Evelyne

16.

01 Jan 2007

Software

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

17.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

18.

01 Jan 2012

Software

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

19.

18 Feb 2014

Software

SwingStates
An extension to the Java Swing toolkit based on state machines

APPERT, Caroline

20.

24 Aug 2009

Software

Núcleo
Video toolkit

CHAPUIS, Olivier

21.

11 Oct 2013

Software

CLooG
Chunky Loop Generator

BASTOUL, Cédric

22.

01 Jan 2006

Patent

FR0652963
Protocole de routage ad hoc résistant aux noeuds égoïstes

AL AGHA, Khaldoun

23.

01 Jan 2010

Software

Qolyester
implementation from scratch of the OLSR protocol

AL AGHA, Khaldoun

24.

01 Jan 2014

Software

GenRGenS
Generation of Random Genomic Sequences and Structures

DENISE, Alain

25.

01 Jan 2014

Software

VARNA
Visualisation Applet for RNA

DENISE, Alain