Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (RTSS, 2021)

Foundational Response-Time Analysis as Explainable Evidence of Timeliness. - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (ECRTS, 2022)

Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux Workloads. - Marco Perronet; Marco Maida; Cédric Courtaud; Björn B. Brandenburg (RTAS, 2022)

From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. - Kimaya Bedarkar; Mariam Vardishvili; Sergey Bozhko; Marco Maida; Björn B. Brandenburg (RTSS, 2022)

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). - Marco Maida; Sergey Bozhko; Björn B. Brandenburg (Dagstuhl Artifacts Ser., 2022)

Claycode: Stylable and Deformable 2D Scannable Codes. - Marco Maida; Alberto Crescini; Marco Perronet; Elena Camuffo (ACM Trans. Graph., 2025)