Steven Smyth and Christian Motika and Alexander Schulz-Rosengarten
and Sören Domrös and Lena Grimm and Andreas Stange and Reinhard
von Hanxleden. SCCharts: The Mindstorms Report. Technical Report
1904, Christian-Albrechts-Universität zu Kiel, Department of Computer
Science, 2019. ISSN 2192-6247. pdf, bib
Steven Smyth and Alexander Schulz-Rosengarten and Christian Motika and
Reinhard von Hanxleden. The KIELER SCCharts Editor—A Modular
Open-Source Modeling Suite with Automatic Diagram Synthesis. In
Proceedings of the Design, Automation and Test in Europe UniversityBooth (DATE ’19), Florence, Italy, 2019. With accompanying
posterpdf, bib
2018
Steven Smyth and Christian Motika and Reinhard von Hanxleden.
Synthesizing Manually Verifiable Code for Statecharts. In Proc. Reactiveand Event-based Languages & Systems (REBLS ’18), Workshop at theACM SIGPLAN conference on Systems, Programming, Languages andApplications: Software for Humanity (SPLASH), Boston, MA, USA,
2018. pdf, bib
2017
Steven Smyth and Christian Motika and Karsten Rathlev and
Reinhard von Hanxleden and Michael Mendler. SCEst: Sequentially
Constructive Esterel. ACM Transactions on Embedded ComputingSystems (TECS)—Special Issue on MEMOCODE 2015, 17(2):33:1–33:26,
2017. pdf, bib
Reinhard von Hanxleden and Michael Mendler and Christian Motika and
Christoph Daniel Schulze and Steven Smyth. SCCharts, KIELER and
the Eclipse Layout Kernel—Statecharts for Safety-Critical Applications
and a Pragmatics-Aware Modeling Environment. In Proceedingsof the Design, Automation and Test in Europe University Booth(DATE ’17), Lausanne, Switzerland, 2017. With accompanying
posterpdf, 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 InternationalSymposium on Leveraging Applications of Formal Methods, Verificationand Validation (ISoLA 2016), volume 9953 of LNCS, page 150–170,
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 Programmiersprachenund 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 Conferenceon 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 ofComputing, Special Issue on Software Technologies for Embedded andUbiquitous 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 ofthe 6th International Symposium on Leveraging Applications of FormalMethods, Verification and Validation (ISoLA 2014), volume 8802 of LNCS,
page 461–480, 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 andImplementation (PLDI ’14), page 372–383, 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 ComputingSystems, 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 andHuman-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 onSoftware 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 EuropeConference (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 Proceedingsof the 17th International Monterey Workshop 2012 on Development,Operation and Management of Large-Scale Complex IT Systems, RevisedSelected Papers, volume 7539 of LNCS, page 209–223, Oxford, UK, 2012.
pdf, talk, bib
2011
Ulf Rüegg and Christian Motika and Reinhard von Hanxleden.
Interactive Transformations for Visual Models. In 3rd WorkshopMethodische Entwicklung von Modellierungswerkzeugen (MEMWe 2011)at conference INFORMATIK 2011, GI-Edition – Lecture Notes inInformatics (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 WorkshopMethodische 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