TU Darmstadt / ULB / TUprints

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
Jump to: A | D | F | K | L | M | O | P | R | S | T | W
Number of items at this level (without sub-levels): 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]

This list was generated on Wed Mar 22 03:30:44 2023 CET.