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: Padberg:Julia
Contributed to:
2015
2008
20072004200220001998200119981994Wrote 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.