default search action
Michael Mendler
Person information
- affiliation: University of Bamberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]Friedrich Gretz
, Franz-Josef Grosch
Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech. ACM Trans. Embed. Comput. Syst. 23(5): 76:1-76:45 (2024) - [i1]Luigi Liquori, Michael Mendler:
Strong Priority and Determinacy in Timed CCS. CoRR abs/2403.04618 (2024) - 2023
- [j26]Jean-Louis Colaço
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. ACM Trans. Embed. Comput. Syst. 22(5s): 152:1-152:26 (2023) - 2021
- [j25]Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:
Toward Object-oriented Modeling in SCCharts. ACM Trans. Embed. Comput. Syst. 20(4): 37:1-37:26 (2021) - [c48]Michael Mendler, Stephan Scheele, Luke Burke:
The Došen Square Under Construction: A Tale of Four Modalities. TABLEAUX 2021: 446-465 - 2020
- [c47]Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele:
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL 2020: 1-8
2010 – 2019
- 2019
- [c46]Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler:
Towards Object-Oriented Modeling in SCCharts. FDL 2019: 1-8 - 2018
- [j24]Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17(2): 33:1-33:26 (2018) - [c45]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: 95-104 - [c44]Michael Mendler, Joaquín Aguado, Bruno Bodin
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta 2018: 45-67 - [c43]Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden:
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP 2018: 86-113 - [c42]Michael Mendler:
Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk). DISC 2018: 3:1-3:1 - 2017
- [j23]Avinash Malik
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. ACM Trans. Embed. Comput. Syst. 16(5s): 118:1-118:21 (2017) - [j22]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): 177:1-177:19 (2017) - [c41]Joaquín Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin
Compositional timing-aware semantics for synchronous programming. FDL 2017: 1-8 - 2016
- [c40]Michael Mendler, Partha S. Roop, Bruno Bodin
A Novel WCET Semantics of Synchronous Programs. FORMATS 2016: 195-210 - 2015
- [j21]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): 393-442 (2015) - [c39]Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler:
SCEst: Sequentially constructive esterel. MEMOCODE 2015: 10-19 - [c38]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: 116-117 - 2014
- [j20]Michael Mendler, Stephan Scheele:
On the Computational Interpretation of CKn for Contextual Information Processing. Fundam. Informaticae 130(1): 125-162 (2014) - [j19]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): 144:1-144:26 (2014) - [c37]Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann:
Grounding Synchronous Deterministic Concurrency in Sequential Programming. ESOP 2014: 229-248 - [c36]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: 372-383 - 2013
- [c35]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: 581-586 - 2012
- [j18]Michael Mendler, Thomas R. Shiple, Gérard Berry:
Constructive Boolean circuits and the exactness of timed ternary simulation. Formal Methods Syst. Des. 40(3): 283-329 (2012) - 2011
- [j17]Michael Mendler, Stephan Scheele:
Cut-free Gentzen calculus for multimodal CK. Inf. Comput. 209(12): 1465-1490 (2011) - [j16]Joaquín Aguado, Michael Mendler:
Constructive semantics for instantaneous reactions. Theor. Comput. Sci. 412(11): 931-961 (2011) - [c34]Joaquín Aguado, Michael Mendler:
Computing with streams. DAMP 2011: 35-44 - 2010
- [j15]Michael Mendler, Gerald Lüttgen:
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Inf. Comput. 208(6): 634-651 (2010) - [j14]Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. J. Autom. Reason. 44(3): 207-243 (2010) - [c33]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: 370-399 - [c32]Michael Mendler, Stephan Scheele:
Towards a Simply Typed CALculus for Semantic Knowledge Bases. LAM@LICS 2010: 52-67 - [c31]Michael Mendler:
An Algebra of Synchronous Scheduling Interfaces. FIT 2010: 28-48
2000 – 2009
- 2009
- [c30]Michael Mendler, Reinhard von Hanxleden, Claus Traulsen:
WCRT algebra and interfaces for esterel-style synchronous processing. DATE 2009: 93-98 - [c29]Michael Mendler, Stephan Scheele:
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics 2009 - 2008
- [j13]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) - [c28]Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. Description Logics 2008 - [e2]Joaquín Aguado, Michael Mendler:
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(4), Elsevier 2008 [contents] - 2007
- [c27]Michael Mendler, Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211 - [c26]Joaquín Aguado, Michael Mendler:
Preface. SLA++P@ETAPS 2007: 1-2 - 2005
- [c25]Joaquín Aguado, Michael Mendler:
Constructive semantics for instantaneous reactions. GALOP@ETAPS 2005: 16-31 - [e1]Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 115, Elsevier 2005 [contents] - 2004
- [j12]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial. Formal Aspects Comput. 16(3): 165- (2004) - [j11]Valeria de Paiva
Editorial. J. Log. Comput. 14(4): 439-446 (2004) - [j10]Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004) - [c24]Gerald Lüttgen, Natividad Martínez Madrid
Preface. SFEDL@ETAPS 2004: 1-2 - 2003
- [j9]Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. Formal Aspects Comput. 15(4): 297-298 (2003) - [j8]Matt Fairtlough, Michael Mendler:
Intensional Completeness in an Extension of Gödel/Dummett Logic. Stud Logica 73(1): 51-80 (2003) - [c23]Barry Norton, Gerald Lüttgen, Michael Mendler:
A Compositional Semantic Theory for Synchronous Component-based Design. CONCUR 2003: 453-467 - [c22]Joaquín Aguado, Michael Mendler, Gerald Lüttgen:
A-maze-ing Esterel. SLAP 2003: 21-37 - 2002
- [j7]Gerald Lüttgen, Michael Mendler:
The intuitionism behind Statecharts steps. ACM Trans. Comput. Log. 3(1): 1-41 (2002) - [c21]Gerald Lüttgen, Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. CONCUR 2002: 386-401 - [c20]Gerald Lüttgen, Michael Mendler:
Towards a Model-Theory for Esterel. SLAP@ETAPS 2002: 95-109 - 2001
- [j6]Matt Fairtlough, Michael Mendler, Eugenio Moggi
Special issue: Modalities in type theory. Math. Struct. Comput. Sci. 11(4): 507-509 (2001) - [c19]Natasha Alechina, Michael Mendler, Valeria de Paiva
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307 - [c18]Gerald Lüttgen, Michael Mendler:
Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1) 2001: 615-621 - [c17]Matt Fairtlough, Michael Mendler, Xiaochun Cheng
Abstraction and Refinement in Higher Order Logic. TPHOLs 2001: 201-216 - 2000
- [j5]Michael Mendler:
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. Formal Methods Syst. Des. 17(1): 5-37 (2000) - [j4]Michael Mendler:
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. Log. J. IGPL 8(6): 821-852 (2000) - [c16]Gerald Lüttgen, Michael Mendler:
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. ICALP 2000: 163-174 - [c15]Matt Fairtlough, Michael Mendler:
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. TYPES 2000: 63-78
1990 – 1999
- 1999
- [c14]Thomas Lock, Michael Mendler:
Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. MBMV 1999: 51-60 - 1998
- [c13]Thomas Lock, Michael Mendler, Matthias Mutz:
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. FMCAD 1998: 222-236 - [c12]Thomas Lock, Michael Mendler:
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. MBMV 1998: 75-84 - 1997
- [j3]Matt Fairtlough, Michael Mendler:
Propositional Lax Logic. Inf. Comput. 137(1): 1-33 (1997) - [c11]Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451 - [c10]Rance Cleaveland, Gerald Lüttgen, Michael Mendler:
An Algebraic Theory of Multiple Clocks. CONCUR 1997: 166-180 - [c9]Peter Kelb, Tiziana Margaria
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202 - 1996
- [c8]Michael Mendler:
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. TABLEAUX 1996: 261-277 - 1995
- [c7]Li-Guo Wang, Michael Mendler:
Formal design of a class of computers. CHARME 1995: 84-102 - [c6]Li-Guo Wang, Michael Mendler:
Abstraction of Hardware Construction. HOA 1995: 264-287 - [c5]Henrik Reif Andersen, Michael Mendler:
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT 1995: 620-635 - 1994
- [c4]Matt Fairtlough, Michael Mendler:
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. CSL 1994: 354-368 - [c3]Henrik Reif Andersen, Michael Mendler:
An Asynchronous Algebra with Multiple Clocks. ESOP 1994: 58-73 - 1993
- [b1]Michael V. Mendler:
A modal logic for handling behavioural constraints in formal hardware verification. University of Edinburgh, UK, 1993, pp. 1-236 - [j2]Michael Mendler, Terry Stroup:
Newtonian Arbiters Cannot be Proven Correct. Formal Methods Syst. Des. 3(3): 233-257 (1993) - 1992
- [j1]Bernhard Steffen, C. Barry Jay, Michael Mendler:
Compositional characterization of observable program properties. RAIRO Theor. Informatics Appl. 26: 403-424 (1992) - [c2]Michael Mendler, Terry Stroup:
Newtonian Arbiters Cannot be Proven Correct. Designing Correct Circuits 1992: 47-66
1980 – 1989
- 1989
- [c1]Terry Stroup, Norbert Götz, Michael Mendler:
Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV 1989: 71-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: