• BeMoRe

    BeMoRe: Behaviour Model Repository, an extending Persistent Meta-Modeling Systems with Behavioral Semantics

  • BigQueries

    BigQueries is a framework for data warehouse physical design to optimize big number of analytical queries. It is a modular tool, that can: (1) offers DBA the possibility to select different optimization structures (MV, HDP), based on the interaction of queries, (2) gives an estimation of the queries performance, (3) generates and display an unified query plan, (4) and gives partition schema and fragments allocation in parallel processing context....


    Cooperative Human sEMantic dAta maNagement & Exploitation

    • MFS4UDB

      This module deals with the empty-answer problem in the uncertain database context by proposing efficient approaches to find Minimal Failing Subqueries (MFSs) and maXimal Succeeding Subqueries (XSSs) of failing conjunctive queries.

    • NTripleStatistics

      Computing the minimum and maximum cardinality values (Global, Local, or Characteristic Set) for predicates from an .nt format file.

      Use it:

    • QaRS
      This module implements two main functionnalities:
      • It gives explanation for the failure of a SPARQL query;
      • It performs relaxation of a SPARQL query in order to return top-k alternative answers.
    • QaRS4UKB

      Query-and-Relax System (QaRS) For Uncertain Knowledge bases.

      This module implements the following algorithms:
      • αLBA: computes αMFSs and αXSSs of a failing RDF query for a given threshold α.
      • NLBA, Bottom-Up, Top-Down and Hybrid: computes αMFSs and αXSSs of a failing RDF query for several thresholds. ...
    • TMA4KB

      Approaches For the Too Many Answers Problem in Knowledge Bases. Three main algorithms are provided:

      • Base: executes all subqueries of a failing query,
      • Var: does not execute queries that have a succeeding superquery + uses a variable-based property to deduce query failure,...
  • EnerQuery

    EnerQuery is an energy-aware query optimizer framework. This framework leverages the PostgreSQL query optimizer by integrating energy dimension with many other features.


    This work is carried out thanks to the support of the European Union through the PLAIBDE project of the FEDER-FSE operational program for the Nouvelle- Aquitaine region. The project is supported by aYaline company, with partners: LIAS-ENSMA laboratory in Poitiers, and the L3i laboratory at La Rochelle University....

  • Guide des Arrivants

    Vous rejoignez le laboratoire pour un stage, un séjours scientifique, un doctorat ou vous venez d'être recruté comme personnel alors tout d'abord BIENVENUE au LIAS !

    Ce guide vous est destiné. Il a pour but, dans un premier temps, de faciliter votre arrivée et la découverte de votre nouvel environnement en vous donnant un maximum d'informations pratiques sur les lieux, sur les établissements à contacter et les procédures à effectuer pour votre quotidien....

  • KMAD Platform

    This project concerns K-MAD platform and its related tool K-MADe.

    • KMADe

      This project concerns K-MADe (Kernel of Model for Activity Description environment), a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis. The originality of the tool is to be based on a model whose expressive power lies on a formal semantic. This facilitates task description and analysis, but also querying the model and migrating within models and software life-cycle steps. ...


    MathMOuse: A Mathematical MOdels WarehoUSE to handle both Theoretical and Numerical Data

    • store mathematical models in a relational database
    • provide the user a "query by data" system to query the Warehouse using raw time series as input parameter
  • MoSaRT

    MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems) is a model-based framework for design and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. Since real-time systems need to be analyzed at an early stage of the development life-cycle in order to check if all the timing requirements are met, one of the main difficulties that the system designers face is to find the appropriate analysis tests helping to validate and/or to dimension properly their designs.Actually, research results have been exploited in industrial contexts only to a modest extent to date....

  • Multiprocessor GangScheduling

    The project defines a DP-Fair scheduling of Periodic Parallel Tasks. We consider identical processors and Gang Tasks that use simultaneously several processors. The schedule is defined by a pattern that will be used in every slice in the schedule that is delimited by two subsequent task deadlines. Two polynomial-time methods are proposed to define the pattern : an optimal linear programming based approach and an heuristic with a performance guarantee of (2-1/m) on resource augmentation (i.e., processor speedup factor). Both methods are implemented in MATLAB and compared through intensive numerical experiments. All source codes and results are provided. ...

  • OntoDB Platform

    This project concerns OntoDB platform. It supplies several tools (OntoDB schema, OntoQL, BeMoRe, OntoQL Plus, OntoQL Console...)

    • OntoDB Schema

      An ontology based database tool, support of multiple ontology models within ontology based database.

  • OntoDBench

    OntoDBench offers DBA the possibility to estimate the structuredness of her/his dataset and evaluate the scalability of the three main storage layouts of ontology-based data on its real datasets and workload. Then, according to her/his functionality and scalability requirements, DBA may choose the adequate OBDB. OntoDBench supports the following functionalities: (1) the evaluation of the characteristics of the real datasets, (2) the identification of the relevant storage models for a given OBDB, (3) the expression of the workload queries according to the three representations and (4) the evaluation of the queries performance....

  • OntoQL

    OntoQL is an exploitation language for ontology based databases (OBDB). It allows to query ontologies, data and both ontologies and data.

    • OntoQLConsole

      OntoQLConsole is an OntoQL interactive terminal.

    • OntoQLPlus

      OntoQLPlus is an OntoQL editor. It is a command line OntoQL language interface. It provides a syntax highlighting and a history of the executed commands.

  • PandaSQL

    PandaSQL concerns implementing and optimizing Randomized Triangle Enumeration Algorithm using SQL queries.


    Model-based Performance Analysis Repositories for Aadl Designs

  • Prototask

    This project concerns Prototask, a new task model simulator.
    All existing task model simulator require the user to understand task models to be effectively used. The major part of the screen is given to the task tree visualisation, and th user is supposed to watch the task tree to understand the simulation. Resulting from this choice, it is very difficult for end-users to understand task model simulations. ...

  • RoBMEX

    ROS-Based Modelling Framework for End-Users and Experts

    Try it -> Wiki

  • RT Approx FPPS

    The project page provides all MATLAB source codes of the algorithms and simulation environments defined in the paper

    An FTPAS for Response Time Analysis of Fixed Priority Real-Time Tasks with Resource Augmentation, Thi Huyen Chau Nguyen, Pascal Richard, Emmanuel Grolleau, IEEE Transactions on Computers, 2014, accepted for publication,

  • Trust Model Evaluation (TME)

    This project is about trust systems. We explored computational models for these systems and provided a comparative study between them. The project page presents our source code for the evaluation of computational models and their associations with user requirements....

Also available in: Atom