Search: (more)
Header

Search Result

2014

BibTeX Search WWW PDF   [TBGS14]
J.-P. Talpin and J. Brandt and M. Gemünde and K. Schneider and S. Shukla
Constructive Polychronous Systems
Science of Computer Programming (SCICO)

2013

BibTeX Search WWW PDF   [BGSS13]
J. Brandt and M. Gemünde and K. Schneider and S.K. Shukla and J.-P. Talpin
Embedding Polychrony into Synchrony
IEEE Transactions on Software Engineering (TSE)
BibTeX Search WWW PDF   [GeBS13]
M. Gemünde and J. Brandt and K. Schneider
Clock Refinement in Imperative Synchronous Languages
EURASIP Journal on Embedded Systems
BibTeX Search WWW PDF   [Gemu13a]
M. Gemünde
Clock Refinement in Imperative Synchronous Programs
PhD Thesis
BibTeX Search WWW PDF   [TBGS13]
J.-P. Talpin and J. Brandt and M. Gemünde and K. Schneider and S. Shukla
Constructive Polychronous Systems
Logical Foundations of Computer Science (LFCS)

2012

BibTeX Search WWW PDF   [BGSS12]
J. Brandt and M. Gemünde and K. Schneider and S.K. Shukla and J.-P. Talpin
Representation of Synchronous, Asynchronous, and Polychronous Components by Clocked Guarded Actions
Design Automation for Embedded Systems (DAEM)

2011

BibTeX Search WWW PDF   [BGSS11]
J. Brandt and M. Gemünde and K. Schneider and S. Shukla and J.-P. Talpin
Integrating System Descriptions by Clocked Guarded Actions
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [GeBS11]
M. Gemünde and J. Brandt and K. Schneider
Schizophrenia and Causality in the Context of Refined Clocks
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [GeBS11a]
M. Gemünde and J. Brandt and K. Schneider
Causality Analysis of Synchronous Programs with Refined Clocks
High Level Design Validation and Test Workshop (HLDVT)

2010

BibTeX Search WWW PDF   [BrGS10]
J. Brandt and M. Gemünde and K. Schneider
From Synchronous Guarded Actions to SystemC
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [GeBS10]
M. Gemünde and J. Brandt and K. Schneider
Clock Refinement in Imperative Synchronous Languages
SYNCHRON'09: Abstracts Collection of Dagstuhl Seminar 09481
BibTeX Search WWW PDF   [GeBS10a]
M. Gemünde and J. Brandt and K. Schneider
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [GeBS10b]
M. Gemünde and J. Brandt and K. Schneider
Compilation of Imperative Synchronous Programs with Refined Clocks
Formal Methods and Models for Codesign (MEMOCODE)

2009

BibTeX Search WWW PDF   [BrGS09]
J. Brandt and M. Gemünde and K. Schneider
Desynchronizing Synchronous Programs by Modes
Application of Concurrency to System Design (ACSD)

2008

BibTeX Search WWW PDF   [Gemu08]
M. Gemünde
Evaluation Environment for AUTOSAR-Autocode in Motor Control Units
Diploma Thesis

2007

BibTeX Search WWW PDF   [GeGe07]
M. Gesell and M. Gemünde
Eine Oberfläche zur Simulation synchroner Sprachen
Project Thesis