Real-Time and Embedded Systems

Alexander Schulz-Rosengarten

Research assistant, PhD student

Christian-Albrechts-Platz 4, R.1113 (CAP 4)
Phone: +49 431 880-7526
Telefax: +49 431 880-7615
als@informatik.uni-kiel.de

Teaching

 

Advised Theses

  • Daniel Lucas, Extraction of Mode Diagrams from Blech
    Master's Thesis, April 2021
  • Philip Eumann, Model-Based Debugging
    Master's Thesis, June 2020
  • Andreas Boysen, An FPGA-based Demonstrator for Dynamic Ticks
    Master's Thesis, December 2019
  • Lena Grimm, From Lustre to Graphical Dataflow Programs
    Master's Thesis, May 2019
  • Andreas Stange, Model Checking for SCCharts
    Master's Thesis, May 2019
  • Sören Domrös, Moving Model-Driven Engineering from Eclipse to Web Technologies
    Master's Thesis, November 2018
  • Milad Rahimi, Incremental Compilation of SCEst
    Bachelor's Thesis, September 2017
 

Publications