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 |