| 2008 |
|---|
| 38 | EE | Michael Mendler,
Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement.
Description Logics 2008 |
| 37 | EE | Joaquin Aguado,
Michael Mendler:
Preface.
Electr. Notes Theor. Comput. Sci. 203(4): 1-2 (2008) |
| 2007 |
|---|
| 36 | EE | Michael Mendler,
Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic?
CONCUR 2007: 197-211 |
| 2005 |
|---|
| 35 | | Joaquin Aguado,
Michael Mendler:
Constructive semantics for instantaneous reactions.
GALOP 2005: 16-31 |
| 34 | EE | Gerald Lüttgen,
Natividad Martínez Madrid,
Michael Mendler:
Preface.
Electr. Notes Theor. Comput. Sci. 115: 1-2 (2005) |
| 2004 |
|---|
| 33 | EE | Joaquin Aguado,
Michael Mendler,
Gerald Lüttgen:
A-maze-ing Esterel.
Electr. Notes Theor. Comput. Sci. 88: 21-37 (2004) |
| 32 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial.
Formal Asp. Comput. 16(3): 165- (2004) |
| 31 | EE | Valeria de Paiva,
Rajeev Goré,
Michael Mendler:
Editorial.
J. Log. Comput. 14(4): 439-446 (2004) |
| 30 | EE | Valeria de Paiva,
Rajeev Goré,
Michael Mendler:
Forthcoming Papers.
J. Log. Comput. 14(4): 621-622 (2004) |
| 2003 |
|---|
| 29 | EE | Barry Norton,
Gerald Lüttgen,
Michael Mendler:
A Compositional Semantic Theory for Synchronous Component-based Design.
CONCUR 2003: 453-467 |
| 28 | EE | Manfred Broy,
Gerald Lüttgen,
Michael Mendler:
Editorial: Where Theory and Practice Meet.
Formal Asp. Comput. 15(4): 297-298 (2003) |
| 27 | | Matt Fairtlough,
Michael Mendler:
Intensional Completeness in an Extension of Gödel/Dummett Logic.
Studia Logica 73(1): 51-80 (2003) |
| 2002 |
|---|
| 26 | EE | Gerald Lüttgen,
Michael Mendler:
Axiomatizing an Algebra of Step Reactions for Synchronous Languages.
CONCUR 2002: 386-401 |
| 25 | EE | Gerald Lüttgen,
Michael Mendler:
The intuitionism behind Statecharts steps.
ACM Trans. Comput. Log. 3(1): 1-41 (2002) |
| 24 | EE | Gerald Lüttgen,
Michael Mendler:
Towards a Model-Theory for Esterel.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 2001 |
|---|
| 23 | EE | Natasha Alechina,
Michael Mendler,
Valeria de Paiva,
Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic.
CSL 2001: 292-307 |
| 22 | | Gerald Lüttgen,
Michael Mendler:
Statecharts: From Visual Syntax to Model-Theoretic Semantics.
GI Jahrestagung (1) 2001: 615-621 |
| 21 | EE | Matt Fairtlough,
Michael Mendler,
Xiaochun Cheng:
Abstraction and Refinement in Higher Order Logic.
TPHOLs 2001: 201-216 |
| 20 | | Matt Fairtlough,
Michael Mendler,
Eugenio Moggi:
Special issue: Modalities in type theory.
Mathematical Structures in Computer Science 11(4): 507-509 (2001) |
| 2000 |
|---|
| 19 | EE | Gerald Lüttgen,
Michael Mendler:
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.
ICALP 2000: 163-174 |
| 18 | EE | Matt Fairtlough,
Michael Mendler:
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.
TYPES 2000: 63-78 |
| 17 | | Michael Mendler:
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.
Formal Methods in System Design 17(1): 5-37 (2000) |
| 16 | EE | Michael Mendler:
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic.
Logic Journal of the IGPL 8(6): (2000) |
| 1998 |
|---|
| 15 | EE | Thomas Lock,
Michael Mendler,
Matthias Mutz:
Combined Formal Post- and Presynthesis Verification in High Level Synthesis.
FMCAD 1998: 222-236 |
| 1997 |
|---|
| 14 | | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str).
CAV 1997: 448-451 |
| 13 | | Rance Cleaveland,
Gerald Lüttgen,
Michael Mendler:
An Algebraic Theory of Multiple Clocks.
CONCUR 1997: 166-180 |
| 12 | | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
TACAS 1997: 183-202 |
| 11 | | Matt Fairtlough,
Michael Mendler:
Propositional Lax Logic.
Inf. Comput. 137(1): 1-33 (1997) |
| 1996 |
|---|
| 10 | | Michael Mendler:
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits.
TABLEAUX 1996: 261-277 |
| 1995 |
|---|
| 9 | | Li-Guo Wang,
Michael Mendler:
Formal design of a class of computers.
CHARME 1995: 84-102 |
| 8 | | Li-Guo Wang,
Michael Mendler:
Abstraction of Hardware Construction.
HOA 1995: 264-287 |
| 7 | | Henrik Reif Andersen,
Michael Mendler:
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study.
TAPSOFT 1995: 620-635 |
| 1994 |
|---|
| 6 | | Matt Fairtlough,
Michael Mendler:
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware.
CSL 1994: 354-368 |
| 5 | | Henrik Reif Andersen,
Michael Mendler:
An Asynchronous Algebra with Multiple Clocks.
ESOP 1994: 58-73 |
| 1993 |
|---|
| 4 | | Michael Mendler,
Terry Stroup:
Newtonian Arbiters Cannot be Proven Correct.
Formal Methods in System Design 3(3): 233-257 (1993) |
| 1992 |
|---|
| 3 | | Michael Mendler,
Terry Stroup:
Newtonian Arbiters Cannot be Proven Correct.
Designing Correct Circuits 1992: 47-66 |
| 2 | | Bernhard Steffen,
C. Barry Jay,
Michael Mendler:
Compositional characterization of observable program properties.
ITA 26: 403-424 (1992) |
| 1989 |
|---|
| 1 | | Terry Stroup,
Norbert Götz,
Michael Mendler:
Stepwise Refinement of Layered Protocols by Formal Program Development.
PSTV 1989: 71-85 |
