Olga Runge

Tamim Ahmed Khan, Olga Runge, Reiko Heckel: Visual Contracts as Test Oracle in AGG 2.0. ECEASST 47 (2012)

Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge: Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. CiE 2012: 193-202

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

Olga Runge, Claudia Ermel, Gabriele Taentzer: AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations. AGTIVE 2011: 81-88

Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. STTT 12(3-4): 245-261 (2010)

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. FASE 2010: 139-153

Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge: Self-Repairing systems modeling and verification using AGG. WICSA/ECSA 2009: 181-190

Tom Mens, Gabriele Taentzer, Olga Runge: Analysing refactoring dependencies using graph transformation. Software and System Modeling 6(3): 269-285 (2007)

Tom Mens, Günter Kniesel, Olga Runge: Transformation dependency analysis - a comparison of two approaches. LMO 2006: 167-184

Tom Mens, Gabriele Taentzer, Olga Runge: Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. Electr. Notes Theor. Comput. Sci. 127(3): 113-128 (2005)