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 (17)
- Lars Peiler, Priority-based Compilation of SCCharts
Master's Thesis, October 2017
- Philip Eumann, A Domain-Specific Language for Railway Control
Bachelor's Thesis, September 2017
- Milad Rahimi-Barfeh, Incremental Compilation of SCEst
Bachelor's Thesis, September 2017
- 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 (24)
- Summer term 2018: Supervision of the Real-Time Systems project
- Summer term 2018: Supervision of the seminar Real-Time Systems
- Winter term 2017/18: Head teaching assistant for a lecture on Programming
- Winter term 2017/18: Head teaching assistant for a lecture on Embedded Real-Time Systems
- 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)
