1.

01 janv. 2010

Logiciel

SomeWhere
Calcul de conséquences en pair-à-pair

GOASDOUE, François

2.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

3.

04 déc. 2014

Logiciel

Why3
La plateforme Why3

FILLIÂTRE, Jean-Christophe

4.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

5.

01 janv. 2014

Logiciel

bibtex2html
Traducteur BibTeX vers HTML

FILLIÂTRE, Jean-Christophe

6.

01 janv. 2014

Logiciel

Alt-Ergo
Démonstrateur automatique Alt-Ergo

CONCHON, Sylvain

7.

04 févr. 2014

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, Jean-Christophe

8.

01 janv. 2013

Logiciel

Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs

CHAPUIS, Olivier

9.

17 sept. 2004

Logiciel

Caduceus
Outil Caduceus de vérification de programmes C

FILLIÂTRE, Jean-Christophe

10.

24 nov. 2011

Logiciel

Krakatoa
Outil Krakatoa de vérification de programmes Java

MARCHÉ, Claude

11.

08 janv. 2014

Logiciel

ReactiveML
le langage ReactiveML

MANDEL, Louis

12.

01 avril 2006

Logiciel

Lucid Synchrone
Lucid Synchrone

POUZET, Marc

13.

01 janv. 2007

Logiciel

Program
Program : un langage de programmation avec types dépendants dans Coq

PAULIN-MOHRING, Christine

14.

05 déc. 2005

Logiciel

AuGuSTe
Test statistique de programmes C

VOISIN, Frédéric

15.

01 juin 2005

Logiciel

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

16.

01 janv. 2013

Logiciel

CiME
CiME: une boîte à outils pour la démonstration automatique.

CONTEJEAN, Evelyne

17.

01 nov. 2009

Logiciel

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

SCHOENAUER, Marc

18.

01 janv. 2010

Logiciel

Mash-WP6
Goal planning framework

TEYTAUD, Olivier

19.

01 janv. 2010

Logiciel

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

TEYTAUD, Olivier

20.

14 juil. 2007

Logiciel

SIMBAD
A mobile robot simulator for Autonomous and Evolutionary Robotics

BREDECHE, Nicolas

21.

01 janv. 2007

Logiciel

Contribution to Scilab
Contribution to Scilab

AUGER, Anne

22.

01 janv. 2014

Logiciel

MoGo
Computer-Go program

TEYTAUD, Olivier

23.

01 janv. 2012

Logiciel

WMTRACE
Logging and visualizing user's window management activity

CHAPUIS, Olivier

24.

18 févr. 2014

Logiciel

SwingStates
Une extension de Java Swing basée sur les machines à états

APPERT, Caroline

25.

24 août 2009

Logiciel

Núcleo
Boîte à outils núcleo

CHAPUIS, Olivier