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: A | D | F | K | L | M | P | S | W
Number of items at this level: 13.

A

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

D

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

F

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)

K

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

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

L

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)

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

M

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

P

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)

S

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

W

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

This list was generated on Tue Sep 19 17:11:46 2017 CEST.