A Theory of (Linear-Time) Timed Monitors. - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (ECOOP, 2025)

A Theory of (Linear-Time) Timed Monitors (Artifact). - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (Dagstuhl Artifacts Ser., 2025)