Angelika Kusel

Automated verification of model transformations based on visual contracts

Esther Guerra, Juan de Lara, Manuel Wimmer et al. · Automated Software Engineering · 2012 · 82 citations · Full text

Computing, Computer Science, Formal Methods +13

Reuse in model-to-model transformation languages: are we there yet?

Angelika Kusel, Johannes Schönböck, Manuel Wimmer et al. · Software & Systems Modeling · 2013 · 61 citations

Engineering, Systems Engineering, Model-based Systems Engineering +11

Surveying Rule Inheritance in Model-to-Model Transformation Languages.

Manuel Wimmer, Gerti Kappel, Angelika Kusel et al. · The Journal of Object Technology · 2012 · 31 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +16

A Petri Net Based Debugging Environment for QVT Relations

Manuel Wimmer, Gerti Kappel, Johannes Schoenboeck et al. · 2009 · 26 citations

Computing, Computer Science, Computer Systems +17

Consistent co-evolution of models and transformations

Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer et al. · 2015 · 26 citations

Engineering, Systems Engineering, Adaptive Reuse +15