Mike Gemünde

According to our database, Mike Gemünde authored at least 13 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Constructive polychronous systems.

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla

Sci. Comput. Program., 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.

Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

Des. Autom. Embed. Syst., 2014

2013

Clock refinement in imperative synchronous languages.

Mike Gemünde

PhD thesis, 2013

Embedding Polychrony into Synchrony.

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

IEEE Trans. Software Eng., 2013

Clock refinement in imperative synchronous languages.

Mike Gemünde, Jens Brandt, Klaus Schneider

EURASIP J. Embed. Syst., 2013

Takthierarchien für imperative synchrone Sprachen.

Mike Gemünde

Proceedings of the Ausgezeichnete Informatikdissertationen 2013, 2013

2011

Causality analysis of synchronous programs with refined clocks.

Mike Gemünde, Jens Brandt, Klaus Schneider

Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Schizophrenia and causality in the context of refined clocks.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Integrating system descriptions by clocked guarded actions.

Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010

Compilation of imperative synchronous programs with refined clocks.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

From Synchronous Guarded Actions to SystemC.

Jens Brandt, Mike Gemünde, Klaus Schneider

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

A Formal Semantics of Clock Refinement in Imperative Synchronous Languages.

Mike Gemunde, Jens Brandt, Klaus Schneider

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Desynchronizing Synchronous Programs by Modes.

Jens Brandt, Mike Gemunde, Klaus Schneider

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009