TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
eds.: Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (2022)
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
25th International Conference on Model Driven Engineering Languages and Systems. Montreal, Canada (23.-28.10.2022)
doi: 10.1145/3550355.3552397
Conference or Workshop Item, Bibliographie

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
eds.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
Finding Semantic Bugs Fast.
25th International Conference of the European Joint Conferences on Theory and Practice of Software. Munich, Germany (02.-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Conference or Workshop Item, Bibliographie

Jakobs, Marie-Christine ; Wiesner, Maik
eds.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
PEQtest: Testing Functional Equivalence.
25th International Conference on Fundamental Approaches to Software Engineering. Munich, Germany (02.-07.04.2022)
doi: 10.1007/978-3-030-99429-7_11
Conference or Workshop Item, Bibliographie

Kluge, Roland ; Varró, Gergely ; Schürr, Andy
eds.: Kolovos, Dimitris ; Wimmer, Manuel (2015)
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
8th International Conference on Model Transformation (ICMT).
Conference or Workshop Item, Bibliographie

Wimmer, Manuel ; Kappel, Gerti ; Kusel, Angelika ; Retschitzegger, Werner ; Schönböck, Johannes ; Schwinger, Wieland ; Kolovos, Dimitris ; Paige, Richard ; Lauder, Marius ; Schürr, Andy ; Wagelaar, Dennis (2012)
Surveying Rule Inheritance in Model-to-Model Transformation Languages.
In: Journal of Object Technology, 11 (2)
Article, Bibliographie

Wimmer, Manuel ; Kappel, Gerti ; Kusel, Angelika ; Retschitzegger, Werner ; Schönböck, Johannes ; Schwinger, Wieland ; Kolovos, Dimitris ; Paige, Richard ; Lauder, Marius ; Schürr, Andy ; Wagelaar, Dennis (2011)
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages.
Proceedings of the 4th International Conference on Model Transformation (ICMT 2011). Heidelberg
Conference or Workshop Item, Bibliographie

This list was generated on Sat May 25 00:31:59 2024 CEST.