Martin Zimmermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
22
Active years
1991–2026
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | Logics for Context-Free Hyperproperties. | Sarah Winter, Martin Zimmermann |
| 2025 | ATVA | TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. | Bruno Maria Ren Gonzalez, Peter Gjl Jensen, Stefan Schmid, Jir Srba, Martin Zimmermann |
| 2025 | CONCUR | Time for Timed Monitorability. | Thomas Mller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann |
| 2025 | CONCUR | Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*. | Sarah Winter, Martin Zimmermann |
| 2025 | CSL | The Complexity of Second-Order HyperLTL. | Hadar Frenkel, Martin Zimmermann |
| 2024 | IFM | Monitoring Real-Time Systems Under Parametric Delay. | Martin Frnzle, Thomas Mller Grosen, Kim G. Larsen, Martin Zimmermann |
| 2024 | RV | The Complexity of Data-Free Nfer. | Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann |
| 2024 | SEFM | Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. | Alessandro Cimatti, Thomas Mller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann |
| 2023 | CONCUR | History-Deterministic Parikh Automata. | Enzo Erlich, Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann |
| 2023 | JELIA | Robust Alternating-Time Temporal Logic. | Aniello Murano, Daniel Neider, Martin Zimmermann |
| 2023 | VECoS | The Reachability Problem for Neural-Network Control Systems. | Christian Schilling, Martin Zimmermann |
| 2022 | DATE | Intelligent Methods for Test and Reliability. | Hussam Amrouch, Jens Anders, Steffen Becker, Maik Betka, Gerd Bleher, Peter Domanski, Nourhan Elhamawy, Thomas Ertl, Athanasios Gatzastras, Paul R. Genssler, Sebastian Hasler, Martin Heinrich, Andr van Hoorn, Hanieh Jafarzadeh, Ingmar Kallfass, Florian Klemme, Steffen Koch, Ralf Ksters, Andrs Lalama, Raphal Latty, Yiwen Liao, Natalia Lylina, Zahra Paria Najafi-Haghi, Dirk Pflger, Ilia Polian, Jochen Rivoir, Matthias Sauer, Denis Schwachhofer, Steffen Templin, Christian Volmer, Stefan Wagner, Daniel Weiskopf, Hans-Joachim Wunderlich, Bin Yang, Martin Zimmermann |
| 2022 | ISoLA | Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. | Satya Prakash Nayak, Daniel Neider, Martin Zimmermann |
| 2022 | TASE | The Complexity of Evaluating Nfer. | Sean Kauffman, Martin Zimmermann |
| 2021 | MFCS | HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete. | Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann |
| 2021 | MFCS | A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. | Shibashis Guha, Ismal Jecker, Karoliina Lehtinen, Martin Zimmermann |
| 2020 | CSL | The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. | Corto Mascle, Martin Zimmermann |
| 2020 | LICS | Good-for-games ω-Pushdown Automata. | Karoliina Lehtinen, Martin Zimmermann |
| 2020 | MFCS | Optimally Resilient Strategies in Pushdown Safety Games. | Daniel Neider, Patrick Totzke, Martin Zimmermann |
| 2020 | VMCAI | Promptness and Bounded Fairness in Concurrent and Parameterized Systems. | Swen Jacobs, Mouhammad Sakr, Martin Zimmermann |
| 2019 | QRS | Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. | Florian Klck, Martin Zimmermann, Franz Wotawa, Mihai Nica |
| 2018 | CSL | Synthesizing Optimally Resilient Controllers. | Daniel Neider, Alexander Weinert, Martin Zimmermann |
| 2018 | CSL | Parity Games with Weights. | Sven Schewe, Alexander Weinert, Martin Zimmermann |
| 2018 | MFCS | Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. | Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann |
| 2018 | MFCS | Team Semantics for the Specification and Verification of Hyperproperties. | Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann |
| 2018 | QRS | Adaptive System for Autonomous Driving. | Franz Wotawa, Martin Zimmermann |
| 2017 | FOSSACS | Bounding Average-Energy Games. | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | LICS | Games with costs and delays. | Martin Zimmermann |
| 2017 | STACS | The First-Order Logic of Hyperproperties. | Bernd Finkbeiner, Martin Zimmermann |
| 2016 | CSL | Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. | Alexander Weinert, Martin Zimmermann |
| 2015 | CSL | What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. | Felix Klein, Martin Zimmermann |
| 2015 | CSR | Delay Games with WMSO+U Winning Conditions. | Martin Zimmermann |
| 2015 | ICALP | How Much Lookahead is Needed to Win Infinite Games? | Felix Klein, Martin Zimmermann |
| 2011 | CSL | Degrees of Lookahead in Context-free Infinite Games. | Wladimir Fridman, Christof Lding, Martin Zimmermann |
| 2010 | IC3K | A Systematic Approach Towards Collection, Processing & Distribution of Information about Competitor Activities & Customer Needs in Terms of Products & Services. | Suman Chakraborty, Martin Zimmermann |
| 2005 | DATE | Cantilever-Based Biosensors in CMOS Technology. | Kay-Uwe Kirstein, Yue Li, Martin Zimmermann, Cyril Vancura, Tormod Volden, Wan Ho Song, Jan Lichtenberg, Andreas Hierlemann |
| 2003 | ISCAS | A micro-hotplate-based monolithic CMOS gas sensor array. | Diego Barrettino, Markus Graf, Martin Zimmermann, Christoph Hagleitner, Andreas Hierlemann, Henry Baltes |
| 1991 | IROS | Man-machine interface for safe operation of mobile manipulators. | Martin Zimmermann |