Mike Gemünde

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Constructive polychronous systems.
Sci. Comput. Program., 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Design Autom. for Emb. Sys., 2014

2013
Clock refinement in imperative synchronous languages.
PhD thesis, 2013

Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng., 2013

Clock refinement in imperative synchronous languages.
EURASIP J. Emb. Sys., 2013

Takthierarchien für imperative synchrone Sprachen.
Proceedings of the Ausgezeichnete Informatikdissertationen 2013, 2013

2011
Causality analysis of synchronous programs with refined clocks.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011

Schizophrenia and causality in the context of refined clocks.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Integrating system descriptions by clocked guarded actions.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010
Compilation of imperative synchronous programs with refined clocks.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

From Synchronous Guarded Actions to SystemC.
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.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Desynchronizing Synchronous Programs by Modes.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009


  Loading...