Explore projects

Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.

KerA is a unified ingestion and storage system for scalable big data processing https://kerdata.gitlabpages.inria.fr/Kerdata-Codes/kera-website/

Java language extensions and utilities used in Gazelle projects.

XAPI-sation du dataset OULAD

PSPARQL engine is an extension to SPARQL engine written in Java. It evaluates string queries of both SPARQL/PSPARQL (see http://psparql.inrialpes.fr/).

GeCoS Testing Framework provides an annotation-based testing framework for source-to-source transformations. This framework, built on top of JUnit4 and JUnit-dataprovider, enables a very simple and rapid way to specify integration tests.

ORCCAD is a software environment dedicated to the design and the implementation of advanced robotics control systems. It also allows the specification and the validation of missions to be achieved by the system

Helper-Tool for configuring COMPRISE SDK for your personal Angular applications

KerA is a unified ingestion and storage system for scalable big data processing https://kerdata.gitlabpages.inria.fr/Kerdata-Codes/kera-website/

Data repository of patients used in tests and simulation

The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).

Online tutorial for the paper: "Can we monitor all multithreaded programs?"

The first implementation of AIDEme's data exploration system, in Java. Today, it has been replaced by a Python implementation, which can be found on https://gitlab.inria.fr/aideme/aideme .

PeerSim simulations.

Repository for the experimental scilab frontend and IDE based on xtext

Development of methods and algorithms to mine "interesting" numerical rules from datasets containing numerical and symbolic attributes.