Explore projects

Control Flow Tree extractor and symbolic WCET evaluator plugin for OTAWA v2

OTAWA plugin for polyhedra-based analysis and loop bound estimation

GLFW fork, with cherry-picked commits from https://github.com/dougbinks for 'user context creation', until it lands mainstream and is released and packaged.

Adaptive Visual Augmentations for the Audience using Levels Of Detail

ROS package that interfaces the time synchronization chrony daemon

Fork of https://github.com/jinja2cpp/Jinja2Cpp, updated to boost-1.80, needed to build with gcc-12 in C++17 mode

Development of a port simulator in SPEED Project

Poster JOBIM2022