Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
Hrsg.: 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.10.2022-28.10.2022)
doi: 10.1145/3550355.3552397
Konferenzveröffentlichung, Bibliographie

Grätz, Lukas ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: 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.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_8
Konferenzveröffentlichung, Bibliographie

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

Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Hrsg.: Kolovos, Dimitris ; Wimmer, Manuel (2015)
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
8th International Conference on Model Transformation (ICMT).
Konferenzveröffentlichung, 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)
Artikel, 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
Konferenzveröffentlichung, Bibliographie