1.

01 Jan 2014

Software

CliqueSquare
CliqueSquare

ZAMPETAKIS, Stamatis

2.

13 Nov 2017

Software

HOL-TestGen
A generator of test-data from HOL specifications

WOLFF, Burkhart

3.

16 Jun 2008

Software

Le Système HOL-Z
The HOL-Z System

WOLFF, Burkhart

4.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

5.

01 Dec 2013

Software

Isabelle/HOL
Isabelle/HOL

WENZEL, Markus

6.

06 Jun 2012

Software

aSHIIP
A random topology generator of interdomain

WEISSER, Marc-Antoine

7.

05 Dec 2005

Software

AuGuSTe
Statistical Testing of C Programs

VOISIN, Frédéric

8.

18 Dec 2006

Software

FAIL-FCI
Fault Injection Language - Fail Cluster Implementation

TIXEUIL, Sébastien

9.

01 Dec 2017

Software

Sage-Combinat
To improve the open source mathematical system Sage

THIÉRY, Nicolas

10.

01 Dec 2017

Software

SageMath
A free open-source mathematics software system

THIÉRY, Nicolas

11.

30 Sep 2011

Software

SHIRI-Annot
ncremental Ontology-based Extraction and Alignment in Semi-Structured Documents

THIAM, Mouhamadou

12.

01 Jan 2014

Software

MoGo
Computer-Go program

TEYTAUD, Olivier

13.

01 Jan 2010

Software

Mash-WP6
A stochastic dynamic programming framework

TEYTAUD, Olivier

14.

01 Jan 2014

Software

Metis
Metis

TEYTAUD, Olivier

15.

01 Jan 2010

Software

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

TEYTAUD, Olivier

16.

01 Jan 2010

Software

Polyhedral Transformation in Open64
Polyhedral Transformation in Open64

TEMAM, Olivier

17.

01 Jan 2010

Software

CAPSULE
CAPSULE

TEMAM, Olivier

18.

01 Jan 2010

Software

Unisim
UNISIM: UNIted SIMulation environment

TEMAM, Olivier

19.

20 Jul 2014

Software

TemporalOCL
Temporal OCL Plugin for Eclipse

TAHA, Safouan

20.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

21.

01 Jan 2013

Software

Glucose
The solver that looks for glue clauses

SIMON, Laurent

22.

01 Jun 2005

Software

Django
theta-subsumption test for Relational Learning

SEBAG, Michèle

23.

01 Nov 2009

Software

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

SCHOENAUER, Marc

24.

01 Jan 2011

Software

LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation

SAÏS, Fatiha

25.

26 Mar 2006

Software

XTAB2SML
Tool for ontology driven semantic annotation of data tables.

SAÏS, Fatiha