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 M.Gajewsky A.Rein U.Prange L.Lambers H.Ehrig T.Modica E.Biermann C.Ermel
Talks about:
properti (2) system (2) safeti (2) net (2) architectur (1) reconfigur (1) transform (1) introduct (1) increment (1) maintain (1)

Person: Kathrin Hoffmann

DBLP DBLP: Hoffmann:Kathrin

Contributed to:

GT-VMT 20082008
FASE 20072007
FASE 20002000
TAGT 19981998

Wrote 4 papers:

GT-VMT-2008-ReinPLHP #configuration management
Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
FASE-2007-PadbergHEMBE #ad hoc #architecture #consistency #maintenance #mobile #network
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.
FASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
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.