26.

22 Sep 2017

Patent

Synchro CORAC
Synchronization mechanism for critical systems

BOULANGER, Frédéric

27.

15 Sep 2017

Software

Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions

MELQUIOND, Guillaume

28.

07 Sep 2017

Software

The Coquelicot library
The Coquelicot library

BOLDO, Sylvie

29.

15 Aug 2017

Software

HOL-OCL
A proof system for UML/OCL

WOLFF, Burkhart

30.

15 Aug 2017

Software

GARN
Game Algorithms for RNa 3D sampling

COHEN, Johanne

31.

30 Jun 2017

Software

DIGISCAPE
Telepresence middleware

GLADIN, Olivier

32.

31 Jan 2017

Software

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAFAR, Brigitte

33.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

34.

01 Jan 2017

Software

OntoEvent-B
A Generator of Event-B contexts from Ontologies

AIT-SADOUNE, Idir

35.

01 Sep 2016

Software

CQAPri
Consistent Query Answering with Priorities

BOURGAUX, Camille

36.

01 Mar 2016

Software

SMTCoq
Coq plugin that checks proof witnesses coming from external SAT and SMT solvers

KELLER, Chantal

37.

01 Mar 2016

Software

VICKEY
Mining Conditional Keys on Knowledge Bases

PERNELLE-MANSCOUR, Nathalie

38.

26 Oct 2015

Software

Coq-Combi
Algebraic combinatorics in Coq

HIVERT, Florent

39.

10 Jul 2015

Software

WildOS
Middleware for interactive rooms

BEAUDOUIN-LAFON, Michel

40.

01 Jul 2015

Software

RBT solver
Random Butterfly Transformations

BABOULIN, Marc

41.

01 Jun 2015

Software

UnityCluster
Distributed Unity3D application middleware

FLEURY, Cédric

42.

01 Apr 2015

Software

SUNFLUIDH (collaboration LIMSI)
CPU/GPU solver for Navier-Stokes equations

BABOULIN, Marc

43.

11 Mar 2015

Software

ZVTM
Zoomable Visual Transformation Machine

PIETRIGA, Emmanuel

44.

11 Mar 2015

Software

ZGRViewer
A GraphViz/DOT Viewer

PIETRIGA, Emmanuel

45.

27 Jan 2015

Software

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

46.

01 Jan 2015

Software

PigReuse
2 platform for specifying and exploiting warehouses of RDF data

CAMACHO RODRIGUEZ, Jesus

47.

04 Dec 2014

Software

Why3
The Why3 platform

FILLIÂTRE, Jean-Christophe

48.

24 Nov 2014

Software

Voeux
Teaching service management system

AMAR, Patrick

49.

03 Oct 2014

Software

NT2
The Numerical Template Toolbox

FALCOU, Joël

50.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc