126.

01 Jan 2014

Software

MultiBoost
MultiBoost

KÉGL, Balázs

127.

01 Mar 2016

Software

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

KELLER, Chantal

128.

01 Jan 2014

Software

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

129.

01 Jan 2014

Software

covTrack
Robust and realtime multitarget covariance tracking

LACASSAGNE, Lionel

130.

15 Sep 2013

Software

ACM-ES
Surrogate models for CMA-ES

LOSHCHILOV, Ilya

131.

20 Oct 2017

Patent

CommandBoard
Computer system with improved touch-based interface

MACKAY, Wendy

132.

08 Jan 2014

Software

ReactiveML
The ReactiveML language

MANDEL, Louis

133.

01 Apr 2013

Software

EdiFlow
EdiFlow: interactive workflows for data analytics

MANOLESCU-GOUJOT, Ioana

134.

01 Jan 2013

Software

RDFViews
RDFViews

MANOLESCU-GOUJOT, Ioana

135.

01 Jan 2006

Software

KadoP
XML indexing and querying in P2P

MANOLESCU-GOUJOT, Ioana

136.

01 Jan 2011

Software

LiquidXML
LiquidXML

MANOLESCU-GOUJOT, Ioana

137.

01 Jan 2013

Software

ViP2P
views in peer-to-peer

MANOLESCU-GOUJOT, Ioana

138.

01 Jan 2011

Software

AnnoVip
AnnoVip

MANOLESCU-GOUJOT, Ioana

139.

09 Mar 2018

Software

RiseClipse
MDE for IEC standards

MARCADET, Dominique

140.

23 Sep 2013

Software

Frama-C
Framework for Modular Analysis of C

MARCHÉ, Claude

141.

24 Nov 2011

Software

Krakatoa
Krakatoa Tool for Java Program Verification

MARCHÉ, Claude

142.

20 Jan 2001

Patent

Traffic unification in wild networks
Traffic unification in wild networks

MARTIN, Steven

143.

15 Sep 2017

Software

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

MELQUIOND, Guillaume

144.

09 Jan 2017

Software

Gappa
Gappa, a tool for certifying numerical applications

MELQUIOND, Guillaume

145.

17 Feb 2018

Software

Coq
The Coq proof assistant

MELQUIOND, Guillaume

146.

03 May 2018

Software

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

147.

22 Mar 2018

Software

Pint
Static analyzer for dynamics of Automata Networks

PAULEVE, Loïc

148.

22 Sep 2014

Software

Causalex
Causality Graph Explorer

PAULEVE, Loïc

149.

01 Jan 2007

Software

Program
Program : Programming with Dependent Types in Coq

PAULIN-MOHRING, Christine

150.

01 Jan 2014

Software

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine