Transfert technologique

Patrimoine logiciel d'Inria

© INRIA / Photo Kaksonen - Extraction des données cryptographiques d'une carte bancaire

Inria est à l’origine d’une importante production de logiciels. Ci-dessous quelques exemples de logiciels phares classés par secteur.

Aéronautique, espace, spatial, sécurité

ALT-ERGO

Alt-Ergo combine le raisonnement logique avec quantificateurs et des procédures de décision spécialisées pour certaines théories comme l'arithmétique ou l'égalité. Ce prouveur est spécialement mis au point pour la vérification de programmes et il est utilisable depuis les plates-formes Frama-C, Why ou CAVEAT.

  • Contact : sriv-saclay@Inria.fr
AXEL

Axel est un logiciel permettant la construction et la modélisation de formes géométriques algébriques.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
BLOBSEER

BlobSeer est un service de stockage de données distribuées à grande échelle pour la gestion avancée de données massives. Il a été validé sur des clouds Nimbus, OpenNebula et Microsoft Azure.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
CORESE

Corese est un moteur de recherche web sémantique implémentant des langages de base tels que RDF, RDFS et SPARQL.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
DIASUITE BOX

DiaSuiteBOX propose un catalogue d’applications mutualisant les équipements de la maison. Ce catalogue est ouvert et accessible à la manière d’un catalogue d’applications pour Smartphone.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
DIET

Diet est une boîte à outils pour l’utilisation et le portage d’applications de calcul intensif sur des architectures hétérogènes.

  • Contact : rev@Inrialpes.fr
FRAMA-C

Frama-C est une plateforme d'analyse de programmes C. Frama-C aide aux activités de mise au point et de vérification, ainsi qu'à la rétro-ingénierie au niveau du code source.

  • Contact : sriv-saclay@Inria.fr
FRASCATI

FraSCAti est une plate-forme middleware pour les architectures orientées services (SOA) conformes au standard OASIS/OpenSOA Service Component Architecture (SCA).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
GASPARD2

Gaspard 2 est un environnement de développement intégré pour co-modéliser, simuler, tester et générer du code logiciel et matériel pour des applications intensives sur SoC (System-on-Chip).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
GRAPHITE

Graphite est une plateforme logicielle dédiée géométrie numérique, permettant entre autres la modélisation 3D et le plaquage de textures.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
HIPS

Hips est un logiciel hybride « à la carte » qui permet de résoudre des systèmes d’équations linéaires creux avec le degré de précision et l’engagement en temps/mémoire nécessaire et souhaité par l’utilisateur.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
HOP

Hop est un langage pour le développement et une plate-forme pour l’exécution d’applications pour le Web diffus.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
JADE

Jade est un système distribué capable de s'auto-observer et de s'auto-reconfigurer.

  • Contact : rev@Inrialpes.fr
JITS

JITS, Java In The Small est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
KADEPLOY

Kadeploy 3 est une réécriture complète de l’outil Kadeploy 2 initialement développé à l’IMAG. Afin de viser une échelle d’un ordre de grandeur supplémentaire, le design a été entièrement repensé et Kadeploy 3 s’appuie sur des outils dédiés à la grande échelle. Puisque le processus de déploiement opère à bas niveau, un soin tout particulier a été porté à la détection d’incident qui s’avère critique dans le déploiement d’un grand nombre de noeuds.

  • Contact : sriv-saclay@Inria.fr
KERMETA

Kermeta est un langage de métamodélisation permettant de décrire la structure ainsi que le comportement des métamodèles.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
KERRIGHED

Kerrighed est un Système d'exploitation à image unique qui offre les fonctionnalités et l'interface Linux à l'échelle d'un groupe d'ordinateurs.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
MILLEFEUILLE

Millefeuillle est une plate-forme utilisée pour éditer un document historique dans le cadre d’un projet avec les Archives Nationales. Les documents sont présentés à gauche et les indexes à droite.

  • Contact : sriv-saclay@Inria.fr
MIXMOD

Mixmod permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives.

  • Contact : sriv-saclay@Inria.fr
MPFR

MPFR est une bibliothèque de calcul sur des nombres à virgule flottante en précision arbitraire, avec arrondi correct, basée sur la bibliothèque GMP.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
MUMPS

MUMPS, Multifrontal Massively Parallel Solver résout des systèmes linéaires creux de la forme A x = b.

  • Contact : rev@Inrialpes.fr
ND-SAFIR

ND-SAFIR est un logiciel de restauration (ou débruitage) d’images 2D, 3D et de séquences d’images 2D+T(emps) ou 3D+T(emps).

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
OAR

Oar est un gestionnaire de ressources et de tâches pour les infrastructures de calcul.

  • Contact : rev@Inrialpes.fr
OPENMASK

OpenMask est une plate-forme de développement et d'exécution pour des applications modulaires, hétérogènes et distribuées dans les domaines de l'animation, la simulation et la réalité virtuelle.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
OPEN-MX

Open-MX est une implémentation d’une pile de protocole qui cible les architectures de calcul haute performance (HPC) à réseau Ethernet et permet l’optimisation des communications MPI.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
OPENViBE

OpenVIBE est une plate-forme logicielle pour créer, tester et utiliser des interfaces cerveau ordinateur (commandes des ordinateurs par l’activité cérébrale) et des applications de neurosciences temps-réel.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
ORCHIDS

ORCHIDS est un outil de détection et de prévention d’intrusions. ORCHIDS détecte des attaques modernes complexes, par corrélation entre événements.

  • Contact : sriv-saclay@Inria.fr
PADICO TM

PadicoTM rend possible l’utilisation de différents réseaux (TCP/IP, réseaux haut débit tels que Myrinet ou InfiniBand) quelque soit l’interface utilisée par une application (MPI, CORBA, Socket).

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
PARADISEO

Paradiseo est une plate-forme logicielle facilitant l’utilisation, le développement et la comparaison de métaheuristiques (algorithmes d’optimisation visant à résoudre des problèmes d’optimisation difficiles) classiques, multiobjectifs, parallèles et hybrides.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
PASTIX

PaStiX est  Solveur direct qui s’utilise pour résoudre des systèmes numériquement difficiles en parallèle. En gardant les qualités intrinsèques d’une méthode directe (robustesse), il consomme moins de mémoire ce qui lui permet de résoudre des problèmes de très grande taille.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
POLYCHRONY

Polychrony est une boîte à outils pour le développement intégré d’applications embarquées construite autour du langage polychrone Signal.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
PROACTIVE

Intergiciel Java portable pour le calcul multi-core parallèle et distribué. Il permet la programmation et l’exécution d’applications parallèles ainsi que le management de ressources (stations, serveurs, clusters, grilles ou cloud).

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
PROLAND

Proland est un logiciel de rendu réaliste, d'animation et d'édition temps réel de scènes naturelles (terrain, nuages, atmosphère, océan...) de très grande taille, jusqu'à une planète entière.

  • Contact : rev@Inrialpes.fr
SAMSON

SAMSON est une plateforme logicielle pour la modélisation et la simulation de nanosystèmes, naturels ou artificiels.

  • Contact : rev@Inrialpes.fr
SCOTCH

Scotch est un partitionneur de graphes. Il permet d'optimiser le découpage d'un problème, modélisé par un graphe, en un ensemble de sous-problèmes les plus indépendants possibles et de tailles équivalentes. Ces sous-problèmes peuvent éventuellement être résolus en parallèle.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
SHOOT

Shoot est un logiciel de résolution des problèmes de commande optimale pour systèmes dynamiques.- Approche indirecte, méthode de tir. Ce logiciel est dédié à la résolution numérique de problèmes de commande optimale pour systèmes dynamiques (véhicules, automates, réacteurs chimiques, ...).

  • Contact : sriv-saclay@Inria.fr
SICONOS

Siconos est une plateforme dédiée à la modélisation, la simulation et l’analyse des systèmes dynamiques non linéaires et non réguliers.

  • Contact : rev@Inrialpes.fr
SIMGRID

Simulateur d’environnements hétérogènes à large échelle, dédié à la conception et à l’expérimentation d’applications distribuées.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
SNOOZE

Snooze est un système auto-organisant pour la gestion de l'énergie dans les clouds.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
SOFA

Sofa est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
SOLLYA

Sollya est une boîte à outils de routines numériques pour le développement de codes numériques sûrs.

  • Contact : rev@Inrialpes.fr
SYNDEX

Logiciel pour l’optimisation de l’implantation d'applications distribuées temps réel embarquées et la génération automatique de code efficace et correct par construction.

  • Contact : Amine Hassim -Tél : +33 1 39 63 55 08
TIMESQUARE

TimeSquare est un plugin Eclipse permettant de mettre en oeuvre le temps logique (spécification) et de simuler un ordonnancement du système modélisé. Il est basé sur le langage CCSL (fortement lié au profil UML MARTE) qui spécifie des relations temporelles entre des événements.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
TOM

Tom est un logiciel de langage de programmation orienté pattern-matching, basé sur l’utilisation de règles et de stratégies, adapté en particulier à la manipulation de structures arborescentes.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
TOOKAN

Outil de test pour les appareils cryptographiques tels que les cartes à puce ou les HSMs (hardware security modules). Il dévoile et exploite des vulnérabilités dans leurs interfaces de programmation (API) conforme à la norme RSA PKCS #11.

  • Contact : sriv-saclay@Inria.fr
VISEVAL

ViSEvAl, un outil pour la visualisation et l’évaluation d'algorithmes d’analyse vidéo. L'outil propose des métriques pour évaluer les principales étapes du traitement automatique de séquences vidéos : détection, classification, suivi et reconnaissance d’événements.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
ViSP

ViSP, une plate-forme logicielle pour l'asservissement visuel, est unique. Le logiciel permet le prototypage et le développement d'applications multi plates-formes exploitant les techniques de suivis visuels et d'asservissements visuels.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
XTREEMOS

XtreemOS est un système d'exploitation opensource qui facilite l'usage des grilles de calcul – en mettant les grilles à portée de tous - et pose un jalon dans le développement du cloud computing. XtreemOS peut ainsi être considéré comme une alternative aux intergiciels traditionnels de grille en proposant une plateforme de calcul fiable, sécurisée et extensible, et qui exploite un support aux organisations virtuelles pour permettre la fédération de ressources.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33

Edition de logiciels, systèmes embarqués

ALT-ERGO

Alt-Ergo combine le raisonnement logique avec quantificateurs et des procédures de décision spécialisées pour certaines théories comme l'arithmétique ou l'égalité. Ce prouveur est spécialement mis au point pour la vérification de programmes et il est utilisable depuis les plates-formes Frama-C, Why ou CAVEAT.

  • Contact : sriv-saclay@Inria.fr
AM3

AM3 (AtlanMod MegaModel Management) est un outil / framework générique et extensible dédié à la gestion globale de modèles, c.a.d. la gestion des différents artefacts de modélisation et de leurs interrelations.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
AMW

AMW (AtlanMod Model Weaver) est un outil générique et extensible dédié à la création et à la manipulation de tissages entre modèles, ces tissages représentant des ensembles de liens existants entre des éléments pouvant provenir de différents modèles.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
ATL

ATL (AtlanMod Transformation Language) est un outil dédié à la transformation de modèles, complet, intégré à Eclipse et incluant le langage ATL en lui-même, son environnement de développement & d’exécution, des exemples concrets ainsi que la documentation associée.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
CGAL

CGAL est une bibliothèque de structures de données et algorithmes géométriques: 120 composants modulaires, fiables et génériques.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
CORESE

Corese est un moteur de recherche web sémantique implémentant des langages de base tels que RDF, RDFS et SPARQL.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
EMF FACET

EMF Facet est un outil/framework dédié à l’extension dynamique et non-intrusive de métamodèles (ajout de types, attributs, références, etc), basée sur un mécanisme générique de requêtes sur les modèles.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
FlOPOCO

FloPoCo est un générateur de coeurs arithmétiques non standard pour le calcul reconfigurable.

  • Contact : rev@Inrialpes.fr
FRAMA-C

Frama-C est une plateforme d'analyse de programmes C. Frama-C aide aux activités de mise au point et de vérification, ainsi qu'à la rétro-ingénierie au niveau du code source.

  • Contact : sriv-saclay@Inria.fr
GASPARD2

Gaspard 2 est un environnement de développement intégré pour co-modéliser, simuler, tester et générer du code logiciel et matériel pour des applications intensives sur SoC (System-on-Chip).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
KERMETA

Kermeta est un langage de métamodélisation permettant de décrire la structure ainsi que le comportement des métamodèles.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
MIXMOD

Mixmod permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives.

  • Contact : sriv-saclay@Inria.fr
MODISCO

MoDisco est un outil/framework Eclipse générique et extensible fournissant aux développeurs un ensemble de composants de base réutilisables et dédiés à l’élaboration de solutions de rétro-ingénierie dirigée par les modèles.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
MOOSE

Moose est une plate-forme ouverte et extensible pour l'analyse logicielle, intégrant des modèles de langages, des métriques, d’algorithmes, des moteurs de visualisation et de navigation.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
MPFR

MPFR est une bibliothèque de calcul sur des nombres à virgule flottante en précision arbitraire, avec arrondi correct, basée sur la bibliothèque GMP.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
N1CV2-N2CV1

Optimisation des grands systèmes.

  • Contact : rev@Inrialpes.fr
PARADISEO

Paradiseo est une plate-forme logicielle facilitant l’utilisation, le développement et la comparaison de métaheuristiques (algorithmes d’optimisation visant à résoudre des problèmes d’optimisation difficiles) classiques, multiobjectifs, parallèles et hybrides.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
PHARO

Pharo est un langage et environnement de programmation Smalltalk, dynamique, propre, innovant, gratuit et open-source avec lesquels des applications professionnelles peuvent être développées.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
POLYCHRONY

Polychrony est une boîte à outils pour le développement intégré d’applications embarquées construite autour du langage polychrone Signal.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
PREMIA

Logiciel d'évaluation et de couverture de produits dérivés

  • Contact : Amine Hassim -Tél : +33 1 39 63 55 08
QUIXPROC

QuiXProc permet la lecture et le traitement de fichiers XML sans nécessiter le chargement de la totalité du fichier. Au lieu de manipuler un arbre XML, QuiXProc manipule les flux et utilise la suite d’évènements ouverture/fermeture de balises.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
SCOTCH

Scotch est un partitionneur de graphes. Il permet d'optimiser le découpage d'un problème, modélisé par un graphe, en un ensemble de sous-problèmes les plus indépendants possibles et de tailles équivalentes. Ces sous-problèmes peuvent éventuellement être résolus en parallèle.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
SOLLYA

Sollya est une boîte à outils de routines numériques pour le développement de codes numériques sûrs.

  • Contact : rev@Inrialpes.fr
SYNDEX

Logiciel pour l’optimisation de l’implantation d'applications distribuées temps réel embarquées et la génération automatique de code efficace et correct par construction.

  • Contact : Amine Hassim -Tél : +33 1 39 63 55 08
TIMESQUARE

TimeSquare est un plugin Eclipse permettant de mettre en oeuvre le temps logique (spécification) et de simuler un ordonnancement du système modélisé. Il est basé sur le langage CCSL (fortement lié au profil UML MARTE) qui spécifie des relations temporelles entre des événements.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
TOM

Tom est un logiciel de langage de programmation orienté pattern-matching, basé sur l’utilisation de règles et de stratégies, adapté en particulier à la manipulation de structures arborescentes.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59

Energie, transport, développement durable

AXEL

Axel est un logiciel permettant la construction et la modélisation de formes géométriques algébriques.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
BLOBSEER

BlobSeer est un service de stockage de données distribuées à grande échelle pour la gestion avancée de données massives. Il a été validé sur des clouds Nimbus, OpenNebula et Microsoft Azure.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
ENTIMID

EnTiMid vise à faciliter le développement et le déploiement d’applications domotiques. Bâti grâce à des techniques éprouvées d’ingénierie des modèles, il offre un cadre de développement pour intégrer l’Internet des Objets et l’Internet des Services.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
FAMOSA

Plate-forme permettant l’optimisation de forme et le contrôle optimal pour des problèmes multidisciplinaires complexes.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
GAR6MORE 3D

Gar6more 3D est un logiciel de validation. Il permet de résoudre analytiquement des problèmes de propagation d’ondes dans des systèmes bicouches. L’objectif est de tester rapidement des codes de résolution de systèmes d’équations complexes représentant des environnements géologiques multicouches 3D.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
GRAPHITE

Graphite est une plateforme logicielle dédiée géométrie numérique, permettant entre autres la modélisation 3D et le plaquage de textures.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
HIPS

Hips est un logiciel hybride « à la carte » qui permet de résoudre des systèmes d’équations linéaires creux avec le degré de précision et l’engagement en temps/mémoire nécessaire et souhaité par l’utilisateur.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
MIXMOD

Mixmod permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives.

  • Contact : sriv-saclay@Inria.fr
MUMPS

MUMPS, Multifrontal Massively Parallel Solver résout des systèmes linéaires creux de la forme A x = b.

  • Contact : rev@Inrialpes.fr
N1CV2-N2CV1

Optimisation des grands systèmes.

  • Contact : rev@Inrialpes.fr
OPENMASK

OpenMask est une plate-forme de développement et d'exécution pour des applications modulaires, hétérogènes et distribuées dans les domaines de l'animation, la simulation et la réalité virtuelle.

  • Contact : Chantal Le Tonqueze - Tél. :  +33  99 84 75 33
PASTIX

PaStiX est  Solveur direct qui s’utilise pour résoudre des systèmes numériquement difficiles en parallèle. En gardant les qualités intrinsèques d’une méthode directe (robustesse), il consomme moins de mémoire ce qui lui permet de résoudre des problèmes de très grande taille.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
SUIVI DE PIETON

Détection et suivi temps réel de piétons en milieu urbain, aux carrefours routiers.

  • Contact : rev@Inrialpes.fr
TAPENADE

Tapenade est un moteur de différentiation automatique permettant d’obtenir les dérivées exactes d’une fonction représentée dans un programme.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49

Santé, sciences de la vie, biotechnologie

BEHAVIOR ANALYSIS

Analyse du comportement de personnes détectées à partir de caméras. Calcul de mesures objectives (e.g. postures, vitesse) caractérisant les activités de la personne observée.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
BIORICA

BioRica sert à décrire mathématiquement le comportement de systèmes biologiques complexes. C’est une plateforme logicielle permettant la simulation de systèmes en biologie à partir de leur description. Il permet de réutiliser des modèles biologiques existants et de les combiner en modèles plus complexes.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
BLOBSEER

BlobSeer est un service de stockage de données distribuées à grande échelle pour la gestion avancée de données massives. Il a été validé sur des clouds Nimbus, OpenNebula et Microsoft Azure.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
DIASUITE BOX

DiaSuiteBOX propose un catalogue d’applications mutualisant les équipements de la maison. Ce catalogue est ouvert et accessible à la manière d’un catalogue d’applications pour Smartphone.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
DROP

Drop effectue la mise en correspondance d’images provenant de même ou plusieurs modalités en calculant un champ de déformation non rigide / déformable d’une manière rapide et efficace. Drop est un nouvel outil de recalage rapide et efficace se basant sur de nouveaux algorithmes ne nécessitant pas de dérivée de fonction de coût. Drop effectue la mise en correspondance d’images provenant de même ou plusieurs modalités en calculant un champ dedéformation non rigide / déformable d’unemanière rapide et efficace.Drop est un nouvel outil de recalage rapide etefficace se basant sur de nouveaux algorithmes ne nécessitant pas de dérivée defonction de coût.

  • Contact : sriv-saclay@Inria.fr
ENTIMID

EnTiMid vise à faciliter le développement et le déploiement d’applications domotiques. Bâti grâce à des techniques éprouvées d’ingénierie des modèles, il offre un cadre de développement pour intégrer l’Internet des Objets et l’Internet des Services.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
GAR6MORE 3D

Gar6more 3D est un logiciel de validation. Il permet de résoudre analytiquement des problèmes de propagation d’ondes dans des systèmes bicouches. L’objectif est de tester rapidement des codes de résolution de systèmes d’équations complexes représentant des environnements géologiques multicouches 3D.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
GAZELLE

Plateforme Web pour la gestion de test d’interopérabilité dans le domaine de la santé.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
HANDNAVIGATOR

HandNavigator est un périphérique immersif pour le contrôle d’une main virtuelle dans des mondes virtuels

  • Contact : rev@Inrialpes.fr
LIBQGLViEWER

LibQGLViewer est une librairie C++ basée sur QT pour faciliter la création de viewers 3D Open GL.

  • Contact : rev@Inrialpes.fr
LOCUS

Locus analyse en quelques minutes une image IRM 3D d’un cerveau et  identifie automatiquement les tissus et un grand nombre de structures.

  • Contact : rev@Inrialpes.fr
MIXMOD

Mixmod permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives.

  • Contact : sriv-saclay@Inria.fr
ND-SAFIR

ND-SAFIR est un logiciel de restauration (ou débruitage) d’images 2D, 3D et de séquences d’images 2D+T(emps) ou 3D+T(emps).

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
OPENViBE

OpenVIBE est une plate-forme logicielle pour créer, tester et utiliser des interfaces cerveau ordinateur (commandes des ordinateurs par l’activité cérébrale) et des applications de neurosciences temps-réel.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
SAMSON

SAMSON est une plateforme logicielle pour la modélisation et la simulation de nanosystèmes, naturels ou artificiels.

  • Contact : rev@Inrialpes.fr
SOFA

Sofa est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
VISEVAL

ViSEvAl, un outil pour la visualisation et l’évaluation d'algorithmes d’analyse vidéo. L'outil propose des métriques pour évaluer les principales étapes du traitement automatique de séquences vidéos : détection, classification, suivi et reconnaissance d’événements.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49

Télécoms, réseaux, multimedia

AMAYA

Amaya est un éditeur de pages web qui tire parti des technologies web les plus récentes et qui permet de créer et de mettre à jour des documents directement sur le web.

  • Contact : rev@Inrialpes.fr
BLOBSEER

BlobSeer est un service de stockage de données distribuées à grande échelle pour la gestion avancée de données massives. Il a été validé sur des clouds Nimbus, OpenNebula et Microsoft Azure.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
CMA-ES
  • Contact : sriv-saclay@Inria.fr
COCO
  • Contact : sriv-saclay@Inria.fr
DIASUITE BOX

DiaSuiteBOX propose un catalogue d’applications mutualisant les équipements de la maison. Ce catalogue est ouvert et accessible à la manière d’un catalogue d’applications pour Smartphone.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
DYNAMIC SOLID TEXTURES

Shaders pour la stylisation d'animation.

  • Contact : rev@Inrialpes.fr
ENTIMID

EnTiMid vise à faciliter le développement et le déploiement d’applications domotiques. Bâti grâce à des techniques éprouvées d’ingénierie des modèles, il offre un cadre de développement pour intégrer l’Internet des Objets et l’Internet des Services.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33
FRASCATI

FraSCAti est une plate-forme middleware pour les architectures orientées services (SOA) conformes au standard OASIS/OpenSOA Service Component Architecture (SCA).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
FREESTYLE

Freestyle est un logiciel de rendu artistique de scènes 3D avec un style de dessin artistique.

  • Contact : rev@Inrialpes.fr
HOP

Hop est un logiciel de langage pour le développement et une plate-forme pour l’exécution d’applications pour le Web diffus.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
JITS

JITS, Java In The Small est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
LIMSEE3

LimSee3 est un outil auteur pour la création de documents multimédia guidé par des templates. Particulièrement adapté au web.

  • Contact : rev@Inrialpes.fr
MILLEFEUILLE

Millefeuillle est une plate-forme utilisée pour éditer un document historique dans le cadre d’un projet avec les Archives Nationales. Les documents sont présentés à gauche et les indexes à droite.

  • Contact : sriv-saclay@Inria.fr
MIXMOD

Mixmod permet de traiter des problématiques de classification supervisée et non supervisée pour des données quantitatives et qualitatives.

  • Contact : Contact : sriv-saclay@Inria.fr
NS-3

NS-3 est un simulateur réseau qui permet la validation et l’optimisation de protocoles réseau (WiFi, WiMAX, TCP/IP, LTE, etc).

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
OMISCID

Construction d'application peer-to-peer ou client/server. Facilite le design d'application avec une architecture orientée service. Middleware cross-platforme cross-langage pour les communications réseaux et la découverte dynamique de services. Construction d'application peer-to-peer ou client/server. Facilite le design d'application avec une architecture orientée service. Middleware cross-platforme cross-langage pour les communications réseaux et la découverte dynamique de services.

  • Contact : rev@Inrialpes.fr
OPEN-MX

Open-MX est une implémentation d’une pile de protocole qui cible les architectures de calcul haute performance (HPC) à réseau Ethernet et permet l’optimisation des communications MPI.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
PQ CODES

Logiciel permettant la fouille rapide et de détection de similitudes dans les grandes bases d'images, vidéos ou sons.

  • Contact : Chantal Le Tonqueze - Tél. :  +33 2 99 84 75 33

Haut de page

Siège et centres de recherche Inria

Accès direct

Social