M
Michael Mendler
Researcher at University of Bamberg
Publications - 77
Citations - 1099
Michael Mendler is an academic researcher from University of Bamberg. The author has contributed to research in topics: Constructive & Esterel. The author has an hindex of 18, co-authored 75 publications receiving 1025 citations. Previous affiliations of Michael Mendler include University of Passau & University of Sheffield.
Papers
More filters
Journal ArticleDOI
Propositional Lax Logic
Matt Fairtlough,Michael Mendler +1 more
TL;DR: This paper investigates a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal verification of computer hardware, and investigates some of its proof-theoretic properties and defines a new class of fallible two-frame Kripke models for PLL.
Book ChapterDOI
Categorical and Kripke Semantics for Constructive S4 Modal Logic
TL;DR: Duality results are proved which show how to relate Kripke models to algebraic models and these in turn to the appropriate categorical models for these logics.
Journal ArticleDOI
The intuitionism behind Statecharts steps
Gerald Lüttgen,Michael Mendler +1 more
TL;DR: This article first analyzes the compositionality problem and traces it back to the invalidity of the Law of the Excluded Middle, which yields a simple fully abstract semantics that interprets Pnueli and Shalev's concept of failure naturally.
Book ChapterDOI
MOSEL: A FLexible Toolset for Monadic Second-Order Logic
TL;DR: Mosel is a tool-set to include a flexible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools.
Proceedings ArticleDOI
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,Joaquin Aguado,Stephen R. Mercer,Owen O'Brien +7 more
TL;DR: A new visual language, SCCharts, designed for specifying safety-critical reactive systems, uses a statechart notation and provides determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs.