Olga Runge

According to our database, Olga Runge authored at least 12 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation.

Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge

Proceedings of the Software, 2015

2013

Test Case Generation Using Visual Contracts.

Olga Runge, Tamim Ahmed Khan, Reiko Heckel

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

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization.

Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier, Olga Runge

Comput., 2013

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

Testing against Visual Contracts: Model-Based Coverage.

Tamim Ahmed Khan, Olga Runge, Reiko Heckel

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

AGG 2.0 - New Features for Specifying and Analyzing Algebraic Graph Transformations.

Olga Runge, Claudia Ermel, Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

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

Formal Analysis and Verification of Self-Healing Systems.

Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Self-Repairing systems modeling and verification using AGG.

Antonio Bucchiarone, Patrizio Pelliccione, Charlie Vattani, Olga Runge

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

2007

Analysing refactoring dependencies using graph transformation.

Tom Mens, Gabriele Taentzer, Olga Runge

Softw. Syst. Model., 2007

2006

Transformation dependency analysis - a comparison of two approaches.

Tom Mens, Günter Kniesel, Olga Runge

Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

2004

Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.

Tom Mens, Gabriele Taentzer, Olga Runge

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004