Sites Inria

English version

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
APISENSE

La plateforme APISENSE est une solution logicielle permettant de collecter diverses informations contextuelles à partir de smartphones Android (application client) et les remonter vers un serveur.

  • contact : sti-lille@inria.fr
ATWUEDA

ATWUEDA propose une analyse des usages sur des périodes significatives de temps dans le but d’identifier le changement de comportements des utilisateurs et d’étudier l’évolution temporelle des profils de comportements de ces utilisateurs.

  • contact : Amine.hassim@inria.fr
AWHL

AWLH (AxIS Web Log Preprocessing and Data Stream extraction)  est un logiciel d’analyse des usages sur le Web (Web Usage Mining).

  • Contact : rev-ppi@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
CBR*Tools

CBR*Tools est une plateforme orientée objet pour la conception et l’implémentation de systèmes basés sur la réutilisation d’expériences passées  basées sur la gestion d’historiques.

  • contact : rev-ppi@inria.fr
CLUSTERING

Focuslab@ClusteringSet est un ensemble de méthodes de classification non supervisée basées sur des données complexes telles que les tableaux de dissimilarité ou les  Intervalles.

  • contact : rev-ppi@inria.fr
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
DATA STREAMS

SCMS, SDMS : Méthodes d’extraction de motifs séquentiels  fréquents dans les flux de données, et utilisation de méthodes de clustering de flux séquentielles.

  • contact : rev-ppi@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
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
EZTRACE

La génération automatique de traces d'exécution permet au développeur Eztrace de détecter simplement et rapidement les différentes phases de l'application et d'en comprendre le comportement.

  • Contact : sti-bordeaux@inria.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
H20LAB

H20Lab est un logiciel qui permet de traiter la modélisation et simulation numérique d’aquifères, les milieux poreux et fracturés hétérogènes, l'écoulement par éléments finis mixtes, le transport de solutés par méthode Lagrangienne, la modélisation stochastique des incertitudes sur les données.

  • Contact : rev-ren@inria.fr
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
HWLOC

HWLOC découvre la topologie de vos ordinateurs et la représente de manière hiérarchique et portable.

  • Contact : sti-bordeaux@inria.fr
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
MAPHYS

MaPHyS est un logiciel de résolution parallèle hiérarchique de grands systèmes linéaires creux.

  • Contact : rev-ppi@inria.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 : sriv-saclay@Inria.fr
MMG3D

Le remailleur tétraédrique MMG3D permet de générer rapidement des maillages isotropes ou anisotropes comprenant plusieurs millions d’éléments. Il permet également de simuler le déplacement de corps rigides dans l’espace.

  • Contact : sti-bordeaux@inria.fr
MOBLOT

MobloT, intergiciel dédié à l’internet des objets intelligents, permet de gérer un grand nombre d’objets en limitant la redondance de leurs services enregistrés.

  • Contact : amine.hassim@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
MY CORPORIS FABRICA (MYCF)

MyCF permet d'assembler des modèles anatomiques 3D pour la visualisation et la simulation biomécanique. En entrée, l'utilisateur spécifie des entités ou des fonctions anatomiques, par mots-clés ou en navigant dans une maquette 3D de référence. En sortie, il obtient des maquettes correspondant à ses besoins

  • contact : rev-gra@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
NUM3SIS

Num3sus est une plateforme pour l’aggrégation de composants logiciels (plugins) dédiés à la simulation numérique multi-disciplinaire dans un environnement HPC.

  • Contact : rev-ppi@inria.fr

OCAML

Le langage OCaml est un langage de programmation fonctionnelle qui combine expressivité et sûreté de programmation au moyen d'un système de types précis et souple, avec inférence automatique des types. Le logiciel comprend une implémentation de ce langage incluant deux compilateurs, un débogueur, un générateur de documentation, un gestionnaire de compilations et de packages et des bibliothèques développées par les utilisateurs.

  • Contact : Xavier Leroy

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
PAMPA

Pampa est une bibliothèque intergicielle parallèle de remaillage et de redistribution de maillages non structurés hétérogènes, et facilite et accélère considérablement le développement de solveurs numériques parallèles à schémas compacts.

  • Contact : sti-bordeaux@inria.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
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

Proactive,intergiciel Java portable pour le calcul multi-core parallèle et distribué, 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
SCALFMM

ScalFMM, bibliothèque générique, permet le calcul rapide d’interactions de pairs pour un très grand nombre d'objets (particules, lignes, ...) par la méthode des multipôles rapides.

  • Contact : sti-bordeaux@inria.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
SELALIB

Selalib (SemiLagrangian Library) est un ensemble de modules conçu pour faciliter le développement de simulations en physique des plasmas, en particulier dans l'étude de la turbulence dans les plasmas de fusion. Selalib offre des fonctionnalités de base de type mathématique, pour aider à la parallélisation, et aussi des simulations complètes.

  • Contact : sti-ncy@inria.fr
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

SIMGRID est un 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

Syndex est un 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
SUP

SUP est une plateforme logicielle pour la perception, l’analyse et l’interprétation d’une scène dynamique 3D observée par un réseau de capteurs.

  • Contact : rev-ppi@inria.fr
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), Tookan 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
VEP

VEP est un logiciel de gestion d'infrastructures de type IaaS (Interface REST et interface d'administration graphique, logiciel extensible et réutilisable) et de déploiement automatique d'applications distribuées (Réservation en avance, tolérance aux fautes, prise en compte des SLA Gestion de l'élasticité).

  • Contact : rev-ren@inria.fr
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

COQ

Coq offre à la fois un langage de programmation fonctionnelle à types dépendants et un formalisme logique qui permettent tant le développement de théories mathématiques que la spécification et la certification de propriétés de programmes. Coq fournit aussi un ensemble vaste et extensible de méthodes de preuve.

  • Contact : coqdev@inria.fr

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

N1CV2-N2CV1 est un logiciel d'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

Premia est un 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

SELALIB

Selalib (SemiLagrangian Library) est un ensemble de modules conçu pour faciliter le développement de simulations en physique des plasmas, en particulier dans l'étude de la turbulence dans les plasmas de fusion. Selalib offre des fonctionnalités de base de type mathématique, pour aider à la parallélisation, et aussi des simulations complètes.

  • Contact : sti-ncy@inria.fr

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

Syndex est un 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

APISENSE

La plateforme APISENSE est une solution logicielle permettant de collecter diverses informations contextuelles à partir de smartphones Android (application client) et les remonter vers un serveur.

  • contact : sti-lille@inria.fr
ATWUEDA

ATWUEDA propose une analyse des usages sur des périodes significatives de temps dans le but d’identifier le changement de comportements des utilisateurs et d’étudier l’évolution temporelle des profils de comportements de ces utilisateurs.

  • contact : Amine.hassim@inria.fr
AWHL

AWLH (AxIS Web Log Preprocessing and Data Stream extraction)  est un logiciel d’analyse des usages sur le Web (Web Usage Mining).

  • Contact : rev-ppi@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
BOF

Le logiciel BOF interprète les données capteurs embarqué à bord d'un véhicule, en terme d’espace navigable et de détection d’obstacles potentiels évoluant dans la scène.

  • Contact : sriv-saclay@inria.fr
CBR*Tools

CBR*Tools est une plateforme orientée objet pour la conception et l’implémentation de systèmes basés sur la réutilisation d’expériences passées  basées sur la gestion d’historiques.

  • contact : rev-ppi@inria.fr
CLUSTERING

Focuslab@ClusteringSet est un ensemble de méthodes de classification non supervisée basées sur des données complexes telles que les tableaux de dissimilarité ou les  Intervalles.

  • contact : rev-ppi@inria.fr
DATA STREAMS

SCMS, SDMS : Méthodes d’extraction de motifs séquentiels  fréquents dans les flux de données, et utilisation de méthodes de clustering de flux séquentielles.

  • contact : rev-ppi@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
FAMOSA

Famosa est une 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
H20LAB

H20Lab est un logiciel qui permet de traiter la modélisation et simulation numérique d’aquifères, les milieux poreux et fracturés hétérogènes, l'écoulement par éléments finis mixtes, le transport de solutés par méthode Lagrangienne, la modélisation stochastique des incertitudes sur les données.

  • Contact : rev-ren@inria.fr
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
MOBLOT

MobloT, intergiciel dédié à l’internet des objets intelligents, permet de gérer un grand nombre d’objets en limitant la redondance de leurs services enregistrés.

  • Contact : amine.hassim@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
MYGREENSERVICES

MyGreenServices est une plateforme citoyenne relative à la collecte de données issues de capteurs fixes ou mobiles au niveau de  la qualité de l’air et au bruit.

  • Contact : rev-ppi@inria.fr
N1CV2-N2CV1

N1CV2-N2CV1 est un logiciel d'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

Suivi de piéton est un logiciel de détection et de suivi temps réel de piétons en milieu urbain, aux carrefours routiers.

  • Contact : rev@Inrialpes.fr
SUP

SUP est une plateforme logicielle pour la perception, l’analyse et l’interprétation d’une scène dynamique 3D observée par un réseau de capteurs.

  • Contact : rev-ppi@inria.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
YARTA

Yarta est un intergiciel pour la gestion des écosystèmes sociaux qui offre des interactions sociales riches dans les environnements mobiles.

  • Contact : amine.Hassim@inria.fr

Santé, sciences de la vie, biotechnologie

ATWUEDA

ATWUEDA propose une analyse des usages sur des périodes significatives de temps dans le but d’identifier le changement de comportements des utilisateurs et d’étudier l’évolution temporelle des profils de comportements de ces utilisateurs.

  • contact : Amine.hassim@inria.fr
AWHL

AWLH (AxIS Web Log Preprocessing and Data Stream extraction)  est un logiciel d’analyse des usages sur le Web (Web Usage Mining).

  • Contact : rev-ppi@inria.fr
BEHAVIOR ANALYSIS

Behavior Analysis est un logiciel d'analyse du comportement de personnes détectées à partir de caméras, et de 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
CBR*Tools

CBR*Tools est une plateforme orientée objet pour la conception et l’implémentation de systèmes basés sur la réutilisation d’expériences passées  basées sur la gestion d’historiques.

  • contact : rev-ppi@inria.fr
CLUSTERING

Focuslab@ClusteringSet est un ensemble de méthodes de classification non supervisée basées sur des données complexes telles que les tableaux de dissimilarité ou les  Intervalles.

  • contact : rev-ppi@inria.fr
DATA STREAMS

SCMS, SDMS : Méthodes d’extraction de motifs séquentiels  fréquents dans les flux de données, et utilisation de méthodes de clustering de flux séquentielles.

  • contact : rev-ppi@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
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
ETHOMICE

Le logiciel Ethomice dispose des fonctions suivantes : modèle 3D biomécanique de la souris, analyse vidéo multi vues, paramètres 3D physiologiques

  • Contact :  rev@Inrialpes.fr
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

Gazelle est un 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
MOBLOT

MobloT, intergiciel dédié à l’internet des objets intelligents, permet de gérer un grand nombre d’objets en limitant la redondance de leurs services enregistrés.

  • Contact : amine.hassim@inria.fr
MY CORPORIS FABRICA (MyCF)

MyCF permet d'assembler des modèles anatomiques 3D pour la visualisation et la simulation biomécanique. En entrée, l'utilisateur spécifie des entités ou des fonctions anatomiques, par mots-clés ou en navigant dans une maquette 3D de référence. En sortie, il obtient des maquettes correspondant à ses besoins.

  • 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
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
SUP

SUP est une plateforme logicielle pour la perception, l’analyse et l’interprétation d’une scène dynamique 3D observée par un réseau de capteurs.

  • Contact : rev-ppi@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

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
APISENSE

La plateforme APISENSE est une solution logicielle permettant de collecter diverses informations contextuelles à partir de smartphones Android (application client) et les remonter vers un serveur.

  • contact : sti-lille@inria.fr
ATWUEDA

ATWUEDA propose une analyse des usages sur des périodes significatives de temps dans le but d’identifier le changement de comportements des utilisateurs et d’étudier l’évolution temporelle des profils de comportements de ces utilisateurs.

  • contact : Amine.hassim@inria.fr
AWHL

AWLH (AxIS Web Log Preprocessing and Data Stream extraction)  est un logiciel d’analyse des usages sur le Web (Web Usage Mining).

  • Contact : rev-ppi@inria.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
CBR*Tools

CBR*Tools est une plateforme orientée objet pour la conception et l’implémentation de systèmes basés sur la réutilisation d’expériences passées  basées sur la gestion d’historiques.

  • contact : rev-ppi@inria.fr
CLUSTERING

Focuslab@ClusteringSet est un ensemble de méthodes de classification non supervisée basées sur des données complexes telles que les tableaux de dissimilarité ou les  Intervalles.

  • contact : rev-ppi@inria.fr
CMA-ES
  • Contact : sriv-saclay@Inria.fr
COCO
  • Contact : sriv-saclay@Inria.fr
DATA STREAMS

SCMS, SDMS : Méthodes d’extraction de motifs séquentiels  fréquents dans les flux de données, et utilisation de méthodes de clustering de flux séquentielles.

  • contact : rev-ppi@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

Dynamic Solid Textures un 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
MOBLOT

MobloT, intergiciel dédié à l’internet des objets intelligents, permet de gérer un grand nombre d’objets en limitant la redondance de leurs services enregistrés.

  • Contact : amine.hassim@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

Omiscid est un logiciel de construction d'application peer-to-peer ou client/server. Il facilite le design d'application avec une architecture orientée service.

  • 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

PQ codes est un 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
SUP

SUP est une plateforme logicielle pour la perception, l’analyse et l’interprétation d’une scène dynamique 3D observée par un réseau de capteurs.

  • Contact : rev-ppi@inria.fr
YARTA

Yarta est un intergiciel pour la gestion des écosystèmes sociaux qui offre des interactions sociales riches dans les environnements mobiles.

  • Contact : amine.Hassim@inria.fr

Haut de page