2024

Fritsche, Lars ; Kosiol, Jens ; Schürr, Andy ; Taentzer, Gabriele (2024)
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023912
Article, Secondary publication, Publisher's Version

Ruland, Sebastian ; Lochau, Malte ; Fehse, Oliver ; Schürr, Andy (2024)
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (6)
doi: 10.26083/tuprints-00023914
Article, Secondary publication, Publisher's Version

2022

Fritsche, Lars (2022)
Local Consistency Restoration Methods for Triple Graph Grammars.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021443
Ph.D. Thesis, Primary publication, Publisher's Version

Ruland, Sebastian (2022)
Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021488
Ph.D. Thesis, Primary publication, Publisher's Version

2021

Tomaszek, Stefan (2021)
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren.
Technische Universität Darmstadt
doi: 10.12921/tuprints-00017362
Ph.D. Thesis, Primary publication, Publisher's Version

2020

Luthmann, Lars (2020)
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00017363
Ph.D. Thesis, Primary publication, Publisher's Version

2019

Kulcsár, Géza (2019)
A Compass to Controlled Graph Rewriting.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2018

Leblebici, Erhan (2018)
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Speith, Roland (2018)
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2017

Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lochau, Malte (2017)
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Technische Universität Darmstadt, 2017
Habilitation, Secondary publication

2016

Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
ed.: Mühlhäuser, Max (2016)
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
Report, Primary publication

2015

Wieber, Martin Simon (2015)
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2014

Anjorin, Anthony (2014)
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Legros, Elodie (2014)
Definition of a Type System for Generic and Reflective Graph Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Patzina, Lars (2014)
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Patzina, Sven (2014)
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Schlereth, Michael (2014)
Platform Independent Specification of Engineering Model Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2012

Klar, Felix (2012)
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lauder, Marius (2012)
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Lauder, Marius ; Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
eds.: Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), TU Darmstadt (2012)
Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Report, Primary publication

Oster, Sebastian (2012)
Feature Model-based Software Product Line Testing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2011

Mukherjee, Patrick (2011)
A fully Decentralized, Peer-to-Peer Based Version Control System.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

2008

Königs, Alexander (2008)
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication