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
Number of items at this level (without sub-levels): 20.

German

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]

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]

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]

English

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

Deckwerth, Frederik (2017):
Static Verification Techniques for Attributed Graph Transformations.
Darmstadt, Technische Universität,
[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]

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]

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 (Corporate Creators) (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]

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

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]

This list was generated on Thu Oct 21 10:28:29 2021 CEST.