LIFO - Bâtiment IIIA
Rue Léonard de Vinci
F-45067 ORLEANS Cedex 2
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37
3D4J is a java librairy that allows a 3D spatial placement of objects.
The Agape library is an open source Java implementation of
exponential or parametrized graph algorithms of the
literature and developed during the French ANRAgape.
A Boolean-based approach to load and evaluate sparseness of transaction datasets. Auteurs: Zahir Maazouzi, Ansaf Salleb and Christel Vrain.
Discovery of maximal frequent itemsets relying on Binary Decision Diagrams. Authors: Zahir Maazouzi, Ansaf Salleb and Chritel Vrain.
BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
CFI-C is a set of python programs that helps to inject control flow
countermeasures into a C source code. These countermeasures enforce
the flow of execution of the program and can defeat any jump attack of
2 C lines that would disrupt the normal flow of execution.
Explorer-3D is a vizualization tool under development within the Contraint and Learning Project. Explorer-3D aims at using a 3-D space to vizualize and parameterize distances (or dissimilarities). Authors : Lionel Martin and Matthieu Exbrayat.
GroddDroid is a framework for executing automatically malware on a
smartphone, triggering its user interface. It also detects suspicious
parts of the code and try to force unseen branches of execution in
order to try to force the execution of the suspicious code. This way,
Grodddroid helps to trigger the malicious behavior of the studied
malware. GroddDroid, a reference to the gorilla with psychic abilities,
is a free software available on the web site of the Kharon project.
Three different versions of a refinement method for service composition.
The approach: an automatic selection task,
guided by quantified indicators (obtained as results of the recommendation routine),
allows the construction of solutions adapted to each user.
Our refinement routine renders possible to translate abstract specifications into concrete ones.
An algorithm is used to find a combination of concrete services to implement the functionality defined by the higher-level specification.
Implementation of several Markov Logic Network algorithm (T. H. Dinh's Ph.D.), relying on the alchemy library.
This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.
OSL is a C++ library of data-parallel algorithmic skeletons on top of MPI.
The QeCode project aims at building a comprehensive, extensible and open-source quantified constraint solver on top of Gecode.
A Data Mining tool for mining Quantitative Association Rules
Authors: Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet, Xiangrong Kong, Vivek Rathod, and Daniel Cassard.
Institutions: CCLS Columbia University (USA), LIFO University of Orléans (France), BRGM (France)
QuantMiner for Mining Quantitative Association Rules.
A. Salleb-Aouissi, C. Vrain, C. Nortet, X. Kong, V. Rathod, D. Cassard
JMLR Journal of Machine Learning Research, Open Source Software
Net Juggler : a single image VR juggler cluster
We developped Net Juggler, a software laying on top of VR Juggler. Net Juggler turns a cluster where each node supports VR Juggler into a single VR Juggler image machine. In other words, from the user's point of view it (almost) does not make any difference to run a VR Juggler application on a cluster, a single PC or a SGI Onyx (from the operational point of view and not from the performance point of view).
Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).
SteganoCC is a set of programs that helps to experiment with covert
channels between two Android colluding applications. Additionally, it
also provides a way to collect energy measurements for all Android
processes using a modified version of PowerTutor.
Systematic Development of Program for Parallel and Cloud Computing is a set of libraries for the Coq proof assistant to support the derivation of functional parallel programs from specifications. These libraries
are developed in collaboration with colleagues of Université Paris-Est, Kyushu Institute of Technology and National Institute of Informatics (Japan).
TAJA (Tree Automata in JAva) is a graphical tool that allows main operations on finites automatas of tree tuples.
TTSLI (Tree Tuple Synchronised Languages Implementation) is a non-graphical tool for manipulating tree synchronized language grammars.
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). ohan Boichut participates to its development with the Inria team Celtique.
Vitamins (Visual and In Situ Analytics for Molecular Interactive Simulation) is an open source framework for the analysis and visualisation of large molecular dynamics trajectories directly acquired in-situ while the simulation is running, or read from files. It is developed in collaboration with all the partners of the ANR ExaviZ project.
XMG (eXtensible MetaGrammar) is a compiler whose aim is to ease the development of large linguistics resources.
XMLCorrector is an implementation of an algorithm allowing to correct an XML document with respect to schema constraints expressed as a DTD. It is developed by members of the LI of Tours and the LIFO. It is distributed under the LGPL license.