TU Darmstadt / ULB / TUprints

Items where Division is "18 Department of Electrical Engineering and Information Technology > Institute for Computational Electromagnetics > 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: 2017 | 2016 | 2015 | 2014 | 2012 | 2011 | 2008
Number of items at this level: 13.

2017

Deckwerth, Frederik :
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2017)

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

Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
In: Technical Report (ISSN 1864-0516), TUD-CS-2016-0167. Darmstadt
[Report], (2016)

2015

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

2014

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

Legros, Elodie :
Definition of a Type System for Generic and Reflective Graph Transformations.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2014)

Patzina, Lars :
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2014)

Patzina, Sven :
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2014)

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

2012

Klar, Felix :
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2012)

Lauder, Marius :
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Technische Universität, Darmstadt
[Ph.D. Thesis], (2012)

Lauder, Marius and Anjorin, Anthony and Varró, Gergely and Schürr, Andy
Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), TU Darmstadt (eds.) :

Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), TU Darmstadt (s.) tuprints, Darmstadt
[Report], (2012)

2011

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

2008

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

This list was generated on Sat Nov 18 18:28:13 2017 CET.