Olga Runge

13 papers B 2C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2015 — conf
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.
Software, Services, and Systems
Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
2013 J jnl
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.
Comput.
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
2013 J jnl
Test Case Generation Using Visual Contracts.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Olga Runge, Tamim Ahmed Khan, Reiko Heckel
2012 C conf
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.
CiE
Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge
2012 B conf
Testing against Visual Contracts: Model-Based Coverage.
ICGT
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
2012 J jnl
Visual Contracts as Test Oracle in AGG 2.0.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
2011 — conf
AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations.
AGTIVE
Olga Runge, Claudia Ermel, Gabriele Taentzer
2010 B conf
Formal Analysis and Verification of Self-Healing Systems.
FASE
Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione
2010 J jnl
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.
Int. J. Softw. Tools Technol. Transf.
Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer
2009 — conf
Self-Repairing systems modeling and verification using AGG.
WICSA/ECSA
Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge
2007 J jnl
Analysing refactoring dependencies using graph transformation.
Softw. Syst. Model.
Tom Mens, Gabriele Taentzer, Olga Runge
2006 — conf
Transformation dependency analysis - a comparison of two approaches.
LMO
Tom Mens, Günter Kniesel, Olga Runge
2004 — conf
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.
SETra@ICGT
Tom Mens, Gabriele Taentzer, Olga Runge