Julia Padberg

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 11

Top Topics

Computer Science Courses

Graph Transformation

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Graph Transformation, Specifications, and Nets

Publications

Elina Eickstädt, Martin Becke, Martin Kohler, Julia Padberg
Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg. CoRR (2023)
Julia Padberg
Subtyping for Hierarchical, Reconfigurable Petri Nets. CoRR (2018)
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Jan-Uriel Lorbeer, Julia Padberg
Hierarchical, Reconfigurable Petri Nets. Modellierung (Workshops) (2018)
Julia Padberg, Laïd Kahloul
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets (2018)
Julia Padberg, Alexander Schlaefer, Sibylle Schupp
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering (2018)
Julia Padberg
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. ICGT (2017)
Julia Padberg
Towards M-Adhesive Categories of Corecursive Graphs. CoRR (2017)
Julia Padberg
Verification of Reconfigurable Petri Nets. PNSE @ Petri Nets (2017)
Julia Padberg, Alexander Schulz
Model Checking Reconfigurable Petri Nets with Maude. ICGT (2016)
Julia Padberg
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. ICGT (2015)
Julia Padberg
Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. CoRR (2014)
Julia Padberg, Mathias Blumreiter
Non-Deterministic Matching Algorithm for Net Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
Julia Padberg, Alexander Schulz
Towards Model Checking Reconfigurable Petri Nets using Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014)
Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 54 (2012)
Julia Padberg
Abstract Interleaving Semantics for Reconfigurable Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Julia Padberg, Kathrin Hoffmann
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
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. Informaticae 99 (1) (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. Informaticae 99 (1) (2010)
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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010)
Julia Padberg, Hartmut Ehrig, Fernando Orejas
Towards Component Verification in the Generic Component Framework. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg
Composition and Independence of High-Level Net Processes. Electron. Notes Theor. Comput. Sci. 242 (2) (2009)
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
Layered Architecture Consistency for MANETs: Introducing New Team Members. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
Julia Padberg
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Appl. Categorical Struct. 16 (3) (2008)
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models (2008)
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
Conny Ullrich, Julia Padberg
Reconfigurable Open Algebraic High-Level Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008)
Kathrin Hoffmann, Julia Padberg
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008)
Markus Klein, Julia Padberg, Fernando Orejas
Towards Multiple Access in Generic Component Architectures. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. FASE (2007)
Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91 (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)
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Workshop on Petri Nets and Graph Transformations. ICGT (2006)
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
Transformations of Petri Nets. Electron. Notes Theor. Comput. Sci. 148 (1) (2006)
Julia Padberg, Hartmut Ehrig
Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Julia Padberg, Tiziana Margaria, Gabriele Taentzer
Editorial. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74 (1) (2006)
Julia Padberg, Hans-Jörg Kreowski
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling (2005)
Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Preface. Electron. Notes Theor. Comput. Sci. 127 (2) (2005)
Julia Padberg
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bull. EATCS 87 (2005)
Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
Workshop on Petri Nets and Graph Transformations. ICGT (2004)
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Adhesive High-Level Replacement Categories and Systems. ICGT (2004)
Julia Padberg
Safety Properties in Petri Net Modules. Trans. SDPS 8 (4) (2004)
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. Electron. Notes Theor. Comput. Sci. 108 (2004)
Hartmut Ehrig, Julia Padberg
Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets (2003)
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)
Julia Padberg
Case Study: Modelling Telecom Services with Petri Net Modules Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Julia Padberg, Milan Urbásek
Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems (2003)
Julia Padberg
Basic Ideas for Transformations of Specification Architectures. Electron. Notes Theor. Comput. Sci. 72 (4) (2003)
Julia Padberg, Bettina Enders
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ICGT (2002)
Julia Padberg, Herbert Weber, Asuman Sünbül
Petri Net Based Components for Evolvable Architectures. Trans. SDPS 6 (3) (2002)
Roswitha Bardohl, Claudia Ermel, Julia Padberg
Transforming Specification Architectures by GenGED. ICGT (2002)
Julia Padberg
Petri Net Modules. Trans. SDPS 6 (4) (2002)
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
High-Level Net Processes. Formal and Natural Computing (2002)
Hartmut Ehrig, Julia Padberg
Component-Based System Development. Trans. SDPS 6 (4) (2002)
Hartmut Ehrig, Michael Goedicke, Julia Padberg
Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS 5 (1) (2001)
Hartmut Ehrig, Claudia Ermel, Julia Padberg
Preface. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Asuman Sünbül, Herbert Weber, Julia Padberg
Evolutionary Development of Business Process Centered Architectures using Component Technologies. Trans. SDPS 5 (3) (2001)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40 (1) (2001)
Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets. Trans. SDPS 5 (1) (2001)
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)
Julia Padberg, Hartmut Ehrig
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets (2001)
Claudia Ermel, Roswitha Bardohl, Julia Padberg
Visual Design of Software Architecture and Evolution based on Graph Transformation. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE (2000)
Julia Padberg, Claudia Ermel, Roswitha Bardohl
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops (2000)
Hartmut Ehrig, Julia Padberg, Fernando Orejas
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69 (1999)
Julia Padberg
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Appl. Categorical Struct. 7 (4) (1999)
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)
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE (1998)
Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
Incremental Development of Safety Properties in Petri Net Transformations. TAGT (1998)
Julia Padberg
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. WADT (1998)
Julia Padberg
Classification of Petri Nets Using Adjoint Functors. Bull. EATCS 66 (1998)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR (1997)
Hartmut Ehrig, A. Merten, Julia Padberg
How to Transfer Concepts of Abstract Data Types to Petri Nets? Bull. EATCS 62 (1997)
Hartmut Ehrig, Julia Padberg
A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Julia Padberg, Hartmut Ehrig, Leila Ribeiro
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5 (2) (1995)
Hartmut Ehrig, Julia Padberg
Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS 54 (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)
Leila Ribeiro, Hartmut Ehrig, Julia Padberg
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES (1993)
Julia Padberg
Algebreic high-level net transformation systems: a survey over theory and applications. Bull. EATCS 51 (1993)
Hartmut Ehrig, Julia Padberg, Leila Ribeiro
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT (1992)