I’m always looking for students interested in Modeling of Software Architectures, Formal Methods, and related topics.

Currently, I have open topics (for thesis or guided research) in the following areas:

  • Modeling Architectures in Eclipse/EMF
  • Analysis of Blockchain Architectures

If this sounds interesting for you then just write me an email and I would be glad to present the topics in more detail!

Theses I supervised so far


  • Irakly Tchedia. Runtime Verification of Dynamic Architectures
  • Keshav Kumar. Runtime Verification for Architectures
  • Andreea Julia Mihis. Design and Analysis of Patterns for Blockchain Architectures
  • Parisa Elahidoost. Understanding Architecturally Significant Requirements and its implication on Practitioners‘ Design Decisions
  • Habtom Kahsay Gidey. Conceptualization and Development of a Future-Proof Architecture in the Context of Business Information Systems
  • Katrin Kehrbusch. Towards Formal Modelling of Service-oriented Architectures
  • Dana Roxana Juratoni. Architectural Styles and Patterns for Batch Processing
  • Atanasko Atanasov. Extraktion von Kreuzungsparametern durch die Auswertung von Daten aus Fahrzeugflotten


  • Phi Long Trinh. A Graphical Modeling Language for Dynamic Architectures
  • Leo Eichhorn. Simulation-Based analysis of Blockchain Architectures
  • Silvio Degenhardt. Model Checking Software Design Patterns

Guided Research

  • Silvio Degenhardt. Architectural Strategies to Address Quality Requirements