Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science, PhD, Solving Infinite Games with Bounds, RWTH Aachen University
1 Feb 2009 → 31 Jan 2012
Computer Science, Diploma, Time-optimal Winning Strategies in Infinite Games, RWTH Aachen University
30 Sept 2003 → 31 Jan 2009
External positions
Lecturer, University of Liverpool
31 Oct 2018 → 31 Jul 2021
Postdoc, Saarland University
1 May 2013 → 30 Sept 2018
Postdoc, University of Warsaw
1 Feb 2012 → 30 Apr 2013
Fingerprint
Dive into the research topics where Martin Zimmermann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
-
Efficient monitoring of timed properties
Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., Aug 2026, In: Formal Methods in System Design. 69, 1, 36 p., 2.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 Downloads (Pure) -
Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
Fränzle, M., Grosen, T. M., Larsen, K. G. & Zimmermann, M., Jun 2026, In: Formal Aspects of Computing. 38, 2, 32 p., 17.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)2 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., 2026, (Accepted/In press) In: Software and Systems Modeling.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Logics for Context-Free Hyperproperties
Winter, S. & Zimmermann, M., 21 Aug 2026, 51st International Symposium on Mathematical Foundations of Computer Science, MFCS 2026. Koucky, M. & Petrisan, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 54. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 386).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
The complexity of HyperQPTL
Regaud, G. & Zimmermann, M., Apr 2026, In: Information Processing Letters. 193, 106626.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
Datasets
-
Reproducibility Package for "TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net"
Gonzalez, B. M. R. (Creator), Jensen, P. G. (Creator), Schmid, S. (Creator), Srba, J. (Creator) & Zimmermann, M. (Creator), Zenodo, 10 Jul 2025
Dataset