Alexander Schulz-Rosengarten

According to our database, Alexander Schulz-Rosengarten authored at least 17 papers between 2016 and 2024.

Collaborative distances:

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

2024

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.

Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla

CoRR, 2024

2023

Modal Reactors.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

CoRR, 2023

Polyglot Modal Models through Lingua Franca.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Pragmatics Twelve Years Later: A Report on Lingua Franca.

Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

2021

Toward Object-oriented Modeling in SCCharts.

Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler

ACM Trans. Embed. Comput. Syst., 2021

Extracting Mode Diagrams from Blech Code.

Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

A Language for Deterministic Coordination Across Multiple Timelines.

Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jerónimo Castrillón, Edward A. Lee

Proceedings of the Forum for Specification and Design Languages, 2020

From Lustre to Graphical Models and SCCharts.

Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet

Proceedings of the Forum for Specification and Design Languages, 2020

A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts.

Andreas Boysen, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Towards Object-Oriented Modeling in SCCharts.

Alexander Schulz-Rosengarten, Steven Smyth, Michael Mendler

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Practical Causality Handling for Synchronous Languages.

Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Towards Interactive Compilation Models.

Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Time in SCCharts.

Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Frédéric Mallet, Robert de Simone, Julien Deantoni

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Augmenting State Models with Data Flow.

Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden

Proceedings of the Principles of Modeling, 2018

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.

Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2016

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.

Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 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