Skip to contents

  1. Smyth, Steven Patrick [Author] ; von Hanxleden, Reinhard [Degree supervisor]; Steffen, Bernhard [Other]

    Interactive Model-Based Compilation : A Modeller-Driven Development Approach

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Kiel: Universitätsbibliothek Kiel, 2021

    Published in: Kiel Computer Science Series ; 2021/1

  7. Schulz-Rosengarten, Alexander [Author] ; von Hanxleden, Reinhard [Contributor]; Lee, Edward A. [Contributor]; Mendler, Michael [Contributor]

    Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MACAU: Open Access Repository of Kiel University, 2024

  8. Smyth, Steven [Author]; Motika, Christian [Author]; Schulz-Rosengarten, Alexander [Author]; Domrös, Sören [Author]; Grimm, Lena [Author]; Stange, Andreas [Author]; von Hanxleden, Reinhard [Author]

    SCCharts: The Mindstorms Report

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MACAU: Open Access Repository of Kiel University, 2019

  11. Smyth, Steven [Author]; Motika, Christian [Author]; Schulz-Rosengarten, Alexander [Author]; Wechselberg, Nis Boerge [Author]; Sprung, Carsten [Author]; von Hanxleden, Reinhard [Author]

    SCCharts: The Railway Project Report

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MACAU: Open Access Repository of Kiel University, 2015

  12. von Hanxleden, Reinhard [Author]; Duderstadt, Björn [Author]; Motika, Christian [Author]; Smyth, Steven [Author]; Mendler, Michael [Author]; Aguado, Joaquin [Author]; Mercer, Stephan [Author]; O’Brien, Owen [Author]

    SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MACAU: Open Access Repository of Kiel University, 2013

  13. Smyth, Steven [Author] ; Domrös, Sören [Other]; Hanxleden, Reinhard von [Other] Christian-Albrechts-Universität zu Kiel Institut für Informatik

    A Case-study on manual verification of state-based source code generated by KIELER SCCharts

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, December 2019

    Published in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2019,5

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

    From Lustre to Graphical Models and SCCharts

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2022

    Published in: ACM Transactions on Embedded Computing Systems

  18. von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquín; Mercer, Stephen; O'Brien, Owen

    SCCharts: sequentially constructive statecharts for safety-critical applications : HW/SW-synthesis for a conservative extension of synchronous statecharts

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2014

    Published in: ACM SIGPLAN Notices

  19. Rybicki, Francesca; Smyth, Steven; Motika, Christian; Schulz-Rosengarten, Alexander; von Hanxleden, Reinhard

    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2016

    Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

  20. Motika, Christian; Smyth, Steven; von Hanxleden, Reinhard

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2014

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change