Explore projects

Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

The Demonstration repository for THEMIS

Artifact repository for the TOPLAS article pertaining to the THEMIS tool.

Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment

Post-Execution Dataset for characterizing straggler detection mechanism: The data are meant to serve as an example dataset for users to play with the straggler detection characterizing metrics that we provide.

All details to fully reproduce the results in Section II, III and IV.B) of paper "Profile of Upcoming HPC Applications and their Impact on Reservation Strategies"

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

Set of Satellite Image Time Series Tools developed in C++ and Python.

Simulation code for my phd thesis and related articles