Sustaining and improving graduated graph consistency: A static analysis of graph transformations

Henshin: advanced concepts and tools for in-place EMF model transformations

Thorsten Arendt, Enrico Biermann, Stefan Jurack et al. · Model Driven Engineering Languages and Systems · 2010 · 267 citations

Engineering, Computer Engineering, Electromagnetics +5

Correctness of high-level transformation systems relative to nested conditions

Annegret Habel, Karl‐Heinz Pennemann · Mathematical Structures in Computer Science · 2009 · 225 citations

Computing, Computer Science, Formal Methods +15

Making inconsistency respectable in software development

Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo · Journal of Systems and Software · 2001 · 158 citations

Computing, Computer Science, Requirements Engineering +8

Modelling and analysis using GROOVE

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink et al. · International Journal on Software Tools for Technology Transfer · 2011 · 155 citations

Computing, Computational Engineering, Computational Mechanics +4

Helper-Objectives: Using Multi-Objective Evolutionary Algorithms for Single-Objective Optimisation

Mikkel T. Jensen · Journal of Mathematical Modelling and Algorithms · 2004 · 141 citations

Architecture, Industrial Engineering, Operations Research +12