Explore projects

Public dir for Thingsat

Backend extending the capabilities of the VPL Moodle module

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

Self-stabilizing Algorithms SimulAtor

Virtual programming lab (version caseine).

Hybrid Dynamic Regressor (HyDyReg) offers two methods for the identification of switched nonlinear dynamical systems.

A CEGAR-based solver for maximum model counting