Olga Runge

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Graph Transformation

Representative Subset

Visual Exploration

Test Case Generation

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Software, Services, and Systems

Publications

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