Discover projects, groups and snippets. Share your projects with others
OTAWA plugin for polyhedra-based analysis and loop bound estimation
Revil is an application for building and manipulating 3D SceneGraphs for Mixed-Reality Artistic Performances which uses the "revealing" technique.
Control Flow Tree extractor and symbolic WCET evaluator plugin for OTAWA v2
Development of a port simulator in SPEED Project
Adaptive Visual Augmentations for the Audience using Levels Of Detail
Transforms a Raspberry Pi Zero into a keyboard operable by a user with motor disabilities