Christian Motika

According to our database, Christian Motika authored at least 15 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

SCEst: Sequentially Constructive Esterel.

Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, Michael Mendler

ACM Trans. Embed. Comput. Syst., 2018

Synthesizing manually verifiable code for statecharts.

Steven Smyth, Christian Motika, Reinhard von Hanxleden

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

2017

SCCharts - Language and Interactive Incremental Compilation.

Christian Motika

PhD thesis, 2017

2016

Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.

Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java.

Christian Motika, Reinhard von Hanxleden

Computing, 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.

Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop

ACM Trans. Embed. Comput. Syst., 2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.

Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation.

Christian Motika, Steven Smyth, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

KIELER: Building on automatic layout for pragmatics-aware modeling.

Miro Spönemann, Christoph Daniel Schulze, Christian Motika, Christian Schneider, Reinhard von Hanxleden

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Programming deterministic reactive systems with Synchronous Java.

Christian Motika, Reinhard von Hanxleden, Mirko Heinold

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.

Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Multi-view Modeling and Pragmatics in 2020 - Position Paper on Designing Complex Cyber-Physical Systems.

Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011

Interactive transformations for visual models.

Ulf Rüegg, Christian Motika, Reinhard von Hanxleden

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Semantics and Execution of Domain Specific Models.

Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010