Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Syriani, Eugene ; Sahraoui, Houari A. ; Bencomo, Nelly ; Wimmer, Manuel (eds.) (2022):
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata.
In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), pp. 31-42,
ACM, 25th International Conference on Model Driven Engineering Languages and Systems, Montreal, Canada, 23.-28.10.2022, ISBN 978-1-4503-9466-6,
DOI: 10.1145/3550355.3552397,
[Conference or Workshop Item]

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Johnsen, Einar Broch ; Wimmer, Manuel (eds.) (2022):
Finding Semantic Bugs Fast.
In: Lecture Notes in Computer Science, 13241, In: Fundamental Approaches to Software Engineering, pp. 145-154,
Springer, 25th International Conference of the European Joint Conferences on Theory and Practice of Software, Munich, Germany, 02.-07.04.2022, ISBN 978-3-030-99428-0,
DOI: 10.1007/978-3-030-99429-7_8,
[Conference or Workshop Item]

Jakobs, Marie-Christine ; Wiesner, Maik
Johnsen, Einar Broch ; Wimmer, Manuel (eds.) (2022):
PEQtest: Testing Functional Equivalence.
In: Lecture Notes in Computer Science, 13241, In: Fundamental Approaches to Software Engineering, pp. 184-204,
Springer, 25th International Conference on Fundamental Approaches to Software Engineering, Munich, Germany, 02.-07.04.2022, ISBN 978-3-030-99428-0,
DOI: 10.1007/978-3-030-99429-7_11,
[Conference or Workshop Item]

Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Kolovos, Dimitris ; Wimmer, Manuel (eds.) (2015):
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
In: Lecture Notes in Computer Science, 9152, pp. 199-213, 8th International Conference on Model Transformation (ICMT), [Conference or Workshop Item]

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), pp. 1-46. JOT, [Article]

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.
In: Lecture Notes in Computer Science (LNCS), 6707, pp. 31-46, Heidelberg, Springer Verlag, Proceedings of the 4th International Conference on Model Transformation (ICMT 2011), Heidelberg, [Conference or Workshop Item]