| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Mendler, Thomas R. Shiple, Gérard Berry |
Constructive Boolean circuits and the exactness of timed ternary simulation.  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin Aguado, Michael Mendler |
Constructive semantics for instantaneous reactions. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Stephan Scheele |
Cut-free Gentzen calculus for multimodal CK. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin Aguado, Michael Mendler |
Computing with streams. |
DAMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Gerald Lüttgen |
Is observational congruence on µ-expressions axiomatisable in equational Horn logic? |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler |
An Algebra of Synchronous Scheduling Interfaces |
FIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Stephan Scheele |
Towards Constructive DL for Abstraction and Refinement. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Stephan Scheele |
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Mendler, Reinhard von Hanxleden, Claus Traulsen |
WCRT algebra and interfaces for esterel-style synchronous processing. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin Aguado, Michael Mendler |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Stephan Scheele |
Towards Constructive DL for Abstraction and Refinement. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Mendler, Gerald Lüttgen |
Is Observational Congruence Axiomatisable in Equational Horn Logic? |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin Aguado, Michael Mendler |
Constructive semantics for instantaneous reactions. |
GALOP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manfred Broy, Gerald Lüttgen, Michael Mendler |
Editorial. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin Aguado, Michael Mendler, Gerald Lüttgen |
A-maze-ing Esterel. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva, Rajeev Goré, Michael Mendler |
Forthcoming Papers. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva, Rajeev Goré, Michael Mendler |
Editorial. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Gerald Lüttgen, Michael Mendler |
Editorial: Where Theory and Practice Meet. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler |
Intensional Completeness in an Extension of Gödel/Dummett Logic. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Norton, Gerald Lüttgen, Michael Mendler |
A Compositional Semantic Theory for Synchronous Component-based Design. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael Mendler |
Towards a Model-Theory for Esterel. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael Mendler |
The intuitionism behind Statecharts steps. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics |
| 1 | Gerald Lüttgen, Michael Mendler |
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler, Eugenio Moggi |
Special issue: Modalities in type theory. |
Mathematical Structures in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler, Xiaochun Cheng |
Abstraction and Refinement in Higher Order Logic. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael Mendler |
Statecharts: From Visual Syntax to Model-Theoretic Semantics. |
GI Jahrestagung |
2001 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
Categorical and Kripke Semantics for Constructive S4 Modal Logic. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler |
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic. |
Logic Journal of the IGPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler |
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic. |
Formal Methods in System Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerald Lüttgen, Michael Mendler |
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler |
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem. |
TYPES |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lock, Michael Mendler, Matthias Mutz |
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler |
Propositional Lax Logic. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Gerald Lüttgen, Michael Mendler |
An Algebraic Theory of Multiple Clocks. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger |
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger |
MOSEL: A Sound and Efficient Tool for M2L(Str). |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler |
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Reif Andersen, Michael Mendler |
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Guo Wang, Michael Mendler |
Formal design of a class of computers. |
CHARME |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Guo Wang, Michael Mendler |
Abstraction of Hardware Construction. |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matt Fairtlough, Michael Mendler |
An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Reif Andersen, Michael Mendler |
An Asynchronous Algebra with Multiple Clocks. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Mendler, Terry Stroup |
Newtonian Arbiters Cannot be Proven Correct. |
Formal Methods in System Design |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, C. Barry Jay, Michael Mendler |
Compositional characterization of observable program properties. |
ITA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Michael Mendler, Terry Stroup |
Newtonian Arbiters Cannot be Proven Correct. |
Designing Correct Circuits |
1992 |
DBLP BibTeX RDF |
|
| 1 | Terry Stroup, Norbert Götz, Michael Mendler |
Stepwise Refinement of Layered Protocols by Formal Program Development. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")