Marco Maida

According to our database, Marco Maida authored at least 5 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact).

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Dagstuhl Artifacts Ser., 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

Proceedings of the IEEE Real-Time Systems Symposium, 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

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Foundational Response-Time Analysis as Explainable Evidence of Timeliness.

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness.

Marco Maida, Sergey Bozhko, Björn B. Brandenburg

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021