direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications Olga Runge


Ehrig, H., Ermel, C., H├╝ffner, F., Niedermeier, R. and Runge, O. (2012). Confluence in Data Reduction: Bridging Graph Transformation and Kernelization. Proc. of Int. Conf. on Computability in Europe (CiE'12). Springer, 193-202.

Khan, T., Runge, O. and Heckel, R. (2012). Visual Contracts as Test Oracle in AGG 2.0. Proceedings of the 11th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'12). European Association of Software Science and Technology.

Link to publication

Khan, T. A., Runge, O. and Heckel, R. (2012). Testing against Visual Contracts: Model-Based Coverage. Proc. Int. Conf. on Graph Transformations. Springer Berlin Heidelberg, 279-293.

Link to publication

Runge, O., Ermel, C. and Taentzer, G. (2012). AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations. Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE'11), Proceedings. Springer.


Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P. (2010). Formal Analysis and Verification of Self-Healing Systems. Proc. Intern. Conf. on Fundamental Aspects of Software Engineering (FASE'10), 139–153.

Link to publication

Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A. and Pelliccione, P. (2010). Formal Analysis and Verication of Self-Healing Systems: Long Version.

Link to publication


Bucchiarone, A., Pelliccione, P., Vattani, C. and Runge, O. (2009). Self-Repairing Systems Modeling and Verification using AGG. Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture (WICSA'09)

Link to publication



Mens, T., Taentzer, G. and Runge, O. (2007). Analysing Refactoring Dependencies Using Graph Transformation. Software and System Modeling. SPRINGER, 269-285.

Link to publication


Mens, T., Kniesel, G. and Runge, O. (2006). Transformation dependency analyis: A comparison of two approaches. Proc. Conf. Langages et Modeles a Objets. Hermes Science Publications, Lavoisier, 167–182.

Link to publication


Mens, T., Taentzer, G. and Runge, O. (2004). Detecting Structural Refactoring Conflicts unsing Critical Pair Analysis. Proc. Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra'04), Satellite Event of ICGT'04). ENTCS.

Link to publication


Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I. (2003). Node Type Inheritance Concepts for Typed Graph Transformation.

Link to publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe