Inria
Inria.fr
Inria Channel
Transfer of technology
Inria’s software assets
Inria is the source of many software. Below our Key software by sector.
Aeronautics, defence, space, security
ALT-ERGO
Alt-Ergo combines logical reasoning with specialised quantifiers and decision-making procedures for certain theories such as arithmetics and equations. This prover was specially developed for program verification and can be used on Frama-C, Why and CAVEAT platforms.
BLOBSEER
BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.
BOCOP
Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.
CMA-ES
For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm
COCO
COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.
CORESE
Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.
DIASUITE BOX
DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.
DIET
Diet is a toolbox for the use and porting of intensive computing applications on heterogeneous architectures.
FRAMA-C
FRAMA-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.
FRASCATI
FraSCAti is a middleware platform for service-oriented architectures (SOA) compliant with the OASIS/OpenSOA Service Component Architecture (SCA) standard.
GASPARD2
Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.
GRAPHITE
Graphite is a dedicated software platform in numerical geometry that enables, among other things, 3D modelling and texture baking.
HIPS
Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.
JADE
Jade is a distributed system capable of self-observation and self-reconfiguration.
JITS
JITS –Java In The Small– is a software platform which allows Java applications to be migrated automatically to various embedded systems such as smart cards, networked sensors or minimalist games consoles.
KADEPLOY
Kadeploy 3 is a full rewrite of the Kadeploy 2 tool initially developed at IMAG. In order to achieve a larger scale, the design was completely reviewed and Kadeploy 3 is based on dedicated large-scale tools. Since the deployment process operates at a low level, special care was devoted to the detection of critical incidents in the deployment of large numbers of nodes.
KERMETA
The Kermeta workbench is a powerful meta-programming environment based on an object-oriented DSL (Domain Specific Language) optimized for metamodel engineering.
KERRIGHED
Kerrighed is a Single System Image operating system offering Linux interface and functionalities to clusters.
MILLEFEUILLE
Millefeuillle is a platform used for publication of a historical document within the scope of a project in collaboration with the National Archives. Documents are presented on the left, and the indices on the right.
MIXMOD
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
MPFR
Library for arbitrary precision arithmetic on floating-point numbers, with correct rounding, based on the GMP library.
MUMPS
Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b.
ND SAFIR
ND-SAFIR software is dedicated to the restoration (or denoising) of 2D-3D images and 2D or 3D+Time image sequences.
OAR
Oar is a task and resource management tool for computing infrastructures.
OPENMASK
OpenMASK (Modular Animation and Simulation Kit) is a platform for modular heterogeneous and distributed applications supporting development and execution in animation, simulation and virtual reality fields.
OPEN-MX
Open-MX is an implementation of a protocol stack targeting high performance computing (HPC) Ethernet network architectures and enabling optimisation of MPI communications.
OPENVIBE
OpenViBE is a software platform designed to create, test and use Brain-Computer Interfaces, enabling users to send commands to computers only by means of brain activity. OpenViBE can be used in many real-time neurosciences application.
PARADISEO
Paradiseo is a software framework for metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems). It facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics.
POLYCHRONY
Polychrony is a toolset for the integrated development of embedded applications designed around the polychronous Signal Language.
PROLAND
Realistic rendering, animation and real-time publishing of very large nature scenes (landscapes, clouds, atmospheres, oceans...) ranging in size up to the entire planet.
SAMSON
A software platform for real-time modelling and simulation of natural or artificial nanosystems.
SCOTCH
Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time.
SHOOT
Solving optimal control problems for dynamical systems.- Indirect approach, shooting method. This software programme is dedicated to numerical solving of optimal control problems for dynamical systems (vehicles, automatons, chemical reactors...)
SICONOS
Dedicated platform for modelling, simulating and analysing non smooth dynamical systems (NSDS).
SNOOZE
Snooze : a Self-Organizing and Energy Aware Cloud Management Framework.
SOFA
SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.
SOLLYA
Sollya is a tool environment for safe floating-point code development.
SYNDEX
Software for optimising the implementation of embedded distributed real-time applications and generating efficient and correct by construction code
TOM
Tom is a pattern-matching oriented programming language, based on the use of rules and strategies, that is particularly suited to manipulating tree structures.
ViSP
ViSP, standing for Visual Servoing Platform, is unique. This software is a complete cross-platform solution that allows prototyping and developing applications in visual tracking and visual servoing.
XTREEMOS
XtreemOS is an open-source distributed operating system for large scale dynamic Grids. XtreemOS can be seen as an alternative to traditional Grid middleware, facilitating the use of federated resources for scientific and business communities. XtreemOS aims at making grids easier and it also paves the way to cloud computing as it provides a good base platform for developing advanced Cloud computing functionality.
Software publishing, embedded system
ALT-ERGO
Alt-Ergo combines logical reasoning with specialised quantifiers and decision-making procedures for certain theories such as arithmetics and equations. This prover was specially developed for program verification and can be used on Frama-C, Why and CAVEAT platforms.
AM3
AM3 (AtlanMod MegaModel Management) is ageneric and extensible tool/framework dedicated to global model management, i.e., the management of different modeling artifacts as well as their interrelationships.
AMW
AMW (AtlanMod Model Weaver) is a generic and extensible tool dedicated to the creation and handling of weavings between models, these weavings representing sets of links existing between elements potentially coming from different models.
ATL
ATL (AtlanMod Transformation Language) is a tool dedicated to model transformation, complete, integrated into Eclipse and including its own development & execution environment, concrete examples as well as the corresponding associated documentation.
CORESE
Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.
EMF FACET
EMF Facet is a tool/framework dedicated to the non-intrusive and dynamic extension of metamodels (adding of new types, attributes, references, etc), based on a model query generic mechanism.
FlOPOCO
FloPoCo is a non-standard arithmetic core generator for reconfigurable computing.
FRAMA-C
FRAMA-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.
GASPARD2
Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.
KERMETA
The Kermeta workbench is a powerful meta-programming environment based on an object-oriented DSL (Domain Specific Language) optimized for metamodel engineering.
MIXMOD
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
MODISCO
MoDisco is an Eclipse generic and extensible tool/framework providing to developers a set of reusable base components and dedicated to the elaboration of model driven reverse engineering (MDRE) solutions.
MOOSE
Moose is an extensive platform for software and data analysis. It offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools.
MPFR
Library for arbitrary precision arithmetic on floating-point numbers, with correct rounding, based on the GMP library.
PARADISEO
Paradiseo is a software framework for metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems). It facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics.
PHARO
By providing a stable and small core system, excellent dev tools, and maintained releases, Pharo is an attractive platform to build and deploy mission critical Smalltalk applications.
POLYCHRONY
Polychrony is a toolset for the integrated development of embedded applications designed around the polychronous Signal Language.
PREMIA
Pricing and hedging financial derivatives.
QUIXPROC
QuiXProc reads and processes large XML files without loading the entire file in main memory. Instead of building a tree representation of the XML document, QuiXProc manages data as streams (sequence of opening and closing tags).
SCOTCH
Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time.
SIMSOC
A full system (hardware and software) simulation software for embedded systems: Development and Validation.
SOLLYA
Sollya is a tool environment for safe floating-point code development.
SYNDEX
Software for optimising the implementation of embedded distributed real-time applications and generating efficient and correct by construction code
TOM
Tom is a pattern-matching oriented programming language, based on the use of rules and strategies, that is particularly suited to manipulating tree structures.
Energy, transport, sustainable development
BLOBSEER
BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.
BOCOP
Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.
CMA-ES
For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm
COCO
COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.
ENTIMID
EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.
GRAPHITE
Graphite is a dedicated software platform in numerical geometry that enables, among other things, 3D modelling and texture baking.
HIPS
Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.
MIXMOD
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
MUMPS
Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b.
OPENMASK
OpenMASK (Modular Animation and Simulation Kit) is a platform for modular heterogeneous and distributed applications supporting development and execution in animation, simulation and virtual reality fields.
Health, life sciences, biotechnology
BIORICA
BioRica is used to mathematically describe thebehavior of complex biological systems.It is a software platform that permits simulation ofbiological systems on the basis of their description.It allows one to reuse existing biological models andto combine them into more complex models.
BLOBSEER
BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.
BOCOP
Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.
CMA-ES
For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm
COCO
COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.
DIASUITE BOX
DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.
DROP
Drop is a software programme that registersimages originating from one or more modes byquickly and efficiently calculating a non-rigid /deformable field of deformation.Drop is a new, quick and effective registrationtool based on new algorithms that do notrequire a cost function derivative.
ENTIMID
EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.
GAZELLE
Web application for the management of interoperability testing session.
HANDNAVIGATOR
Immersive hands-on peripheral device for the control of a virtual hand in virtual worlds.
LIBQGLViEWER
LibQGLViewer is a QT based C++ library that facilitates creation of 3D Open GL viewers.
LOCUS
LOCUS software analyses, in just a few minutes, a 3D MR brain scan and automatically identifies brain tissues and a large number of brain structures.
MIXMOD
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
ND SAFIR
ND-SAFIR software is dedicated to the restoration (or denoising) of 2D-3D images and 2D or 3D+Time image sequences.
OPENVIBE
OpenViBE is a software platform designed to create, test and use Brain-Computer Interfaces, enabling users to send commands to computers only by means of brain activity. OpenViBE can be used in many real-time neurosciences application.
SAMSON
A software platform for real-time modelling and simulation of natural or artificial nanosystems.
SOFA
SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.
Telecoms, networks, multimedia
AMAYA
Amaya is a Web page editor that takes advantage of the latest Web technologies and enables creation and updating of documents directly on the Web.
BLOBSEER
BlobSeer is a large-scale distributed storage service for advanced management of massive data. Validated on Nimbus, OpenNebula and Microsoft Azure cloud platforms.
BOCOP
Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use.
CMA-ES
For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm
COCO
COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem.
DIASUITE BOX
DiaSuiteBOX proposes an application store that gathers the devices deployed at home. This store is open and available online such as an application store for Smartphone.
DYNAMIC SOLID TEXTURES
Shaders for animation stylisation.
ENTIMID
EnTiMid eases the development and deployment of home automation applications. Based on model driven engineering techniques, it offers a framework for the integration of the Internet of Things and Internet of Services.
FRASCATI
FraSCAti is a middleware platform for service-oriented architectures (SOA) compliant with the OASIS/OpenSOA Service Component Architecture (SCA) standard.
FREESTYLE
Freestyle is a software for the creative rendering of 3D scenes with an artistic drawing style.
JITS
JITS –Java In The Small– is a software platform which allows Java applications to be migrated automatically to various embedded systems such as smart cards, networked sensors or minimalist games consoles.
LIMSEE3
LimSee3 is a template guided authoring tool for the creation of multimedia documents. It is particularly suited for Web applications.
MILLEFEUILLE
Millefeuillle is a platform used for publication of a historical document within the scope of a project in collaboration with the National Archives. Documents are presented on the left, and the indices on the right.
MIXMOD
Mixmod is a software package for Model-Based supervised and unsupervised classification on qualitative and quantitative data.
OPEN-MX
Open-MX is an implementation of a protocol stack targeting high performance computing (HPC) Ethernet network architectures and enabling optimisation of MPI communications.
See also
Your contacts at the Technology Transfert and Innovation department :
Contact
For further information, contact:
Patrick Moreau
Head of Software Assets
Tel.: +33 (0)1 39 63 78 40
