Magdalena Gajewsky

According to our database, Magdalena Gajewsky authored at least 6 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Rule-based refinement of high-level nets preserving safety properties.

Julia Padberg, Magdalena Gajewsky, Claudia Ermel

Sci. Comput. Program., 2001

On the Compatibility of Model and Model-Class Transformations.

Magdalena Gajewsky, Francesco Parisi-Presicce

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

The »Petri Net Baukasten«: An Overview.

Magdalena Gajewsky, Hartmut Ehrig

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.

Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1998

Incremental Development of Safety Properties in Petri Net Transformations.

Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

From abstract data types to algebraic development techniques: A shift of paradigms.

Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997