Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software & patents
#
Date
Type
Name & title
Contact
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
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]