Christian Motika

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 6

Top Venues

ACM Trans. Embed. Comput. Syst.

REBLS@SPLASH

VL/HCC

PLDI

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Steven Smyth, Christian Motika, Reinhard von Hanxleden
Synthesizing manually verifiable code for statecharts. REBLS@SPLASH (2018)
Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden
Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. ISoLA (2) (2016)
Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management (2015)
Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler
SCEst: Sequentially constructive esterel. MEMOCODE (2015)
Christian Motika, Reinhard von Hanxleden
Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java. Computing 97 (3) (2015)
Christian Motika, Steven Smyth, Reinhard von Hanxleden
Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. ISoLA (1) (2014)
Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. PLDI (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. DATE (2013)
Miro Spönemann, Christoph Daniel Schulze, Christian Motika, Christian Schneider, Reinhard von Hanxleden
KIELER: Building on automatic layout for pragmatics-aware modeling. VL/HCC (2013)
Christian Motika, Reinhard von Hanxleden, Mirko Heinold
Programming deterministic reactive systems with Synchronous Java. ISORC (2013)
Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann
Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems. Monterey Workshop (2012)
Ulf Rüegg, Christian Motika, Reinhard von Hanxleden
Interactive transformations for visual models. GI-Jahrestagung (2011)
Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden
Semantics and Execution of Domain Specific Models. GI Jahrestagung (1) (2010)

Christian Motika.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Motika