Real-Time and Embedded Systems



Advised Theses

  • 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