Software

 

Leading software :

  • JBotSim . It is a simulation platform under free licence (LGPL) developed in Java, allowing the validation of distributed algorithms in static or dynamic networks (such as wireless sensor networks, UAV or robot networks). The specificity of this tool is to be at a high level of abstraction, i.e. at the algorithmic level, rather than being dedicated to specific technologies. It thus enables rapid prototyping of algorithmic solutions in various contexts

  • volBrain  : volBrain is an online MRI brain volumetry system. It is designed to help researchers around the world to automatically obtain volumetric brain information from their MRI data, without the need for any infrastructure at their local sites.

  • Gumtree : source code differentiation software. Gumtree is one of the reference softwares on this subject. It has almost 400 stars on GitHub and about a hundred forks.

  • TChecker : TChecker is a software for automatic verification of real-time systems. It allows to verify that safety and liveliness specifications are met by the system, modelled in the form of timed automata. TChecker is designed as an experimentation platform to design and evaluate new verification algorithms. It is used in several research projects to develop new approaches for the formal analysis of real-time systems.

  • Tulip : Tulip is an open source, cross-platform, data visualization framework mainly dedicated to the analysis, the drawing and the visualization of relational data, using a graph model. It enables researchers and application designers to operate on an algorithm, technique/interaction, and visual encoding level. More information :  Web site , Git repository , releases repository 

  • Porgy : visual and interactive platform for modelling, simulation and analysis of complex systems using graph rewriting. Porgy allows to model system evolutions by a set of rewriting rules applied on a graph that represents a state of the system. Porgy builds a complete history of all rule applications in the form of a derivation tree. This tree can then be studied to understand how the global behaviour of the studied system emerges from a set of local modifications which are the rule applications.
  • StarPU is a runtime support for scheduling applications written as task graphs on heterogeneous multi-core architectures. This open-source software is the basis of various industrial or academic collaborations..

All LaBRI software :

AltaRicaA2S, Optional SageMath, pplpy, e-antic, Surface dynamics, Eigein, Malia Rendering Framework, DocCreator, girl, sonify, XLFG, Colociel, TaPas Stallings Graphs, Timed Monad Stream, Octopus, T-calcul, ICover, TChecker, CoLoMoTo Interactive Notebook, Mpbn, SAT Heritage, discoSnp, leon, CoPHI, rNAV v2.0, ReservoirPy, VirtualEnaction, DANA, AIFEX, MEDLEY, MS-STREAM, PARSEC, Secure Electro-chrom Mobile Interaction, AVCI, Chameleon, Diodon, Fabulous, MAPHYS, MetaPart, MPICPL, OptiDis, PaStiX, pmtool, rotor, ScalFMM, VITE, KaStORS, KStar, AFF3CT, SwLoc, PARCOACH, Hsplit, hwloc, NetLoc, NewMadeleine, PaMPA, TopoMatch, SCOTCH, H-Revolve, College +, DiaSuite, DiaSuiteBOX, DomAssist, STIC meta-algorithm on JBotSim