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: 18.

Report

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]

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]

Habilitation

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]

Ph.D. Thesis

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]

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]

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]

Mukherjee, Patrick (2011):
A fully Decentralized, Peer-to-Peer Based Version Control System.
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]

Speith, Roland (2018):
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Darmstadt, Technische Universität, [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]

This list was generated on Wed Feb 19 01:08:40 2020 CET.