Thomas Møller Grosen

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

Collaborative distances:

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

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