Michael Mendler

80 papers A* 3A 7B 9C 4Misc 1Journal 29Unranked 25

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