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 × Spain
1 × USA
2 × Germany
2 × Italy
2 × Portugal
Collaborated with:
M.Gajewsky C.Ermel K.Hoffmann H.Ehrig B.Enders U.Prange R.Bardohl A.Habel A.Rein L.Lambers A.Corradini M.Löwe U.Montanari T.Modica E.Biermann R.Heckel M.Llabrés F.Orejas G.Rozenberg
Talks about:
system (5) safeti (5) net (5) properti (4) level (4) rule (4) high (4) transform (3) categori (3) transit (3)

Person: Julia Padberg

DBLP DBLP: Padberg:Julia

Contributed to:

ICGT 20152015
GT-VMT 20082008
FASE 20072007
ICGT 20042004
ICGT 20022002
FASE 20002000
FASE 19981998
FASE 19982001
TAGT 19981998
TAGT 19941994

Wrote 12 papers:

ICGT-2015-Padberg #configuration management #petri net
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
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.
ICGT-2004-EhrigHPP #category theory
Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
ICGT-2002-BardohlEP #architecture #specification
Transforming Specification Architectures by GenGED (RB, CE, JP), pp. 30–44.
ICGT-2002-PadbergE #graph transformation #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
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-EhrigHLOPR #framework #graph #rule-based
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
TAGT-1998-PadbergGH #development #incremental #petri net #safety
Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
TAGT-1994-CorradiniELMP #category theory #graph grammar
The Category of Typed Graph Grammars and its Adjunctions with Categories (AC, HE, ML, UM, JP), pp. 56–74.

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.