BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
2 × Germany
Collaborated with:
J.Padberg K.Hoffmann C.Ermel
Talks about:
properti (4) safeti (4) net (4) preserv (3) level (3) high (3) refin (2) rule (2) base (2) transform (1)

Person: Magdalena Gajewsky

DBLP DBLP: Gajewsky:Magdalena

Contributed to:

FASE 20002000
FASE 19981998
FASE 19982001
TAGT 19981998

Wrote 4 papers:

FASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
FASE-1998-PadbergGE #refinement #rule-based #safety
Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FASE-J-1998-PadbergGE01 #refinement #rule-based #safety
Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
TAGT-1998-PadbergGH #development #incremental #petri net #safety
Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.