Michael Mendler

ACM Trans. Embed. Comput. Syst., 2014

On the Computational Interpretation of CK<sub>n</sub> for Contextual Information Processing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.

[BibT_eX]

[DOI]

Insa Fuhrmann

Proceedings of the Programming Languages and Systems, 2014

2013

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Constructive Boolean circuits and the exactness of timed ternary simulation.

[BibT_eX]

[DOI]

Thomas R. Shiple

Gérard Berry

Formal Methods Syst. Des., 2012

2011

Constructive semantics for instantaneous reactions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Cut-free Gentzen calculus for multimodal CK.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Computing with streams.

[BibT_eX]

[DOI]

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2010

Towards Constructive DL for Abstraction and Refinement.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Is observational congruence on µ-expressions axiomatisable in equational Horn logic?

[BibT_eX]

[DOI]

Inf. Comput., 2010

An Algebra of Synchronous Scheduling Interfaces

[BibT_eX]

[DOI]

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

Towards a Simply Typed CALculus for Semantic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

What Is in a Step: New Perspectives on a Classical Question.

[BibT_eX]

[DOI]

Willem-Paul de Roever

Proceedings of the Time for Verification, 2010

2009

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

WCRT algebra and interfaces for esterel-style synchronous processing.

[BibT_eX]

[DOI]

Claus Traulsen

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.

[BibT_eX]

[DOI]

EURASIP J. Embed. Syst., 2008

2007

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Is Observational Congruence Axiomatisable in Equational Horn Logic?

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2004

Forthcoming Papers.

[BibT_eX]

[DOI]

Valeria de Paiva

Rajeev Goré

J. Log. Comput., 2004

Editorial.

[BibT_eX]

[DOI]

Valeria de Paiva

Rajeev Goré

J. Log. Comput., 2004

Editorial.

[BibT_eX]

[DOI]

Manfred Broy

Formal Aspects Comput., 2004

Preface.

[BibT_eX]

[DOI]

Natividad Martínez Madrid

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

2003

Intensional Completeness in an Extension of Gödel/Dummett Logic.

[BibT_eX]

[DOI]

Stud Logica, 2003

Editorial: Where Theory and Practice Meet.

[BibT_eX]

[DOI]

Manfred Broy

Formal Aspects Comput., 2003

A-maze-ing Esterel.

[BibT_eX]

[DOI]

Proceedings of the Synchronous Languages, Applications and Programming, 2003

A Compositional Semantic Theory for Synchronous Component-based Design.

[BibT_eX]

[DOI]

Barry Norton

Proceedings of the CONCUR 2003, 2003

2002

The intuitionism behind Statecharts steps.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2002

Towards a Model-Theory for Esterel.

[BibT_eX]

[DOI]

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

Axiomatizing an Algebra of Step Reactions for Synchronous Languages.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2002, 2002

2001

Special issue: Modalities in type theory.

[BibT_eX]

[DOI]

Eugenio Moggi

Math. Struct. Comput. Sci., 2001

Abstraction and Refinement in Higher Order Logic.

[BibT_eX]

[DOI]

Xiaochun Cheng

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Statecharts: From Visual Syntax to Model-Theoretic Semantics.

[BibT_eX]

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

Categorical and Kripke Semantics for Constructive S4 Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Characterising Combinational Timing Analyses in Intuitionistic Modal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2000

On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

1999

Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren.

[BibT_eX]

Thomas Lock

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

1998

Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren.

[BibT_eX]

Thomas Lock

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Combined Formal Post- and Presynthesis Verification in High Level Synthesis.

[BibT_eX]

[DOI]

Thomas Lock