Billede af Thomas Møller Grosen

Vis Scopus-profil

Thomas Møller Grosen

Post.Doc

 https://orcid.org/0009-0008-7719-6482

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

20222025

Publikationer pr. år

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
  • 4 Konferenceartikel i proceeding

  • Time for Timed Monitorability

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., 18 aug. 2025, 36th International Conference on Concurrency Theory, CONCUR 2025. Bouyer, P. & van de Pol, J. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 348).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    1 Citationer (Scopus)
    1 Downloads (Pure)

  • Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability

    Cimatti, A., Grosen, T. M., Larsen, K. G., Tonetta, S. & Zimmermann, M., 2024, Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Madeira, A. & Knapp, A. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15280 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    2 Downloads (Pure)

  • Monitoring Real-Time Systems Under Parametric Delay

    Fränzle, M., Grosen, T. M., Larsen, K. G. & Zimmermann, M., 2024, Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings. Kosmatov, N. & Kovács, L. (red.). Springer, s. 194-213 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15234 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    2 Downloads (Pure)

  • Monitoring Timed Properties (Revisited)

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., aug. 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (red.). Springer, s. 43-62 20 s. (Lecture Notes in Computer Science, Bind 13465).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)