Software Engineering

• Model-Driven Software Engineering
• Model-Based Software Engineering

Methods

• Graph Transformation
  • Formal Verification
  • Model Refinement
  • Model Synthesis
• Petri Nets
  • Model Composition

System Types

• Distributed Cyber-Physical Systems
• Learning-Enabled Systems
• Safety-Critical Systems
• Systems of Systems

Google Scholar

Software Language Engineering (Summer 2022)
Safe Reinforcement Learning for Self-Adaptive Systems (Summer 2023)
Modeling Languages and Formalism (Winter 2023/ 2024)
Modeling of Embedded Systems Using Graphtransformation (Winter 2024/ 2025)
Runtime models for Self-adaptive systems (Summer 2025)
Softwaretechnik (Summer 2025)