Thomas Møller Grosen

According to our database, Thomas Møller Grosen authored at least 5 papers between 2022 and 2026.

Collaborative distances:

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

2026

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays.

Martin Fränzle, Thomas Møller Grosen, Kim Guldstrand Larsen, Martin Zimmermann

Formal Aspects Comput., June, 2026

2025

Time for Timed Monitorability.

Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann

Proceedings of the 36th International Conference on Concurrency Theory, 2025

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

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Monitoring Real-Time Systems Under Parametric Delay.

Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2022

Monitoring Timed Properties (Revisited).

Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022