Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciels et brevets
#
Date
Type
Nom et Titre
Responsable
1.
01 janv. 2014
Logiciel
CliqueSquare
CliqueSquare
ZAMPETAKIS, Stamatis
2.
16 juin 2008
Logiciel
Le Système HOL-Z
Un système de preuve pour la Méthode Z
WOLFF, Burkhart
3.
15 août 2017
Logiciel
HOL-OCL
Un systeme de preuve pour UML/OCL
WOLFF, Burkhart
4.
13 nov. 2017
Logiciel
HOL-TestGen
Générateur de tests à partir de spécifications HOL
WOLFF, Burkhart
5.
01 déc. 2013
Logiciel
Isabelle/HOL
Isabelle/HOL
WENZEL, Markus
6.
06 juin 2012
Logiciel
aSHIIP
A random topology generator of interdomain
WEISSER, Marc-Antoine
7.
05 déc. 2005
Logiciel
AuGuSTe
Test statistique de programmes C
VOISIN, Frédéric
8.
18 déc. 2006
Logiciel
FAIL-FCI
Langage d'injection de fautes
TIXEUIL, Sébastien
9.
01 déc. 2017
Logiciel
Sage-Combinat
Améliorer les fonctionnalités combinatoires de Sage
THIÉRY, Nicolas
10.
01 déc. 2017
Logiciel
SageMath
Un logiciel open-source de mathématiques générales
THIÉRY, Nicolas
11.
30 sept. 2011
Logiciel
SHIRI-Annot
Incremental Ontology-based Extraction and Alignment in Semi-Structured Documents
THIAM, Mouhamadou
12.
01 janv. 2010
Logiciel
Contributions to the GNU Scientific Library
Contributions to the GNU Scientific Library
TEYTAUD, Olivier
13.
01 janv. 2014
Logiciel
Metis
Metis
TEYTAUD, Olivier
14.
01 janv. 2014
Logiciel
MoGo
Computer-Go program
TEYTAUD, Olivier
15.
01 janv. 2010
Logiciel
Mash-WP6
Goal planning framework
TEYTAUD, Olivier
16.
01 janv. 2010
logiciel
CAPSULE
CAPSULE
TEMAM, Olivier
17.
01 janv. 2010
Logiciel
Unisim
UNISIM: UNIted SIMulation environment
TEMAM, Olivier
18.
01 janv. 2010
logiciel
Polyhedral Transformation in Open64
Polyhedral Transformation in Open64
TEMAM, Olivier
19.
20 juil. 2014
Logiciel
TemporalOCL
Temporal OCL Plugin for Eclipse
TAHA, Safouan
20.
07 janv. 2008
Logiciel
GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability
SIMON, Laurent
21.
01 janv. 2013
Logiciel
Glucose
The solver that looks for glue clauses
SIMON, Laurent
22.
01 juin 2005
Logiciel
Django
theta-subsumption test for Relational Learning
SEBAG, Michèle
23.
01 nov. 2009
Logiciel
GUIDE
A Graphical User Interface for EA C++ library developpment
SCHOENAUER, Marc
24.
26 mars 2006
Logiciel
XTAB2SML
Outil d'annotation sémantique de tableaux guidée par une ontologie
SAÏS, Fatiha
25.
01 janv. 2011
Logiciel
LN2R-LT
Une méthode Logique et une méthode Numérique pour la Réconciliation de Références
SAÏS, Fatiha
1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - Suivant [Page 1 sur 9]