Magdalena Gajewsky

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Magdalena Gajewsky, Francesco Parisi-Presicce
On the Compatibility of Model and Model-Class Transformations. WADT (2001)
Magdalena Gajewsky, Hartmut Ehrig
The »Petri Net Baukasten«: An Overview. Unifying Petri Nets (2001)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40 (1) (2001)
Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE (2000)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE (1998)
Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
Incremental Development of Safety Properties in Petri Net Transformations. TAGT (1998)
Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
From abstract data types to algebraic development techniques: A shift of paradigms. WADT (1997)