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: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2012 | 2011 | 2008
Number of items at this level: 18.

2019

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

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

2018

Leblebici, Erhan (2018):
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
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]

2017

Deckwerth, Frederik (2017):
Static Verification Techniques for Attributed 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]

2016

Frömmgen, Alexander and Hassan, Mohamed and Kluge, Roland and Mousavi, Mahdi and Mühlhäuser, Max and Müller, Sabrina and Schnee, Mathias and Stein, Michael and 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]

2015

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

2014

Anjorin, Anthony (2014):
Synchronization of Models on Different Abstraction Levels using 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]

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]

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

2012

Klar, Felix (2012):
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
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 and Anjorin, Anthony and Varró, Gergely and 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]

2011

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

2008

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

This list was generated on Thu Oct 22 01:49:56 2020 CEST.