|
| [10] | Verification of Graph Transformation Systems with k-Inductive Invariants (Johannes Dyck), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2020. |
|
| [9] | Model-Driven Engineering of Self-Adaptive Software (Thomas Vogel), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2018. |
| [8] | A framework for incremental view graph maintenance (Thomas Beyhl), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2018. |
|
| [7] | Modeling collaborations in adaptive systems of systems (Sebastian Wätzoldt), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2016. |
|
| [6] | On the Performance and Conformance of Triple Graph Grammar Implementations (Stephan Hildebrandt), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
| [5] | Evolution of model-driven engineering settings in practice (Regina Hebig), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
| [4] | Virtual prototypes for the model-based elicitation and validation of collaborative scenarios (Gregor Berg), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
| [3] | Architectural modelling and verification of open service-oriented systems of systems (Basil Becker), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2014. |
|
| [2] | Traceability and model management with executable and dynamic hierarchical megamodels (Andreas Seibel), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2013. |
| [1] | Modular Timing Analysis of Component-Based Real-Time Embedded Systems (Stefan Neumann), PhD thesis, Hasso Plattner Institute at the University of Potsdam, 2013. |