Christian Motika

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