Michael Mendler

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 15

Top Topics

Entity Relationship Modeling

Formal Semantics

Top Venues

ACM Trans. Embed. Comput. Syst.

Fundam. Informaticae

Publications

Luigi Liquori, Michael Mendler
Strong Priority and Determinacy in Timed CCS. CoRR (2024)
Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
Toward Object-oriented Modeling in SCCharts. ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Michael Mendler, Stephan Scheele, Luke Burke
The Došen Square Under Construction: A Tale of Four Modalities. TABLEAUX (2021)
Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL (2020)
Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler
Towards Object-Oriented Modeling in SCCharts. FDL (2019)
Michael Mendler
Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk). DISC (2018)
Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler
On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel. ACSD (2018)
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP (2018)
Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta (2018)
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Mark Trew, Michael Mendler
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Jiajie Wang, Michael Mendler, Partha S. Roop, Bruno Bodin
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Joaquín Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop
Compositional timing-aware semantics for synchronous programming. FDL (2017)
Michael Mendler, Partha S. Roop, Bruno Bodin
A Novel WCET Semantics of Synchronous Programs. FORMATS (2016)
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management (2015)
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially constructive esterel. MEMOCODE (2015)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica 52 (4-5) (2015)
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. PLDI (2014)
Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP (2014)
Michael Mendler, Stephan Scheele
for Contextual Information Processing. Fundam. Informaticae 130 (1) (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. DATE (2013)
Michael Mendler, Thomas R. Shiple, Gérard Berry
Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods Syst. Des. 40 (3) (2012)
Joaquín Aguado, Michael Mendler
Computing with streams. DAMP (2011)
Joaquín Aguado, Michael Mendler
Constructive semantics for instantaneous reactions. Theor. Comput. Sci. 412 (11) (2011)
Michael Mendler, Stephan Scheele
Cut-free Gentzen calculus for multimodal CK. Inf. Comput. 209 (12) (2011)
Michael Mendler
An Algebra of Synchronous Scheduling Interfaces FIT (2010)
Michael Mendler, Stephan Scheele
Towards Constructive DL for Abstraction and Refinement. J. Autom. Reason. 44 (3) (2010)
Michael Mendler, Gerald Lüttgen
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208 (6) (2010)
Michael Mendler, Stephan Scheele
Towards a Simply Typed CALculus for Semantic Knowledge Bases. LAM@LICS (2010)
Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
What Is in a Step: New Perspectives on a Classical Question. Essays in Memory of Amir Pnueli (2010)
Michael Mendler, Reinhard von Hanxleden, Claus Traulsen
WCRT algebra and interfaces for esterel-style synchronous processing. DATE (2009)
Michael Mendler, Stephan Scheele
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics (2009)
Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. EURASIP J. Embed. Syst. 2008 (2008)
Michael Mendler, Stephan Scheele
Towards Constructive DL for Abstraction and Refinement. Description Logics (2008)
Joaquín Aguado, Michael Mendler
Preface. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Michael Mendler, Gerald Lüttgen
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR (2007)
Joaquín Aguado, Michael Mendler
Constructive semantics for instantaneous reactions. GALOP@ETAPS (2005)
Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
Preface. Electron. Notes Theor. Comput. Sci. 115 (2005)
Valeria de Paiva, Rajeev Goré, Michael Mendler
Editorial. J. Log. Comput. 14 (4) (2004)
Valeria de Paiva, Rajeev Goré, Michael Mendler
Forthcoming Papers. J. Log. Comput. 14 (4) (2004)
Joaquín Aguado, Michael Mendler, Gerald Lüttgen
A-maze-ing Esterel. Electron. Notes Theor. Comput. Sci. 88 (2004)
Manfred Broy, Gerald Lüttgen, Michael Mendler
Editorial. Formal Aspects Comput. 16 (3) (2004)
Manfred Broy, Gerald Lüttgen, Michael Mendler
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15 (4) (2003)
Barry Norton, Gerald Lüttgen, Michael Mendler
A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR (2003)
Matt Fairtlough, Michael Mendler
Intensional Completeness in an Extension of Gödel/Dummett Logic. Stud Logica 73 (1) (2003)
Gerald Lüttgen, Michael Mendler
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR (2002)
Gerald Lüttgen, Michael Mendler
The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3 (1) (2002)
Gerald Lüttgen, Michael Mendler
Towards a Model-Theory for Esterel. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Matt Fairtlough, Michael Mendler, Xiaochun Cheng
Abstraction and Refinement in Higher Order Logic. TPHOLs (2001)
Gerald Lüttgen, Michael Mendler
Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) (2001)
Matt Fairtlough, Michael Mendler, Eugenio Moggi
Special issue: Modalities in type theory. Math. Struct. Comput. Sci. 11 (4) (2001)
Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL (2001)
Gerald Lüttgen, Michael Mendler
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP (2000)
Matt Fairtlough, Michael Mendler
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. TYPES (2000)
Michael Mendler
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. Formal Methods Syst. Des. 17 (1) (2000)
Michael Mendler
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. Log. J. IGPL 8 (6) (2000)
Thomas Lock, Michael Mendler
Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. MBMV (1999)
Thomas Lock, Michael Mendler
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. MBMV (1998)
Thomas Lock, Michael Mendler, Matthias Mutz
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. FMCAD (1998)
Rance Cleaveland, Gerald Lüttgen, Michael Mendler
An Algebraic Theory of Multiple Clocks. CONCUR (1997)
Matt Fairtlough, Michael Mendler
Propositional Lax Logic. Inf. Comput. 137 (1) (1997)
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS (1997)
Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
MOSEL: A Sound and Efficient Tool for M2L(Str). CAV (1997)
Michael Mendler
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. TABLEAUX (1996)
Li-Guo Wang, Michael Mendler
Formal design of a class of computers. CHARME (1995)
Li-Guo Wang, Michael Mendler
Abstraction of Hardware Construction. HOA (1995)
Henrik Reif Andersen, Michael Mendler
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT (1995)
Henrik Reif Andersen, Michael Mendler
An Asynchronous Algebra with Multiple Clocks. ESOP (1994)
Matt Fairtlough, Michael Mendler
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. CSL (1994)
Michael Mendler, Terry Stroup
Newtonian Arbiters Cannot be Proven Correct. Formal Methods Syst. Des. 3 (3) (1993)
Bernhard Steffen, C. Barry Jay, Michael Mendler
Compositional characterization of observable program properties. RAIRO Theor. Informatics Appl. 26 (1992)
Michael Mendler, Terry Stroup
Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits (1992)
Terry Stroup, Norbert Götz, Michael Mendler
Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV (1989)