Stepwise Refinement of Layered Protocols by Formal Program Development. - Terry Stroup; Norbert Götz; Michael Mendler (PSTV, 1989)

Compositional characterization of observable program properties. - Bernhard Steffen; C. Barry Jay; Michael Mendler (RAIRO Theor. Informatics Appl., 1992)

Newtonian Arbiters Cannot be Proven Correct. - Michael Mendler; Terry Stroup (Formal Methods Syst. Des., 1993)

A modal logic for handling behavioural constraints in formal hardware verification. - Michael V. Mendler (1993)

An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. - Matt Fairtlough; Michael Mendler (CSL, 1994)

An Asynchronous Algebra with Multiple Clocks. - Henrik Reif Andersen; Michael Mendler (ESOP, 1994)

Formal design of a class of computers. - Li-Guo Wang; Michael Mendler (CHARME, 1995)

Abstraction of Hardware Construction. - Li-Guo Wang; Michael Mendler (HOA, 1995)

Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. - Henrik Reif Andersen; Michael Mendler (TAPSOFT, 1995)

A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. - Michael Mendler (TABLEAUX, 1996)

MOSEL: A Sound and Efficient Tool for M2L(Str). - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (CAV, 1997)

An Algebraic Theory of Multiple Clocks. - Rance Cleaveland; Gerald Lüttgen; Michael Mendler (CONCUR, 1997)

MOSEL: A FLexible Toolset for Monadic Second-Order Logic. - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (TACAS, 1997)

Propositional Lax Logic. - Matt Fairtlough; Michael Mendler (Inf. Comput., 1997)

Combined Formal Post- and Presynthesis Verification in High Level Synthesis. - Thomas Lock; Michael Mendler; Matthias Mutz (FMCAD, 1998)

Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. - Thomas Lock; Michael Mendler (MBMV, 1998)

Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. - Thomas Lock; Michael Mendler (MBMV, 1999)

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. - Gerald Lüttgen; Michael Mendler (ICALP, 2000)

On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. - Matt Fairtlough; Michael Mendler (TYPES, 2000)

Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. - Michael Mendler (Formal Methods Syst. Des., 2000)

Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. - Michael Mendler (Log. J. IGPL, 2000)

Categorical and Kripke Semantics for Constructive S4 Modal Logic. - Natasha Alechina; Michael Mendler; Valeria de Paiva; Eike Ritter (CSL, 2001)

Statecharts: From Visual Syntax to Model-Theoretic Semantics. - Gerald Lüttgen; Michael Mendler (GI Jahrestagung (1), 2001)

Abstraction and Refinement in Higher Order Logic. - Matt Fairtlough; Michael Mendler; Xiaochun Cheng (TPHOLs, 2001)

Special issue: Modalities in type theory. - Matt Fairtlough; Michael Mendler; Eugenio Moggi (Math. Struct. Comput. Sci., 2001)

Axiomatizing an Algebra of Step Reactions for Synchronous Languages. - Gerald Lüttgen; Michael Mendler (CONCUR, 2002)

Towards a Model-Theory for Esterel. - Gerald Lüttgen; Michael Mendler (SLAP@ETAPS, 2002)

The intuitionism behind Statecharts steps. - Gerald Lüttgen; Michael Mendler (ACM Trans. Comput. Log., 2002)

A Compositional Semantic Theory for Synchronous Component-based Design. - Barry Norton; Gerald Lüttgen; Michael Mendler (CONCUR, 2003)

A-maze-ing Esterel. - Joaquín Aguado; Michael Mendler; Gerald Lüttgen (SLAP, 2003)

Editorial: Where Theory and Practice Meet. - Manfred Broy; Gerald Lüttgen; Michael Mendler (Formal Aspects Comput., 2003)

Intensional Completeness in an Extension of Gödel/Dummett Logic. - Matt Fairtlough; Michael Mendler (Stud Logica, 2003)

Preface. - Gerald Lüttgen; Natividad Martínez Madrid; Michael Mendler (SFEDL@ETAPS, 2004)

Editorial. - Manfred Broy; Gerald Lüttgen; Michael Mendler (Formal Aspects Comput., 2004)

Editorial. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

Forthcoming Papers. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

Is Observational Congruence Axiomatisable in Equational Horn Logic? - Michael Mendler; Gerald Lüttgen (CONCUR, 2007)

Preface. - Joaquín Aguado; Michael Mendler (SLA++P@ETAPS, 2007)

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. - Florence Maraninchi; Michael Mendler; Marc Pouzet; Alain Girault; Éric Rutten (EURASIP J. Embed. Syst., 2008)

WCRT algebra and interfaces for esterel-style synchronous processing. - Michael Mendler; Reinhard von Hanxleden; Claus Traulsen (DATE, 2009)

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. - Michael Mendler; Stephan Scheele (Description Logics, 2009)

What Is in a Step: New Perspectives on a Classical Question. - Willem-Paul de Roever; Gerald Lüttgen; Michael Mendler (Essays in Memory of Amir Pnueli, 2010)

Towards a Simply Typed CALculus for Semantic Knowledge Bases. - Michael Mendler; Stephan Scheele (LAM@LICS, 2010)

An Algebra of Synchronous Scheduling Interfaces - Michael Mendler (FIT, 2010)

Is observational congruence on µ-expressions axiomatisable in equational Horn logic? - Michael Mendler; Gerald Lüttgen (Inf. Comput., 2010)

Towards Constructive DL for Abstraction and Refinement. - Michael Mendler; Stephan Scheele (J. Autom. Reason., 2010)

Computing with streams. - Joaquín Aguado; Michael Mendler (DAMP, 2011)

Cut-free Gentzen calculus for multimodal CK. - Michael Mendler; Stephan Scheele (Inf. Comput., 2011)

Constructive semantics for instantaneous reactions. - Joaquín Aguado; Michael Mendler (Theor. Comput. Sci., 2011)

Constructive Boolean circuits and the exactness of timed ternary simulation. - Michael Mendler; Thomas R. Shiple; Gérard Berry (Formal Methods Syst. Des., 2012)

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien (DATE, 2013)

Grounding Synchronous Deterministic Concurrency in Sequential Programming. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (ESOP, 2014)

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. - Reinhard von Hanxleden; Björn Duderstadt; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Mercer; Owen O'Brien (PLDI, 2014)

On the Computational Interpretation of CKn for Contextual Information Processing. - Michael Mendler; Stephan Scheele (Fundam. Informaticae, 2014)

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2014)

Sequential Constructiveness, SCCharts for Safety-Critical Applications. - Reinhard von Hanxleden; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Loftus-Mercer; Owen O'Brien (Software Engineering & Management, 2015)

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (Acta Informatica, 2015)

A Novel WCET Semantics of Synchronous Programs. - Michael Mendler; Partha S. Roop; Bruno Bodin (FORMATS, 2016)

Compositional timing-aware semantics for synchronous programming. - Joaquín Aguado; Michael Mendler; Jia Jie Wang; Bruno Bodin; Partha S. Roop (FDL, 2017)

Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. - Avinash Malik; Partha S. Roop; Sidharta Andalam; Mark Trew; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2017)

Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. - Jiajie Wang; Michael Mendler; Partha S. Roop; Bruno Bodin (ACM Trans. Embed. Comput. Syst., 2017)

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. - Alexander Schulz-Rosengarten; Steven Smyth; Reinhard von Hanxleden; Michael Mendler (ACSD, 2018)

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. - Michael Mendler; Joaquín Aguado; Bruno Bodin; Partha S. Roop; Reinhard von Hanxleden (Models, Mindsets, Meta, 2018)

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. - Joaquín Aguado; Michael Mendler; Marc Pouzet; Partha S. Roop; Reinhard von Hanxleden (ESOP, 2018)

Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk). - Michael Mendler (DISC, 2018)

SCEst: Sequentially Constructive Esterel. - Steven Smyth; Christian Motika; Karsten Rathlev; Reinhard von Hanxleden; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2018)

Towards Object-Oriented Modeling in SCCharts. - Alexander Schulz-Rosengarten; Steven Smyth; Michael Mendler (FDL, 2019)

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. - Friedrich Gretz; Franz-Josef Grosch; Michael Mendler; Stephan Scheele (FDL, 2020)

The Došen Square Under Construction: A Tale of Four Modalities. - Michael Mendler; Stephan Scheele; Luke Burke (TABLEAUX, 2021)

Toward Object-oriented Modeling in SCCharts. - Alexander Schulz-Rosengarten; Steven Smyth; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2021)

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. - Jean-Louis Colaço; Michael Mendler; Baptiste Pauget; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2023)

Strong Priority and Determinacy in Timed CCS. - Luigi Liquori; Michael Mendler (CoRR, 2024)

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech. - Friedrich Gretz; Franz-Josef Grosch; Michael Mendler; Stephan Scheele (ACM Trans. Embed. Comput. Syst., 2024)

A Modal Logic Analysis of the MUTEX Variable Coverage Theorem. - Michael Mendler (The Combined Power of Research, Education, and Dissemination, 2025)

PSM: Policy Synchronised Deterministic Memory. - Michael Mendler; Marc Pouzet (CoRR, 2025)