TU Darmstadt / ULB / tuprints

Items where Division is "Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme" 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 | No Grouping
Number of items at this level: 11.

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

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

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

Lauder, Marius :
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
TU Darmstadt, 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.
TU Darmstadt
[Ph.D. Thesis], (2014)

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

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

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

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

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

This list was generated on Sun Aug 30 03:07:40 2015 CEST.