2024

Schulz-Rosengarten, Alexander and Ahmad, Akash and Clement, Malte and von Hanxleden, Reinhard and Asch, Benjamin and Lohstroh, Marten and Lee, Edward A. and Quiros, Gustavo and Shukla, Ankit. Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion ’24, page 304–305, New York, NY, USA, 2024. Association for Computing Machinery.  With accompanying poster  pdfbib

 

Alexander Schulz-Rosengarten and Akash Ahmad and Malte Clement and Reinhard von Hanxleden and Benjamin Asch and Marten Lohstroh and Edward A. Lee and Gustavo Quiros Araya and Ankit Shukla. Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR, abs/2401.09185January 2024. URL: https://arxiv.org/abs/2401.09185bib

 

Lena Grimm and Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Marc Pouzet. From Lustre to Graphical Models and SCCharts. ACM Trans. Embed. Comput. Syst., 23(5):66:1–66:28, 2024. URL: https://doi.org/10.1145/3544973bib

 
2023

Alexander Schulz-Rosengarten and Michael Mendler and Joaquin Aguado and Malte Clement and Reinhard von Hanxleden. Trapping Behavior Trees in Esterel. In Proc. Forum on Specification and Design Languages (FDL ’23), Turin, Italy, September 2023.   pdfbib

 

Schulz-Rosengarten, Alexander and von Hanxleden, Reinhard and Lohstroh, Marten and Lee, Edward A. and Bateni, Soroush. Polyglot Modal Models through Lingua Franca. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week ’23, page 337–342, New York, NY, USA, 2023. ACM.   pdfbib

 

Schulz-Rosengarten, Alexander and von Hanxleden, Reinhard and Lohstroh, Marten and Bateni, Soroush and Lee, Edward A.. Polyglot Modal Models through Lingua Franca. In Proc. Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, page 1-2, 2023. IEEE. Extended Abstract.   pdfbib

 

Schulz-Rosengarten, Alexander and von Hanxleden, Reinhard and Lohstroh, Marten and Bateni, Soroush and Lee, Edward A.. Modal Reactors. CoRR, abs/2301.09597January 2023. URL: https://arxiv.org/abs/2301.09597pdfbib

 
2022

Reinhard von Hanxleden and Alexander Schulz-Rosengarten and Benjamin Asch and Soroush Bateni and Marten Lohstroh and Edward Lee. A Synchronous View on Behavior Trees. Presentation at the 29th International Open Workshop on Synchronous Programming (SYNCHRON ’22), Fréjus, France, November 2022. URL: https://rtsys.informatik.uni-kiel.de/ biblio/downloads/papers/synchron22.pdftalkbib

 

Reinhard von Hanxleden and Edward A. Lee and Hauke Fuhrmann and Alexander Schulz-Rosengarten and Sören Domrös and Marten Lohstroh and Soroush Bateni and Christian Menard. Pragmatics Twelve Years Later: A Report on Lingua Franca. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 13702 of Lecture Notes in Computer Science, page 60–89, Rhodes, Greece, October 2022. Springer,   pdfbib

 

Grimm, Lena and Smyth, Steven and Schulz-Rosengarten, Alexander and Hanxleden, Reinhard von and Pouzet, Marc. From Lustre to Graphical Models and SCCharts. ACM Trans. Embed. Comput. Syst., Special Issue on FDL, jul 2022.   bib

 
2021

Alexander Schulz-Rosengarten and Steven Smyth and Michael Mendler. Toward Object-oriented Modeling in SCCharts. ACM Transactions on Embedded Computing Systems, 20(4)May 2021.   pdfbib

 

Daniel Lucas and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Friedrich Gretz and Franz-Josef Grosch. Extracting Mode Diagrams from Blech Code. In Proc. Forum on Specification and Design Languages (FDL ’21), Antibes, France, September 2021.   pdfbib

 
2020

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.   Publisher sitebib

 

Marten Lohstroh and Christian Menard and Alexander Schulz-Rosengarten and Matthew Weber and Jeronimo Castrillon and Edward A. Lee. A Language for Deterministic Coordination Across Multiple Timelines. In Proc. Forum on Specification and Design Languages (FDL ’20), Kiel, Germany, September 2020.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 
2019

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.   pdfbib

 

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  pdfbib

 

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  pdfbib

 

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.   pdfbib

 

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.   pdfbib

 
2018

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 10760, page 504–523, 2018. Springer International Publishing.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   talkbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 

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.   pdfbib

 
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 9953 of LNCS, page 150–170, Corfu, Greece, October 2016.  The original publication is available at http://link.springer.compdfbib

 

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.   pdftalkbib

 

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.   pdfbib

 
2015

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.   pdfbib