direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Olga Runge

R

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


M

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

Link zur Publikation [6]

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

Link zur Publikation [8]

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

Link zur Publikation [10]

L

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

Link zur Publikation [12]

K

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

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

Link zur Publikation [16]

E

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

Link zur Publikation [19]

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

Link zur Publikation [21]

B

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

Link zur Publikation [23]

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

Link zur Publikation [25]

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008