Julia Padberg

Julia Padberg: Abstract Interleaving Semantics for Reconfigurable Petri Nets. ECEASST 51 (2012)

Julia Padberg, Kathrin Hoffmann: Preface. ECEASST 51 (2012)

Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann: ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. ECEASST 54 (2012)

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg: Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. ECEASST 40 (2010)

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Inform. 99(1): 63-93 (2010)

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez: A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Inform. 99(1): 95-124 (2010)

Julia Padberg, Hartmut Ehrig, Fernando Orejas: Towards Component Verification in the Generic Component Framework. Electr. Notes Theor. Comput. Sci. 203(7): 37-53 (2009)

Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg: Composition and Independence of High-Level Net Processes. Electr. Notes Theor. Comput. Sci. 242(2): 59-71 (2009)

Julia Padberg: Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Applied Categorical Structures 16(3): 333-364 (2008)

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10 (2008)

Enrico Biermann, Kathrin Hoffmann, Julia Padberg: Layered Architecture Consistency for MANETs: Introducing New Team Members. ECEASST 12 (2008)

Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg: Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. ECEASST 12 (2008)

Kathrin Hoffmann, Julia Padberg: Preface. ECEASST 12 (2008)

Conny Ullrich, Julia Padberg: Reconfigurable Open Algebraic High-Level Systems. ECEASST 14 (2008)

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113

Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann: Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bulletin of the EATCS 91: 120-124 (2007)

Markus Klein, Julia Padberg, Fernando Orejas: Towards Multiple Access in Generic Component Architectures. Electr. Notes Theor. Comput. Sci. 176(2): 25-45 (2007)

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel: Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN 2007: 104-123

Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel: Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE 2007: 383-397

Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Foreword. ECEASST 2 (2006)

Julia Padberg, Tiziana Margaria, Gabriele Taentzer: Editorial. ECEASST 4 (2006)

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations of Petri Nets. Electr. Notes Theor. Comput. Sci. 148(1): 151-172 (2006)

Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel: Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Inform. 74(1): 1-29 (2006)

Julia Padberg, Hartmut Ehrig: Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1-2): 198-225 (2006)

Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469

Julia Padberg: Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bulletin of the EATCS 87: 138-154 (2005)

Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Preface. Electr. Notes Theor. Comput. Sci. 127(2): 1-3 (2005)

Julia Padberg, Hans-Jörg Kreowski: Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384

Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino: A Generic Framework for Connector Architectures based on Components and Transformations. Electr. Notes Theor. Comput. Sci. 108: 53-67 (2004)

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160

Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444

Julia Padberg: Basic Ideas for Transformations of Specification Architectures. Electr. Notes Theor. Comput. Sci. 72(4): 46-58 (2003)

Julia Padberg: Case Study: Modelling Telecom Services with Petri Net Modules. Electr. Notes Theor. Comput. Sci. 82(7): 34-45 (2003)

Hartmut Ehrig, Julia Padberg: Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536

Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali: The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems 2003: 1-21

Julia Padberg, Milan Urbásek: Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel: High-Level Net Processes. Formal and Natural Computing 2002: 191-219

Roswitha Bardohl, Claudia Ermel, Julia Padberg: Transforming Specification Architectures by GenGED. ICGT 2002: 30-44

Julia Padberg, Bettina Enders: Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ICGT 2002: 334-350

Claudia Ermel, Roswitha Bardohl, Julia Padberg: Visual Design of Software Architecture and Evolution based on Graph Transformation. Electr. Notes Theor. Comput. Sci. 44(4): 52-66 (2001)

Hartmut Ehrig, Claudia Ermel, Julia Padberg: Preface. Electr. Notes Theor. Comput. Sci. 44(4): 188-189 (2001)

Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001)

Julia Padberg: Classification of Petri Nets Using Adjoint Functors. Current Trends in Theoretical Computer Science 2001: 171-179

Hartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214

Julia Padberg, Hartmut Ehrig: Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229

Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg: Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Unifying Petri Nets 2001: 230-249

Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg (Eds.): Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, isbn 3-540-43067-9

Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky: Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265

Julia Padberg, Claudia Ermel, Roswitha Bardohl: Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476

Julia Padberg: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures 7(4): 371-403 (1999)

Hartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. Bulletin of the EATCS 69: 98-109 (1999)

Julia Padberg: Classification of Petri Nets Using Adjoint Functors. Bulletin of the EATCS 66: 85-91 (1998)

Julia Padberg, Magdalena Gajewsky, Claudia Ermel: Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238

Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg: Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102

Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann: Incremental Development of Safety Properties in Petri Net Transformations. TAGT 1998: 410-425

Julia Padberg: Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. WADT 1998: 241-260

Hartmut Ehrig, A. Merten, Julia Padberg: How to Transfer Concepts of Abstract Data Types to Petri Nets? Bulletin of the EATCS 62 (1997)

Hartmut Ehrig, Julia Padberg: A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231

Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg: Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195

Julia Padberg: Abstract Petri nets - uniform approach and rule-based refinement. Berichte aus der Informatik, Shaker 1996, isbn 978-3-8265-1698-6, pp. 1-178

Julia Padberg, Hartmut Ehrig, Leila Ribeiro: Algebraic High-Level Net Transformation Systems. Mathematical Structures in Computer Science 5(2): 217-256 (1995)

Hartmut Ehrig, Julia Padberg: Linking Algebraic High level Nets and Dynamic Abstract Data. Bulletin of the EATCS 54: 132-144 (1994)

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg: The Category of Typed Graph Grammars and its Adjunctions with Categories. TAGT 1994: 56-74

Julia Padberg: Algebreic high-level net transformation systems: a survey over theory and applications. Bulletin of the EATCS 51: 102-110 (1993)

Hartmut Ehrig, Julia Padberg, Leila Ribeiro: Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206