Causality analysis of synchronous programs with delayed actions. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle (CASES, 2004)

A Verified Compiler for Synchronous Programs with Local Declarations. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle (SLAP@ETAPS, 2004)

Maximal Causality Analysis. - Klaus Schneider 001; Jens Brandt 001; Tobias Schüle; Thomas Tuerk (ACSD, 2005)

Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems. - Jens Brandt 001; Klaus Schneider 001 (EUC, 2005)

Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. - Jens Brandt 001; Klaus Schneider 001 (ICFEM, 2005)

System Description Aspects as Syntactic Sugar. - Jens Brandt 001; Klaus Schneider 001 (FDL, 2006)

Modular Compilation of Synchronous Programs. - Klaus Schneider 001; Jens Brandt 001; Eric Vecchié (DIPES, 2006)

Efficient code generation from synchronous programs. - Klaus Schneider 001; Jens Brandt 001; Eric Vecchié (MEMOCODE, 2006)

Efficient Map Overlay for Safety-Critical Embedded Systems. - Jens Brandt 001; Klaus Schneider 001 (IES, 2006)

How Different are Esterel and SystemC?. - Jens Brandt 001; Klaus Schneider 001 (FDL, 2007)

A layered approach to polygon processing for safety-critical embedded systems. - Jens Brandt 001 (2007)

Performing causality analysis by bounded model checking. - Klaus Schneider 001; Jens Brandt 001 (ACSD, 2008)

Hardware Acceleration for Model Checking. - Jens Brandt 001; Klaus Schneider 001; Adrian Willenbücher (MBMV, 2008)

Formal Reasoning About Causality Analysis. - Jens Brandt 001; Klaus Schneider 001 (TPHOLs, 2008)

Desynchronizing Synchronous Programs by Modes. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001 (ACSD, 2009)

Using IP Cores in Synchronous Languages. - Jens Brandt 001; Klaus Schneider 001; Adrian Willenbücher (MBMV, 2009)

Static data-flow analysis of synchronous programs. - Jens Brandt 001; Klaus Schneider 001 (MEMOCODE, 2009)

Separate compilation for synchronous programs. - Jens Brandt 001; Klaus Schneider 001 (SCOPES, 2009)

The Model Checking View to Clock Gating and Operand Isolation. - Jens Brandt 001; Klaus Schneider 001; Sumit Ahuja; Sandeep K. Shukla (ACSD, 2010)

A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. - Mike Gemunde; Jens Brandt 001; Klaus Schneider 001 (ACSD, 2010)

Multithreaded code from synchronous programs: Extracting independent threads for OpenMP. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (DATE, 2010)

Dependency-Driven Distribution of Synchronous Programs. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (DIPES/BICC, 2010)

Translating concurrent action oriented specifications to synchronous guarded actions. - Jens Brandt 001; Klaus Schneider 001; Sandeep K. Shukla (LCTES, 2010)

Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (MBMV, 2010)

From Synchronous Guarded Actions to SystemC. - Jens Brandt 001; Mike Gemünde; Klaus Schneider 001 (MBMV, 2010)

Compilation of imperative synchronous programs with refined clocks. - Mike Gemunde; Jens Brandt 001; Klaus Schneider 001 (MEMOCODE, 2010)

Message from the chairs. - Klaus Schneider 001; Barbara Jobstmann; Luca P. Carloni; Jens Brandt 001 (MEMOCODE, 2010)

Data-Flow Analysis of Extended Finite State Machines. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (ACSD, 2011)

Integrating system descriptions by clocked guarded actions. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (FDL, 2011)

Schizophrenia and causality in the context of refined clocks. - Mike Gemunde; Jens Brandt 001; Klaus Schneider 001 (FDL, 2011)

Causality analysis of synchronous programs with refined clocks. - Mike Gemünde; Jens Brandt 001; Klaus Schneider 001 (HLDVT, 2011)

Round Trip to Asynchrony and Synchrony. - Jens Brandt 001; Klaus Schneider 001 (MBMV, 2011)

Translating Synchronous Systems to Data-Flow Process Networks. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (PDCAT, 2011)

SMT-based optimization for synchronous programs. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (SCOPES, 2011)

Monitoring distributed reactive systems. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (HLDVT, 2012)

Efficient Handling of Arrays in Dataflow Process Networks. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (HPCC-ICESS, 2012)

Preservation of LTL properties in desynchronized systems. - Yu Bai 003; Jens Brandt 001; Klaus Schneider 001 (MEMOCODE, 2012)

Out-Of-order execution of synchronous data-flow networks. - Daniel Baudisch; Jens Brandt 001; Klaus Schneider 001 (ICSAMOS, 2012)

Constructive Polychronous Systems. - Jean-Pierre Talpin; Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla (LFCS, 2013)

Clock refinement in imperative synchronous languages. - Mike Gemünde; Jens Brandt 001; Klaus Schneider 001 (EURASIP J. Embed. Syst., 2013)

Embedding Polychrony into Synchrony. - Jens Brandt 001; Mike Gemunde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (IEEE Trans. Software Eng., 2013)

Synchronous Models for Embedded Software - Jens Brandt 001 (2013)

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. - Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla; Jean-Pierre Talpin (Des. Autom. Embed. Syst., 2014)

Passive code in synchronous programs. - Jens Brandt 001; Klaus Schneider 001; Yu Bai 003 (ACM Trans. Embed. Comput. Syst., 2014)

Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems. - Klaus Schneider 001; Jens Brandt 001 (Handbook of Hardware/Software Codesign, 2017)

Introduction to the Special Issue on Formal Methods and Models for System Design. - Jens Brandt 001; Indranil Saha 001; Lijun Zhang 001 (ACM Trans. Embed. Comput. Syst., 2025)