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)
2024
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
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
2022
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
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
2021
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
2020
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
2019
Kulcsár, Géza (2019)
A Compass to Controlled Graph Rewriting.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Weckesser, Markus Tobias (2019)
Automatisierte Analyse integrierter Software-Produktlinien-Spezifikationen.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
2018
Leblebici, Erhan (2018)
Inter-Model Consistency Checking and Restoration with Triple Graph Grammars.
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
2017
Deckwerth, Frederik (2017)
Static Verification Techniques for Attributed 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
2016
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
2015
Wieber, Martin Simon (2015)
Qualitätssicherung von Modelltransformationen - Über das dynamische Testen programmierter Graphersetzungssysteme.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
2014
Anjorin, Anthony (2014)
Synchronization of Models on Different Abstraction Levels using 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
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
Schlereth, Michael (2014)
Platform Independent Specification of Engineering Model Transformations.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
2012
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
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
Oster, Sebastian (2012)
Feature Model-based Software Product Line Testing.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
2011
Mukherjee, Patrick (2011)
A fully Decentralized, Peer-to-Peer Based Version Control System.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
2008
Königs, Alexander (2008)
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Drucken
Impressum