| Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech | 1 | 0.42 | 2020 |
| Toward Object-oriented Modeling in SCCharts | 0 | 0.34 | 2019 |
| Logic Meets Algebra - Compositional Timing Analysis for Synchronous Reactive Multithreading. | 0 | 0.34 | 2018 |
| Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk). | 0 | 0.34 | 2018 |
| SCEst: Sequentially Constructive Esterel. | 2 | 0.38 | 2018 |
| On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel | 0 | 0.34 | 2018 |
| Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | 0 | 0.34 | 2018 |
| Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | 0 | 0.34 | 2018 |
| Compositional timing-aware semantics for synchronous programming | 1 | 0.37 | 2017 |
| Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. | 2 | 0.39 | 2017 |
| Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. | 2 | 0.38 | 2017 |
| Sequential Constructiveness, SCCharts for Safety-Critical Applications. | 0 | 0.34 | 2015 |
| SCEst: Sequentially constructive esterel | 2 | 0.40 | 2015 |
| Denotational fixed-point semantics for constructive scheduling of synchronous concurrency | 3 | 0.41 | 2015 |
| SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts | 10 | 0.54 | 2014 |
| On the Computational Interpretation of CKn for Contextual Information Processing | 0 | 0.34 | 2014 |
| Grounding Synchronous Deterministic Concurrency in Sequential Programming. | 7 | 0.46 | 2014 |
| Constructive Boolean circuits and the exactness of timed ternary simulation | 13 | 0.72 | 2012 |
| Cut-free Gentzen calculus for multimodal CK | 4 | 0.46 | 2011 |
| Computing with streams | 0 | 0.34 | 2011 |
| Towards a Simply Typed CALculus for Semantic Knowledge Bases. | 0 | 0.34 | 2010 |
| What is in a step: new perspectives on a classical question | 2 | 0.36 | 2010 |
| An Algebra of Synchronous Scheduling Interfaces | 0 | 0.34 | 2010 |
| Is observational congruence on µ-expressions axiomatisable in equational Horn logic? | 1 | 0.34 | 2010 |
| Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics | 2 | 0.47 | 2009 |
| WCRT algebra and interfaces for Esterel-style synchronous processing | 12 | 0.73 | 2009 |
| Towards Constructive DL for Abstraction and Refinement | 10 | 0.65 | 2008 |
| Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems | 0 | 0.34 | 2008 |
| Is observational congruence axiomatisable in equational horn logic? | 1 | 0.34 | 2007 |
| Constructive semantics for instantaneous reactions | 4 | 0.39 | 2005 |
| A--maze--ing Esterel | 3 | 0.37 | 2004 |
| Editorial: Where Theory and Practice Meet | 0 | 0.34 | 2003 |
| Intensional Completeness in an Extension of Gödel/Dummett Logic | 0 | 0.34 | 2003 |
| Towards a Model Theory for Esterel | 7 | 0.49 | 2002 |
| Axiomatizing an Algebra of Step Reactions for Synchronous Languages | 3 | 0.40 | 2002 |
| The intuitionism behind Statecharts steps | 10 | 0.70 | 2002 |
| Special issue: Modalities in type theory | 1 | 0.34 | 2001 |
| Abstraction and Refinement in Higher Order Logic | 3 | 0.44 | 2001 |
| Statecharts: From Visual Syntax to Model-Theoretic Semantics | 8 | 0.87 | 2001 |
| Categorical and Kripke Semantics for Constructive S4 Modal Logic | 37 | 1.67 | 2001 |
| Characterising Combinational Timing Analyses in Intuitionistic Modal Logic | 7 | 0.67 | 2000 |
| Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic | 5 | 0.69 | 2000 |
| On the Logical Content of Computational Type Theory: A Solution to Curry's Problem | 3 | 0.39 | 2000 |
| Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models | 4 | 0.55 | 2000 |
| Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. | 0 | 0.34 | 1999 |
| Combined Formal Post- and Presynthesis Verification in High Level Synthesis | 1 | 0.40 | 1998 |
| Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. | 0 | 0.34 | 1998 |
| MOSEL: A FLexible Toolset for Monadic Second-Order Logic | 32 | 2.04 | 1997 |
| An Algebraic Theory of Multiple Clocks | 12 | 0.57 | 1997 |
| Propositional lax logic | 49 | 3.19 | 1997 |
