Thomas Møller Grosen

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

Collaborative distances:

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

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