Projects (2)
- KIELER research project: Model-based Design in Eclipse,
primarily involved in language semantics & code generation,
semantics team lead
- REBLS 2018 workshop: Member of the program committee
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 (26)
- Winter term 2018/19: Deputy Head Teaching assistant for a lecture on Programming
- Winter term 2018/19: Teaching assistant for a lecture on Programming for non-CS students
- Summer term 2018: Supervision of the Real-Time Systems project
- Summer term 2018: Supervision of the seminar Real-Time Systems
- Winter term 2017/18: Deputy 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: Deputy 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 compilation systems
- Concurrency & Parallelism
- Model-based compilation of (legacy) C programs
- Computer networks
- Robotics & Bionics
Attended Conferences, Workshops and Exchanges (8)
- September 2017, Irkutsk, Russia
Irkutsk State University
Academic Exchange
- December 2016, Bamberg, Germany:
Synchronous Workshop
Presented KIELER SCCharts Tutorial
- October 2016, Corfu, Greece:
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Presented Interactive Model-Based Compilation Continued -- Interactive Incremental Hardware Synthesis for SCCharts
and Model Extraction for Legacy C Programs with SCCharts
- October 2016, Corfu, Greece:
STRESS Workshop
Workshop participant
- December 2015, Kiel, Germany:
Synchronous Workshop
Presented Updates on SCCharts
- October 2015, Pörtschach, Austria:
Kolloquium Programmiersprachenund Grandlagen der Programmierung
Presented A Data-Flow Approach for Compiling the Sequentially Constructive Language (SCL)
- May 2015, Kiel, Germany:
XtextCON
Workshop participant
- June 2014, Edinburgh, United Kingdom:
Conference on Programming Languages and Design Implementation (PLDI)
Presented SCCharts: Sequentially Constructive Statecharts for safety-critical applications
Publications (2013 - 2018)