Login / Signup
Marco Maida
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 5
Top Topics
Semi Automatic
Manually Generated
Scheduling Algorithm
Open Directory Project
Top Venues
RTSS
Dagstuhl Artifacts Ser.
ECRTS
RTAS
</>
Publications
</>
Kimaya Bedarkar
,
Mariam Vardishvili
,
Sergey Bozhko
,
Marco Maida
,
Björn B. Brandenburg
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling.
RTSS
(2022)
Marco Maida
,
Sergey Bozhko
,
Björn B. Brandenburg
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact).
Dagstuhl Artifacts Ser.
8 (1) (2022)
Marco Perronet
,
Marco Maida
,
Cédric Courtaud
,
Björn B. Brandenburg
Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux Workloads.
RTAS
(2022)
Marco Maida
,
Sergey Bozhko
,
Björn B. Brandenburg
Foundational Response-Time Analysis as Explainable Evidence of Timeliness.
ECRTS
(2022)
Marco Maida
,
Sergey Bozhko
,
Björn B. Brandenburg
Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness.
RTSS
(2021)