Author of the publication

Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts.

, , , , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 150-170. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Lustre to Graphical Models and SCCharts., , , , and . FDL, page 1-8. IEEE, (2020)Extracting Mode Diagrams from Blech Code., , , , and . FDL, page 1-8. IEEE, (2021)Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts.. University of Kiel, Germany, (2024)Towards Object-Oriented Modeling in SCCharts., , and . FDL, page 1-8. IEEE, (2019)On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel., , , and . ACSD, page 95-104. IEEE Computer Society, (2018)Modal Reactors., , , , and . CoRR, (2023)A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts., , and . FDL, page 1-8. IEEE, (2020)A Language for Deterministic Coordination Across Multiple Timelines., , , , , and . FDL, page 1-8. IEEE, (2020)Augmenting State Models with Data Flow., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 504-523. Springer, (2018)Towards Interactive Compilation Models., , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 246-260. Springer, (2018)