Olga Runge

Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Formal Analysis and Verication of Self-Healing Systems : Long Version

A. Bucchiarone, H. Ehrig, Claudia Ermel, 2010 .

Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation

A. Bucchiarone, H. Ehrig, Claudia Ermel, 2013 .

Analysing refactoring dependencies using graph transformation

Tom Mens, Gabriele Taentzer, Olga Runge, 2007, Software & Systems Modeling.

Detecting Structural Refactoring Conflicts Using Critical Pair Analysis

Tom Mens, Gabriele Taentzer, Olga Runge, 2005, SETra@ICGT.

Formal Analysis and Verification of Self-Healing Systems

Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, 2010, FASE.

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Hartmut Ehrig, Rolf Niedermeier, Falk Hüffner, 2012, Comput..

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Hartmut Ehrig, Rolf Niedermeier, Falk Hüffner, 2012, De Computis.