Publications |
- 2017
- Steven Smyth and Christian Motika and Karsten Rathlev and Reinhard von Hanxleden and Michael Mendler. SCEst: Sequentially Constructive Esterel. ACM Transactions on Embedded Computing Systems, 2017. In press. pdf, bib
-
2016
- Francesca Rybicki and Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Interactive Model-Based Compilation Continued – Interactive Incremental Hardware Synthesis for SCCharts. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), volume 8802 of LNCS, page 443–462, Corfu, Greece, 2016. The original publication is available at http://link.springer.com. pdf, bib
-
- Christian Motika and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. KIELER SCCharts Tutorial. Interactive Tutorial performed at the 23th International Open Workshop on Synchronous Programming (SYNCHRON ’16), Bamberg, Germany, 2016. pdf, talk, bib
-
2015
- Steven Smyth and Christian Motika and Reinhard von Hanxleden. A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL). In 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015), Pörtschach, Austria, 5-7 2015. pdf, bib
-
- Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten and Nis Boerge Wechselberg and Carsten Sprung and Reinhard von Hanxleden. SCCharts: The Railway Project Report. Technical Report 1510, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2015. ISSN 2192-6247. pdf, bib
-
- Karsten Rathlev and Steven Smyth and Christian Motika and Reinhard von Hanxleden and Michael Mendler. SCEst: Sequentially Constructive Esterel. In Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE ’15), Austin, TX, USA, 2015. pdf, bib
-
- Christian Motika and Steven Smyth. Updates on SCCharts. Presentation at the 22th International Open Workshop on Synchronous Programming (SYNCHRON ’15), Kiel, Germany, 2015. talk, bib
-
2014
- Christian Motika and Reinhard von Hanxleden. Light-weight Synchronous Java (SJL) — An Approach for Programming Deterministic Reactive Systems with Java. Journal of Computing, Special Issue on Software Technologies for Embedded and Ubiquitous Systems, 97(3):281–307, 2014. The original publication is available at http://link.springer.com. bib
-
- Christian Motika and Steven Smyth and Reinhard von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), volume 8802 of LNCS, page 443–462, Corfu, Greece, 2014. The original publication is available at http://link.springer.com. pdf, bib
-
- Christian Motika. SCCharts in Motion—Interactive Model-Based Compilation for a Railway System. Presentation at the 21th International Open Workshop on Synchronous Programming (SYNCHRON ’14), Aussois, France, 2014. talk, bib
-
- Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’14), Edinburgh, UK, 2014. ACM. pdf, talk, bib
-
- Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. ACM Transactions on Embedded Computing Systems, Special Issue on Applications of Concurrency to System Design, 13(4s):144:1–144:26, 2014. pdf, bib
-
- Thomas Huining Feng and Edward A. Lee and Xiaojun Liu and Christian Motika and Reinhard von Hanxleden and Haiyang Zheng. Finite State Machines. In Claudius Ptolemaeus, editor, System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014. bib
-
2013
- Miro Spönemann and Christoph Daniel Schulze and Christian Motika and Christian Schneider and Reinhard von Hanxleden. KIELER: Building on Automatic Layout for Pragmatics-Aware Modeling (Showpiece). In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC ’13), San Jose, CA, USA, 2013. pdf, bib
-
- Ulf Rüegg and Christian Schneider and Christoph Daniel Schulze and Miro Spönemann and Christian Motika and Reinhard von Hanxleden. Light-Weight Synthesis of Ptolemy Diagrams with KIELER. Presentation at the Tenth Biennial Ptolemy Miniconference, Berkeley, CA, USA, 2013. pdf, talk, bib
-
- Christian Motika and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. Sequentially Constructive Charts (SCCharts). Poster presented at 10th Biennial Ptolemy Miniconference (PTCONF ’13), Berkeley, CA, USA, 7 2013. pdf, bib
-
- Christian Motika and Reinhard von Hanxleden and Mirko Heinold. Programming Deterministice Reactive Systems with Synchronous Java (Invited Paper). In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2013), IEEE Proceedings, Paderborn, Germany, 17/18 2013. pdf, bib
-
- Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. In Proc. Design, Automation and Test in Europe Conference (DATE ’13), page 581–586, Grenoble, France, 2013. IEEE. pdf, bib
-
- Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. Technical Report 1308, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2013. ISSN 2192-6247. pdf, bib
-
- Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts. Presentation at Synchronous Programming (SYNCHRON ’13), Schloss Dagstuhl, Germany, 2013. talk, bib
-
- Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. Compiling SCCharts to Hardware and Software. Presentation at Synchronous Programming (SYNCHRON ’13), Schloss Dagstuhl, Germany, 2013. talk, bib
-
- Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Technical Report 1311, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2013. ISSN 2192-6247. pdf, bib
-
2012
- Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden and Edward A. Lee. Executing Domain-Specific Models in Eclipse. Technical Report 1214, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2012. ISSN 2192-6247. pdf, bib
-
- Christian Motika and Reinhard von Hanxleden and Mirko Heinold. Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java. Technical Report 1213, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2012. ISSN 2192-6247. pdf, bib
-
- Reinhard von Hanxleden and Edward A. Lee and Christian Motika and Hauke Fuhrmann. Multi-View Modeling and Pragmatics in 2020 — Position Paper on Designing Complex Cyber-Physical Systems. In Proceedings of the 17th International Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems, LNCS, volume 7539 of , Oxford, UK, 19–21 2012. pdf, bib
-
- Reinhard von Hanxleden and Edward A. Lee and Christian Motika and Hauke Fuhrmann. Multi-View Modeling and Pragmatics in 2020 — Position Paper on Designing Complex Cyber-Physical Systems. In Pre-Proceedings of the 17th International Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems, page 209–223, Oxford, UK, 19–21 2012. pdf, talk, bib
-
2011
- Ulf Rüegg and Christian Motika and Reinhard von Hanxleden. Interactive Transformations for Visual Models. In 3rd Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe 2011) at conference INFORMATIK 2011, GI-Edition – Lecture Notes in Informatics (LNI), Berlin, Germany, 2011. Bonner Köllen Verlag. pdf, bib
-
- Christian Motika and Miro Spönemann and Hauke Fuhrmann and Christoph Krüger and John Julian Carstens and Reinhard von Hanxleden. KIELER Actor Oriented Modeling (KAOM). Poster presented at 9th Biennial Ptolemy Miniconference (PTCONF ’11), Berkeley, CA, USA, 2011. pdf, bib
-
- Christian Motika. Interactive Esterel to SyncCharts Transformation for executing Esterel with Ptolemy. Presentation at the 18th International Open Workshop on Synchronous Programming (SYNCHRON ’11), Dammarie-les-Lys, France, 2011. talk, bib
-
2010
- Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden. Semantics and Execution of Domain Specific Models. In 2nd Workshop Methodische Entwicklung von Modellierungswerkzeugen (MEMWe 2010) INFORMATIK 2010, GI-Edition – Lecture Notes in Informatics (LNI), page 891–896, Leipzig, Germany, 2010. Bonner Köllen Verlag. pdf, bib
-
- Christian Motika. Executing SyncCharts with Ptolemy. Presentation at the 17th International Open Workshop on Synchronous Programming (SYNCHRON ’10), Frejus, France, 2010. talk, bib
-
2009
- Christian Motika and Hauke Fuhrmann and Reinhard von Hanxleden. Semantics and Execution of Domain Specific Models. Technical Report 0923, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2009. pdf, bib
-
- Hauke Fuhrmann and Miro Spönemann and Christian Motika and Michael Matzen and Stephan Knauer and Reinhard von Hanxleden. Enhancing Graphical Modeling in Eclipse with KIELER. Poster at Eclipse Summit Europe 2009, Ludwigsburg, Germany, 2009. pdf, bib
-
|
Teaching (Kiel University) |
WT 2015/2016
Head of tutorial course for lecture
Embedded Real-Time Systems
ST 2015
Head of tutorial course for lecture Synchronous Languages,
Supervisor of practical lab SCCharts Quadrocopter
WT 2014/2015
Head of tutorial course for lecture Operating Systems
ST 2014
Supervisor of model railway practical lab
WT 2013/2014
Head of tutorial course for lecture Operating Systems,
Head of tutorial course for lecture Synchronous Languages
ST 2013
Head of tutorial course for lecture Embedded Real-Time Systems
WT 2012/201
Head of tutorial course for lecture Operating Systems
ST 2012
Supervisor of model railway practical lab,
Supervisor
of seminary Synchronous Languages
WT 2011/2012
Head of tutorial course for lecture Synchronous Languages,
Supervisor of practical lab Embedded Real-Time Systems
ST 2011
Head of tutorial course for lecture Embedded Real-Time Systems
WT 2010/2011
Head of tutorial course for lecture Operating Systems,
Supervisor of seminary Embedded Real-Time Systems
ST 2010
Head of tutorial course for lecture Embedded Real-Time Systems,
Supervisor of seminary Synchronous Languages
2007-2009: Student Assistant at Software Technology headed by Prof. Dr. Willem-Paul de Roever (Distributed Algorithms + Concurrent Programming) and at Real-Time and Embedded Systems Group headed by Prof. Dr. Reinhard von Hanxleden
(Synchronous Languages + Model-based Design and Distributed Real-Time Systems)
|
Supervised Theses |
Francesca Rybicki, Interactive Incremental Hardware Synthesis for SCCharts, March 2016 (Bachelor Thesis)
Stanislav Nasin, Transformation from SCCharts to Esterel, October 2015 (Master Thesis)
Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems, September 2015 (Bachelor Thesis)
Lewe Andersen, Quadrocopter Flight Control Design using SCCharts, September 2015 (Bachelor Thesis)
Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems, September 2015 (Bachelor Thesis)
Nis Wechselberg, Model Railway 4.0 - A Demonstrator
for Interactive Timing Analysis, March 2015 (Master Thesis)
Karsten Rathlev, From Esterel to SCL, March 2015 (Master Thesis)
Alexander Schulz-Rosengarten, Framework zum
Tracing von EMF-Modelltransformationen, March 2014 (Bachelor Thesis)
Gunnar Johannsen, Hardwaresynthese aus SCCharts, October 2013 (Master Thesis)
Steven Smyth, Code Generation for Sequential Constructiveness, July 2013 (Diploma Thesis)
Wahbi Haribi, A SyncChart-Editor based on Yakindu, March 2013 (Master Thesis)
Björn Duderstadt, A Statechart Dialect With Sequential Constructiveness, December 2012 (Diploma Thesis)
Ulf Rüegg, Interactive Transformations for Visual Models, March 2011 (Bachelor Thesis)
John Carstens, Datenvisualisierung in grafischen Modellen, September 2010 (Bachelor Thesis)
Mirko Heinold, Synchronous Java, September 2010 (Bachelor Thesis)
Paul Klose, Beispiel Management in KIELER, September 2010 (Bachelor Thesis)
Torsten Amende, Synthese von SC-Code aus SyncCharts, May 2010 (Diploma Thesis)
Sören Hansen, Configuration and Automated Execution in the KIELER Execution Manager, March 2010 (Bachelor Thesis)
|