Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Software development at LIFO

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Software development at LIFO

3D4J

3D4J is a java librairy that allows a 3D spatial placement of objects.
http://www.univ-orleans.fr/lifo/software/3D4J/

Agape

The Agape library is an open source Java implementation of exponential or parametrized graph algorithms of the literature and developed during the French ANRAgape.
https://traclifo.univ-orleans.fr/Agape/

BoolLoader

A Boolean-based approach to load and evaluate sparseness of transaction datasets. Auteurs: Zahir Maazouzi, Ansaf Salleb and Christel Vrain.

BoolMiner

Discovery of maximal frequent itemsets relying on Binary Decision Diagrams. Authors: Zahir Maazouzi, Ansaf Salleb and Chritel Vrain.

Bulk Synchronous Parallel ML (BSML)

BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.
http://traclifo.univ-orleans.fr/BSML/

CFI-C

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.
http://cfi-c.gforge.inria.fr/

Explorer-3D

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.
http://www.univ-orleans.fr/lifo/software/Explorer3D/

GroddDroid

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.
http://kharon.gforge.inria.fr/grodddroid.html

LOIR, POTI and WALO

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.
http://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/mi2-software.html

MLNLibs

Implementation of several Markov Logic Network algorithm (T. H. Dinh's Ph.D.), relying on the alchemy library.
http://www.univ-orleans.fr/lifo/software/MLNLibs/

Near-factorizations finder

This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.

OSL - Orleans Skeleton Library

OSL is a C++ library of data-parallel algorithmic skeletons on top of MPI.
https://traclifo.univ-orleans.fr/OSL

The QeCode System

The QeCode project aims at building a comprehensive, extensible and open-source quantified constraint solver on top of Gecode.
http://www.univ-orleans.fr/lifo/software/qecode/QeCode.html

QuantMiner

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) Reference : 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
http://quantminer.github.io/QuantMiner/

Scalable High Performance Virtual Reality

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).
http://netjuggler.sourceforge.net/

SIGMiner

Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).

SkelGIS


http://www.univ-orleans.fr/lifo/Members/Helene.Coullon/softwares.php

SteganoCC

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.
http://steganocc.gforge.inria.fr/

SyDPaCC

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).
http://traclifo.univ-orleans.fr/SyDPaCC

TAJA/TTSLI

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.
http://www.univ-orleans.fr/lifo/Members/rety/logiciels/taja.php

Timbuk

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.
http://www.irisa.fr/celtique/genet/timbuk/

Vitamins

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.
http://vitamins.gforge.inria.fr

XMG

XMG (eXtensible MetaGrammar) is a compiler whose aim is to ease the development of large linguistics resources.
https://launchpad.net/xmg

XMLCorrector

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.
http://www.info.univ-tours.fr/~savary/English/xmlcorrector.html