TU Berlin

About usOlga Runges Publications

Logo der Abteilung TFS

Page Content

to Navigation

Publications Olga Runge

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

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

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.


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

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


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

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

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.


Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe