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

Engineering, Program Analysis, Automated Reasoning +10

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 · 60 citations

Engineering, Model Reuse, Model-to-model Transformation Languages +7

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

A Petri Net Based Debugging Environment for QVT Relations

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

Petri Net, Engineering, Software Engineering +18

Consistent co-evolution of models and transformations

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

Dependent Artifacts, Engineering, Consistent Co-evolution +18