Mike Gemünde

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Conceptual Representation

Description Languages

Asynchronous Communication

Top Venues

Sci. Comput. Program.

EURASIP J. Embed. Syst.

Ausgezeichnete Informatikdissertationen

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive polychronous systems. Sci. Comput. Program. 96 (2014)
Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Mike Gemünde
Takthierarchien für imperative synchrone Sprachen. Ausgezeichnete Informatikdissertationen (2013)
Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla
Constructive Polychronous Systems. LFCS (2013)
Mike Gemünde, Jens Brandt, Klaus Schneider
Clock refinement in imperative synchronous languages. EURASIP J. Embed. Syst. 2013 (2013)
Mike Gemünde, Jens Brandt, Klaus Schneider
Causality analysis of synchronous programs with refined clocks. HLDVT (2011)
Jens Brandt, Mike Gemünde, Klaus Schneider
From Synchronous Guarded Actions to SystemC. MBMV (2010)