TU Berlin

Theor. Informatik / Formale SpezifikationOlga Runges Publikationen

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

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 zur Publikation

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 zur Publikation

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 zur Publikation

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

Link zur Publikation


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 zur Publikation



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

Link zur Publikation


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 zur Publikation


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 zur Publikation


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

Link zur Publikation



Schnellnavigation zur Seite über Nummerneingabe