Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. In Tom J. Kazmierski and Sebastian Steinhorst and Daniel Große, editor, Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018, page 1–25. Springer, 2020. bib

Marten Lohstroh and Christian Menard and Alexander Schulz-Rosengarten and Matthew Weber and Jeronimo Castrillon and Edward A. Lee. From Lustre to Graphical Models and SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020. pdf, bib

Lena Grimm and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Marc Pouzet. From Lustre to Graphical Models and SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020. pdf, bib

Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020. pdf, bib

Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts. In MBMV 2020 — Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GMM/ITG/GI-Workshop, GMM-Fachbericht 96, page 61–64, Stuttgart, Germany, March 2020. pdf, bib

Andreas Boysen and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. An FPGA-based Demonstrator for Dynamic Ticks. Technical Report 2001, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2020. ISSN 2192-6247. pdf, bib

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, December 2019. ISSN 2192-6247. pdf, bib

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Practical Causality Handling for Synchronous Languages. In Proc. Design, Automation and Test in Europe Conference (DATE ’19), Florence, Italy, March 2019. IEEE. With accompanying poster 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 University Booth (DATE ’19), Florence, Italy, March 2019. With accompanying poster pdf, bib

Alexander Schulz-Rosengarten and Steven Smyth and Michael Mendler. Towards Object-Oriented Modeling in SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’19), Southampton, UK, September 2019. pdf, bib

Monty Santarossa and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Using SCCharts Models in Simulink to Model an Electric Control Unit. Technical Report 1903, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2019. ISSN 2192-6247. pdf, bib

Nis Wechselberg and Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden. Augmenting State Models with Data Flow. In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, LNCS 11200, page 504–523, 2018. Springer International Publishing. pdf, bib

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Guidance in Model-based Compilations. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA ’18), Doctoral Symposium, volume 78 of Electronic Communications of the EASST, Limassol, Cyprus, November 2018. pdf, bib

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Practical Causality Handling for Synchronous Languages. Technical Report 1808, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2018. ISSN 2192-6247. pdf, bib

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Towards Interactive Compilation Models. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), volume 11244 of LNCS, page 246–260, Limassol, Cyprus, November 2018. Springer. pdf, bib

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Watch Your Compiler Work — Compiler Models and Environments. Technical Report 1806, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2018. ISSN 2192-6247. pdf, bib

Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. Presentation at the 25th International Open Workshop on Synchronous Programming (SYNCHRON ’18), Frejus, France, November 2018. talk, bib

Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. In Proc. Forum on Specification and Design Languages (FDL ’18), Munich, Germany, September 2018. pdf, bib

Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Frédéric Mallet and Robert de Simone and Julien Deantoni. Time in SCCharts. Technical Report 1805, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2018. ISSN 2192-6247. pdf, bib

Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems — A Sequentially Constructive Circuit Semantics for Esterel. In 2018 18th International Conference on Application of Concurrency to System Design (ACSD), page 95-104, June 2018. pdf, bib

Alexander Schulz-Rosengarten and Steven Smyth and Reinhard von Hanxleden and Michael Mendler. A Sequentially Constructive Circuit Semantics for Esterel. Technical Report 1801, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, February 2018. ISSN 2192-6247. pdf, bib

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 9953 of LNCS, page 150–170, Corfu, Greece, October 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, December 2016. pdf, talk, bib

Insa Fuhrmann and David Broman and Reinhard von Hanxleden and Alexander Schulz-Rosengarten. Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. In Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS ’16, page 289–298, New York, NY, USA, 2016. ACM. 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, August 2015. ISSN 2192-6247. pdf, bib