Items where Division is "18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems" and Year is [pin missing: value2]
![]() | Up a level |
- TU Darmstadt (23)
- 18 Department of Electrical Engineering and Information Technology (23)
- Institute of Computer Engineering (23)
- Real-Time Systems (23)
- Institute of Computer Engineering (23)
- 18 Department of Electrical Engineering and Information Technology (23)
A
Anjorin, Anthony (2014):
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
D
Deckwerth, Frederik (2017):
Static Verification Techniques for Attributed Graph Transformations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
F
Fritsche, Lars (2022):
Local Consistency Restoration Methods for Triple Graph Grammars. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt,
DOI: 10.26083/tuprints-00021443,
[Ph.D. Thesis]
Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
Mühlhäuser, Max (ed.) (2016):
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
In: Technical Report, TUD-CS-2016-0167, Darmstadt, ISSN 1864-0516,
[Report]
K
Klar, Felix (2012):
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Kulcsár, Géza (2019):
A Compass to Controlled Graph Rewriting.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Königs, Alexander (2008):
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
L
Lauder, Marius (2012):
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Lauder, Marius ; Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), TU Darmstadt (eds.) (2012):
Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Darmstadt, tuprints, [Report]
Leblebici, Erhan (2018):
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Legros, Elodie (2014):
Definition of a Type System for Generic and Reflective Graph Transformations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Lochau, Malte (2017):
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Darmstadt, Technische Universität, [Habilitation]
Luthmann, Lars (2020):
Specification and Analysis of Software Systems with Configurable Real-Time Behavior. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00017363,
[Ph.D. Thesis]
M
Mukherjee, Patrick (2011):
A fully Decentralized, Peer-to-Peer Based Version Control System.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
O
Oster, Sebastian (2012):
Feature Model-based Software Product Line Testing.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
P
Patzina, Lars (2014):
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Patzina, Sven (2014):
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
R
Ruland, Sebastian (2022):
Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.26083/tuprints-00021488,
[Ph.D. Thesis]
S
Schlereth, Michael (2014):
Platform Independent Specification of Engineering Model Transformations.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Speith, Roland (2018):
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
T
Tomaszek, Stefan (2021):
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren. (Publisher's Version)
Darmstadt, Technische Universität,
DOI: 10.12921/tuprints-00017362,
[Ph.D. Thesis]
W
Weckesser, Markus Tobias (2019):
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Wieber, Martin Simon (2015):
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Darmstadt, Technische Universität,
[Ph.D. Thesis]