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 am currently supervising

  • Genc Blakqori. Towards an Architecture Proof Modelling Language. Master Thesis.
  • Drilon Blakqori. Modelling and Verification of Smart Contracts. Master Thesis.
  • Alexander Collins. Model Checking Eclipse/EMF Specifications of Dynamic Architectures. Bachelor Thesis.

Theses I supervised so far


  • Dominik Spies. Formal Characterization and Development of Optimal Testsuites from Requirement Models. Master Thesis.
  • Pavlos Tzianos. Hermes: An Open and Transparent Marketplace for IoT Sensor Data over Distributed Ledgers. Master Thesis.
  • 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.