Mentions légales du service
JNI Mapping DSL (Xtext-based).
A simple program to test information extract on different tools
Experimental developments for Corese.
AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.
AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.
Development of methods and algorithms to mine "interesting" numerical rules from datasets containing numerical and symbolic attributes.
Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Dynamic Layer Compositing for Interactive Geovisualization
Before-and-after Satellite Image Animation
Mining intuitive referring expressions on knowledge bases
Artifact repository for the TOPLAS article pertaining to the THEMIS tool.