Real-Time and Embedded Systems

Further Information

 

Projects (1)

  •  KIELER research project: Model-based Design in Eclipse,
        primarily involved in language semantics & code generation,
        project lead of the semantics team
 

Advised Theses (14)

  • Stephan Lenga, Model-based Compilation of Legacy C Programs
    Bachelor's Thesis, September 2016
  • Alexander Schulz-Rosengarten, Strict Sequential Constructiveness
    Master's Thesis, September 2016
  • Jonas Busse, SCCharts Kompilierung für eingebettete Systeme mit limitierten Resourcen
    Bachelor's Thesis, September 2016
  • Niclas Flieger, Comparison of Compilation Approaches in KIELER
    Master's Thesis, April 2016
  • Lars Olsson, Modellextraktion aus C Code 
    Bachelor's Thesis, March 2016
  • Stanislav Nasin, From SCL to Esterel
    Master's Thesis, October 2015
  • Tibor Weiß, Von Nebenläufigkeit zu Parallelität
    Bachelor's Thesis, October 2015
  • Lewe Andersen, Quadrocopter Flight-Control Design using SCCharts
    Bachelor's Thesis, September 2015
  • Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems
    Bachelor's Thesis, September 2015
  • Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems
    Bachelor's Thesis, September 2015
  • Andreas Stange, Comfortable SCCharts Modeling for Embedded Systems
    Bachelor's Thesis, September 2015
  • 2nd reviewer for Lennart Langenhop, Embedded Security Analysis for an Engine Control Unit Architecture
    Master's Thesis, March 2015
  • Karsten Rathlev, From Esterel to SCL
    Master's Thesis, March 2015
  • Axel Umland, Erweiterung von SCCharts um Datenfluss
    Diploma Thesis, March 2015
 

Teaching (20)

  • Summer term 2017: Supervision of the railway project
  • Summer term 2017: Mentor for the Bachelor degree mentoring program
  • Winter term 2016/17: Head teaching assistant for a lecture on Programming
  • Winter term 2016/17: Mentor for the Bachelor degree mentoring program
  • Summer term 2016: Supervision of the Miniature Lighthouse Real-Time project
  • Summer term 2016: Supervision of the seminar Real-Time Systems / Synchronous Languages
  • Winter term 2015/16: Head teaching assistant for a lecture on Programming
  • Winter term 2015/16: Supervision of the Synchronous Languages master project
  • Summer term 2015: Supervision of the Quadrocopter Real-Time project
  • Summer term 2015: Supervision of the seminar Real-Time Systems
  • Summer term 2015: Teaching assistant for a lecture on Computer Systems
  • Winter term 2014/15: Head teaching assistant for a lecture on Embedded Real-time Systems
  • Winter term 2014/15: Head teaching assistant for a lecture on Operating Systems
  • Summer term 2014: Supervision of the seminar Synchronous Languages
  • Summer term 2014: Supervision of the railway project
  • Winter term 2013/14: Teaching assistant for a lecture on Synchronous Languages
  • Winter term 2013/14: Teaching assistant for a lecture on Operating Systems
  • Winter term 2012/13: Teaching assistant for a lecture on Operating Systems
  • Summer term 2012: Teaching support for the railway project
  • Winter term 2011/12: Teaching assistant for a lecture on Synchronous Languages
 

Research interests (6)

  • Real-time systems, embedded systems, and safety-critical systems
  • Interactive model-based transformation systems
  • Model-based compilation of (legacy) C programs
  • Concurrency & Parallelism
  • Computer networks
  • Robotics & Bionics
 

Publications (2013 - 2017)