| 2021 | TABLEAUX | The Došen Square Under Construction: A Tale of Four Modalities. | Michael Mendler, Stephan Scheele, Luke Burke |
| 2020 | FDL | Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. | Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele |
| 2019 | FDL | Towards Object-Oriented Modeling in SCCharts. | Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler |
| 2018 | ESOP | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2017 | FDL | Compositional timing-aware semantics for synchronous programming. | Joaqun Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop |
| 2015 | MEMOCODE | SCEst: Sequentially constructive esterel. | Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler |
| 2014 | ESOP | Grounding Synchronous Deterministic Concurrency in Sequential Programming. | Joaqun Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann |
| 2014 | PLDI | SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. | Reinhard von Hanxleden, Bjrn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqun Aguado, Stephen Mercer, Owen O'Brien |
| 2013 | DATE | Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. | Reinhard von Hanxleden, Michael Mendler, Joaqun Aguado, Bjrn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien |
| 2011 | POPL | Computing with streams. | Joaqun Aguado, Michael Mendler |
| 2010 | LICS | Towards a Simply Typed CALculus for Semantic Knowledge Bases. | Michael Mendler, Stephan Scheele |
| 2009 | DATE | WCRT algebra and interfaces for esterel-style synchronous processing. | Michael Mendler, Reinhard von Hanxleden, Claus Traulsen |
| 2007 | CONCUR | Is Observational Congruence Axiomatisable in Equational Horn Logic? | Michael Mendler, Gerald Lttgen |
| 2003 | CONCUR | A Compositional Semantic Theory for Synchronous Component-based Design. | Barry Norton, Gerald Lttgen, Michael Mendler |
| 2002 | CONCUR | Axiomatizing an Algebra of Step Reactions for Synchronous Languages. | Gerald Lttgen, Michael Mendler |
| 2001 | CSL | Categorical and Kripke Semantics for Constructive S4 Modal Logic. | Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
| 2001 | GI | Statecharts: From Visual Syntax to Model-Theoretic Semantics. | Gerald Lttgen, Michael Mendler |
| 2000 | ICALP | Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. | Gerald Lttgen, Michael Mendler |
| 1998 | FMCAD | Combined Formal Post- and Presynthesis Verification in High Level Synthesis. | Thomas Lock, Michael Mendler, Matthias Mutz |
| 1997 | CAV | MOSEL: A Sound and Efficient Tool for M2L(Str). | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger |
| 1997 | CONCUR | An Algebraic Theory of Multiple Clocks. | Rance Cleaveland, Gerald Lttgen, Michael Mendler |
| 1997 | TACAS | MOSEL: A FLexible Toolset for Monadic Second-Order Logic. | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger |
| 1996 | TABLEAUX | A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. | Michael Mendler |
| 1994 | CSL | An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. | Matt Fairtlough, Michael Mendler |
| 1994 | ESOP | An Asynchronous Algebra with Multiple Clocks. | Henrik Reif Andersen, Michael Mendler |