• Accueil du LIFO
• Personnes (Annuaire)
• Équipes
• CA
• GAMoC
• LMV
• Pamda
• SDS
• Actions de Recherche
• Thèses en cours
• Séminaires et Evénements
• Séminaires
• Evénements au LIFO
• Evénements hors LIFO
• Publications et logiciels
• Publications
• Thèses et Habilitations
• Rapports de Recherche
• Logiciels
• Transfert de technologie

• Renseignements pratiques
• Organisation
• Accès
• Enseignement
• Pôle Informatique
• IUT Informatique
• INSA Centre-Val de Loire

Contact

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

Email: contact point lifo at listes point univ-orleans point fr contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37

Logiciels développés au LIFO

3D4J

3D4J est une librairie java permettant de visualiser des objets dans un espace 3D.
https://www.univ-orleans.fr/lifo/software/3D4J/

Agape

La librairie Agape est une implémentation Java open source d'algorithmes de graphes exponentiels ou paramétrés de la littérature et développés pendant l'ANR Agape project.
https://www.univ-orleans.fr/lifo/software/Agape.tar.gz

CFI-C

CFI-C est un ensemble de programmes python qui aide à injecter des contremesures de controle de flot dans un code source C. Ces contremesures garantissent la bonne exécution du flow du programme et peuvent contrecarrer toutes les attaques par saut de plus de 2 lignes de C qui changerait l'exécution normale du flot.
http://cfi-c.gforge.inria.fr/

Contempla

Contemplata is a web-based annotation tool developed specifically for the purpose of the Temporal@ODIL project. The ultimate goal of this project is to annotate a portion of the ANCOR spoken French corpus with semantic (more precisely, temporal) information. To this end, Contemplata allows:

• Merging/splitting speech turns into syntactically coherent units,
• selected expressions, uninteresting from the semantic point of view (e.g., social obligations-related expressions)
• Correcting constituency trees, obtained with a syntactic parser plugged into Contemplata (it can be thus used as a purely syntactic annotation tool, regardless of its temporal annotation functionalities),
• Annotating temporal entities on top of the syntactic structures,
• Linking the entities with temporal relations.

Explorer-3D

Explorer-3D est un outil de visualisation en cours de développement au sein de l'équipe Contraintes et Apprentissage. Explorer-3D utilise une représentation tridimensionnelle pour la visualisation et le paramétrage de mesures de distance (ou de dissimilarité). Auteurs : Lionel Martin et Matthieu Exbrayat.
https://www.univ-orleans.fr/lifo/software/Explorer3D/

GroddDroid

GroddDroid est un framework d'exécution automatique de malware sur un téléphone mobile, qui stimule l'interface graphique. Il détecte les parties du code qui sont suspicieuses et essaie de forcer les branches d'exécution qui n'ont pas été vues afin de forcer l'exécution du code suspicieux. Ce faisant, GroddDroid aide à déclencher le comportement malveillant du malware étudié. GroddDroid, en référence au gorille aux pouvoirs psychiques de DC Comics, est un logiciel libre open source disponible sur le site du projet Kharon.
http://kharon.gforge.inria.fr/grodddroid.html

HGraph

HGraph est un logiciel de visualisation de séries temporelles. Il permet entre autres la discrétisation des séries continues et la recherche de motifs fréquents.
https://www.univ-orleans.fr/lifo/software/HGraph/

LMV: Bulk Synchronous Parallel ML (BSML)

La bibliothèque BSML est une bibliothèque pour le langage Objective Caml pour la programmation d'algorithmes parallèles BSP (Bulk Synchronous Parallelism) en mode direct.
https://bsml-lang.github.io

LMV: SaIL

SaIL signifie SAfe Interactive Language. Il vise à améliorer la sécurité dans les langages réactifs spécifiques à un domaine. Les objectifs à long terme sont : sécurité, gestion automatique de la mémoire sans glaneur de cellules, ordonnancement parallèle efficace des processus indépendants au niveau mémoire, prise en charge de la preuve de programme.
https://github.com/sail-pl/SAIL

LMV: SyDPaCC

Systematic Development of Program for Parallel and Cloud Computing est un ensemble de bibliothèques pour aider à écrire en Coq des preuves dans le style BMF (Bird-Meertens Formalism) et dériver des programmes BSML depuis des spécifications. Ces bibliothèques ont été développées en collaboration avec des collègues de l'Université Paris-Est, du Kyushu Institute of Technology et du National Institute of Informatics au Japon.
https://sydpacc.github.io

LMV: WhyBSML

WhyBSML est un ensemble de modules WhyML (le langage de modélisation de Why3) qui formalisent les primitives BSML et qui utilisent cette formalisation pour implanter et vérifier des fonctions parallèles. Le code OCaml et BSML compilable peut être extrait de WhyBSML et exécuté sur des machines parallèles.
https://whybsml.github.io

LOIR, POTI et WALO

Trois versions d'une méthode de raffinement pour la composition de services. L'approche: une procédure de sélection automatique, guidée par des indicateurs de qualité (obtenus via une routine de recommandation), permet la construction des solutions adaptées à un utilisateur. Notre procédure de raffinement rend possible la traduction d'une spécification abstraite en une composition de services concrets remplissant les tâches fonctionnelles définies par la spécification en haut niveau.
https://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/mi2-software.html

MapFIM

MapFIM (Memory Aware parallelized Frequent Itemset Mining In Very Large Datasets) est un programme pour l'extraction des motifs fréquents dans de grandes masses de données dans un environnement Hadoop: Ce programme a été développé dans le cadre du projet: APRIA-GIRAFON.
https://www.univ-orleans.fr/lifo/software/MapFIM/

MLNLibs

Apprentissage de réseaux logiques de Markov (algorithmes proposés durant la thèse de T.Q. Dinh et implantés au dessus de Alchemy).
https://www.univ-orleans.fr/lifo/software/MLNLibs/

Near-factorizations finder

Logiciel de recherche des quasi-factorisations des groupes finis, ou autrement dit, des graphes de Cayley partitionnables.

OSL - Orleans Skeleton Library

OSL est un bibliothèque de squelettes algorithmiques data-parallèles méta-programmée en C++, au dessus de MPI.
https://traclifo.univ-orleans.fr/OSL/

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) Référence : 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

SIGMiner est une application d'aide à l'extraction de règles caractéristiques dans les bases de données possédant des relations de distances entre objets telles que les SIGs. Auteurs: David Cossard supervisé par Ansaf Salleb (LIFO), Christel Vrain (LIFO) et Daniel Cassard (BRGM). Rq: SIGMiner et QuantMiner font partie du projet GEMS (Global Environmental and Metallogenic Synthesis) au BRGM, service REM (ressources minérales), unité VADO (traitement et valorisation des données), dans la cadre d'un travail en collaboration avec le LIFO.

SkelGIS

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

SteganoCC

SteaganoCC est un ensemble de programmes qui permettent de réaliser des expériences de transmission par canaux cachés entre deux applications Android. De plus, un logiciel de collecte de mesures d'énergie des processus Android est fourni sur la base d'une version modifiée de PowerTutor.
http://steganocc.gforge.inria.fr/

TAJA/TTSLI

TAJA (Tree Automata in JAva) est un outil graphique qui permet d'effectuer les principales opérations sur les automates finis de nuplets d'arbres. TTSLI (Tree Tuple Synchronised Languages Implementation) est un outil non graphique qui permet de manipuler les grammaires de langages synchronisés d'arbres.
https://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). Yohan 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) est un framework dédié à la construction d'applications modulaires pour l'analyse et la visualisation interactive d'une dynamique moléculaire en post traitement ou au cours d'une simulation. Vitamins est développé dans le cadre du projet ANR ExaviZ avec l'ensemble des partenaires.
http://vitamins.gforge.inria.fr

XMG

XMG (eXtensible MetaGrammar) est un compilateur visant à faciliter le développement de ressources linguistiques de grande taille.
https://github.com/spetitjean/XMG-2

XMLCorrector

XMLCORRECTOR est l’implantation d’un algorithme permettant la correction d’un document XML par rapport à un schéma exprimé sous la forme d’une DTD. Ce logiciel est développé en collaboration avec le LI de Tours et est distribué sous licence LGPL.
http://www.info.univ-tours.fr/~savary/software.php