Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. - Tom Mens; Gabriele Taentzer; Olga Runge (SETra@ICGT, 2004)

Transformation dependency analysis - a comparison of two approaches. - Tom Mens; Günter Kniesel; Olga Runge (LMO, 2006)

Analysing refactoring dependencies using graph transformation. - Tom Mens; Gabriele Taentzer; Olga Runge (Softw. Syst. Model., 2007)

Self-Repairing systems modeling and verification using AGG. - Antonio Bucchiarone; Patrizio Pelliccione; Charlie Vattani; Olga Runge (WICSA/ECSA, 2009)

Formal Analysis and Verification of Self-Healing Systems. - Hartmut Ehrig; Claudia Ermel; Olga Runge; Antonio Bucchiarone; Patrizio Pelliccione (FASE, 2010)

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. - Enrico Biermann; Claudia Ermel; Leen Lambers; Ulrike Prange; Olga Runge; Gabriele Taentzer (Int. J. Softw. Tools Technol. Transf., 2010)

AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations. - Olga Runge; Claudia Ermel; Gabriele Taentzer (AGTIVE, 2011)

Testing against Visual Contracts: Model-Based Coverage. - Tamim Ahmed Khan; Olga Runge; Reiko Heckel (ICGT, 2012)

Visual Contracts as Test Oracle in AGG 2.0. - Tamim Ahmed Khan; Olga Runge; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. - Hartmut Ehrig; Claudia Ermel; Falk Hüffner; Rolf Niedermeier; Olga Runge (Comput., 2013)

Test Case Generation Using Visual Contracts. - Olga Runge; Tamim Ahmed Khan; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation. - Antonio Bucchiarone; Hartmut Ehrig; Claudia Ermel; Patrizio Pelliccione; Olga Runge (Software, Services, and Systems, 2015)