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 |
- TU Darmstadt (25)
- 18 Department of Electrical Engineering and Information Technology (25)
- Institute of Computer Engineering (25)
- Real-Time Systems (25)
- Institute of Computer Engineering (25)
- 18 Department of Electrical Engineering and Information Technology (25)
Anjorin, Anthony (2014)
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed Graph Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Fritsche, Lars (2022)
Local Consistency Restoration Methods for Triple Graph Grammars.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021443
Ph.D. Thesis, Primary publication, Publisher's Version
Fritsche, Lars ; Kosiol, Jens ; Schürr, Andy ; Taentzer, Gabriele (2024)
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023912
Article, Secondary publication, Publisher's Version
Frömmgen, Alexander ; Hassan, Mohamed ; Kluge, Roland ; Mousavi, Mahdi ; Mühlhäuser, Max ; Müller, Sabrina ; Schnee, Mathias ; Stein, Michael ; Weckesser, Markus
ed.: Mühlhäuser, Max (2016)
Mechanism Transitions: A New Paradigm for a Highly Adaptive Internet.
Report, Primary publication
Klar, Felix (2012)
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Kulcsár, Géza (2019)
A Compass to Controlled Graph Rewriting.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Königs, Alexander (2008)
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Lauder, Marius (2012)
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Lauder, Marius ; Anjorin, Anthony ; Varró, Gergely ; Schürr, Andy
eds.: Fachgebiet Echtzeitsysteme (Real-Time Systems Lab), TU Darmstadt (2012)
Bidirectional Model Transformation with Precedence Triple Graph Grammars.
Report, Primary publication
Leblebici, Erhan (2018)
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Legros, Elodie (2014)
Definition of a Type System for Generic and Reflective Graph Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Lochau, Malte (2017)
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Technische Universität Darmstadt, 2017
Habilitation, Secondary publication
Luthmann, Lars (2020)
Specification and Analysis of Software Systems with Configurable Real-Time Behavior.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00017363
Ph.D. Thesis, Primary publication, Publisher's Version
Mukherjee, Patrick (2011)
A fully Decentralized, Peer-to-Peer Based Version Control System.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Oster, Sebastian (2012)
Feature Model-based Software Product Line Testing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Patzina, Lars (2014)
Generierung von effizienten Security-/Safety-Monitoren aus modellbasierten Beschreibungen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Patzina, Sven (2014)
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Ruland, Sebastian (2022)
Automated Quality-Assurance Techniques for the Modernization of Software-Product Lines.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00021488
Ph.D. Thesis, Primary publication, Publisher's Version
Ruland, Sebastian ; Lochau, Malte ; Fehse, Oliver ; Schürr, Andy (2024)
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (6)
doi: 10.26083/tuprints-00023914
Article, Secondary publication, Publisher's Version
Schlereth, Michael (2014)
Platform Independent Specification of Engineering Model Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Speith, Roland (2018)
Correct-by-Construction Development of Dynamic Topology Control Algorithms.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Tomaszek, Stefan (2021)
Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren.
Technische Universität Darmstadt
doi: 10.12921/tuprints-00017362
Ph.D. Thesis, Primary publication, Publisher's Version
Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Wieber, Martin Simon (2015)
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Drucken
Impressum