direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Olga Runge

S

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

Link zur Publikation [5]

E

Khan, T., Runge, O. and Heckel, R. (2012). Visual Contracts as Test Oracle in AGG 2.0 [6]. 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 [7]

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

Link zur Publikation [9]

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

Link zur Publikation [11]

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O. (2012). Confluence in Data Reduction: Bridging Graph Transformation and Kernelization [12]. 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 [13]. Proc. Intern. Conf. on Fundamental Aspects of Software Engineering (FASE'10), 139–153.

Link zur Publikation [14]

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

Link zur Publikation [16]

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

Link zur Publikation [18]

Lambers, L., Jurack, S., Mehner, K., Runge, O. and Taentzer, G. (2008). Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version [19].

Link zur Publikation [20]

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

Link zur Publikation [22]

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

Link zur Publikation [24]

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


------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008