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

A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. - Mike Gemunde; Jens Brandt 001; Klaus Schneider 001 (ACSD, 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)

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)

Takthierarchien für imperative synchrone Sprachen. - Mike Gemünde (Ausgezeichnete Informatikdissertationen, 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)

Clock refinement in imperative synchronous languages. - Mike Gemünde (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)

Constructive polychronous systems. - Jean-Pierre Talpin; Jens Brandt 001; Mike Gemünde; Klaus Schneider 001; Sandeep K. Shukla (Sci. Comput. Program., 2014)