Monitoring Timed Properties (Revisited). - Thomas Møller Grosen; Sean Kauffman; Kim Guldstrand Larsen; Martin Zimmermann 002 (FORMATS, 2022)

Monitoring Real-Time Systems Under Parametric Delay. - Martin Fränzle; Thomas Møller Grosen; Kim G. Larsen; Martin Zimmermann 002 (IFM, 2024)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. - Alessandro Cimatti; Thomas Møller Grosen; Kim G. Larsen; Stefano Tonetta; Martin Zimmermann 002 (SEFM, 2024)

Time for Timed Monitorability. - Thomas Møller Grosen; Sean Kauffman; Kim G. Larsen; Martin Zimmermann 002 (CONCUR, 2025)