Julia Padberg

According to our database, Julia Padberg authored at least 84 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg.

Elina Eickstädt, Martin Becke, Martin Kohler, Julia Padberg

CoRR, 2023

2018

Subtyping for Hierarchical, Reconfigurable Petri Nets.

Julia Padberg

CoRR, 2018

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme.

Julia Padberg, Alexander Schlaefer, Sibylle Schupp

Proceedings of the Software Engineering und Software Management 2018, 2018

Hierarchical, Reconfigurable Petri Nets.

Jan-Uriel Lorbeer, Julia Padberg

Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

Overview of Reconfigurable Petri Nets.

Julia Padberg, Laïd Kahloul

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

A Tutorial on Graph Transformation.

Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Towards M-Adhesive Categories of Corecursive Graphs.

Julia Padberg

CoRR, 2017

Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs.

Julia Padberg

Proceedings of the Graph Transformation - 10th International Conference, 2017

Verification of Reconfigurable Petri Nets.

Julia Padberg

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Model Checking Reconfigurable Petri Nets with Maude.

Julia Padberg, Alexander Schulz

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs.

Julia Padberg

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Towards Model Checking Reconfigurable Petri Nets using Maude.

Julia Padberg, Alexander Schulz

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

Non-Deterministic Matching Algorithm for Net Transformations.

Julia Padberg, Mathias Blumreiter

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

Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities.

Julia Padberg

CoRR, 2014

2012

Preface.

Julia Padberg, Kathrin Hoffmann

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

ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets.

Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann

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

Abstract Interleaving Semantics for Reconfigurable Petri Nets.

Julia Padberg

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

2010

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

A Generic Approach to Connector Architectures Part I: The General Framework.

Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez

Fundam. Informaticae, 2010

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg

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

2008

Composition and Independence of High-Level Net Processes.

Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

Reconfigurable Open Algebraic High-Level Systems.

Conny Ullrich, Julia Padberg

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

Negative Application Conditions for Reconfigurable Place/Transition Systems.

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg

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

Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.

Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg

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

Layered Architecture Consistency for MANETs: Introducing New Team Members.

Enrico Biermann, Kathrin Hoffmann, Julia Padberg

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

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.

Julia Padberg

Appl. Categorical Struct., 2008

Transformations in Reconfigurable Place/Transition Systems.

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

Proceedings of the Concurrency, 2008

2007

Towards Component Verification in the Generic Component Framework.

Julia Padberg, Hartmut Ehrig, Fernando Orejas

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.

Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann

Bull. EATCS, 2007

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.

Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Petri net modules in the transformation-based component framework.

Julia Padberg, Hartmut Ehrig

J. Log. Algebraic Methods Program., 2006

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.

Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel

Fundam. Informaticae, 2006

Towards Multiple Access in Generic Component Architectures.

Markus Klein, Julia Padberg, Fernando Orejas

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2006

Editorial.

Julia Padberg, Tiziana Margaria, Gabriele Taentzer

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

Foreword.

Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg

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

Workshop on Petri Nets and Graph Transformations.

Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems.

Julia Padberg

Bull. EATCS, 2005

Loose Semantics of Petri Nets.

Julia Padberg, Hans-Jörg Kreowski

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Safety Properties in Petri Net Modules.

Julia Padberg

Trans. SDPS, 2004

Preface.

Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

A Generic Framework for Connector Architectures based on Components and Transformations.

Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Transformations of Petri Nets.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Workshop on Petri Nets and Graph Transformations.

Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg

Proceedings of the Graph Transformations, Second International Conference, 2004

Adhesive High-Level Replacement Categories and Systems.

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Case Study: Modelling Telecom Services with Petri Net Modules

Julia Padberg

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.

Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Rule-Based Refinement of Petri Nets: A Survey.

Julia Padberg, Milan Urbásek

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Graph Grammars and Petri Net Transformations.

Hartmut Ehrig, Julia Padberg

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Petri Net Based Components for Evolvable Architectures.

Julia Padberg, Herbert Weber, Asuman Sünbül

Trans. SDPS, 2002

Petri Net Modules.

Julia Padberg

Trans. SDPS, 2002

Component-Based System Development.

Hartmut Ehrig, Julia Padberg

Trans. SDPS, 2002

Basic Ideas for Transformations of Specification Architectures.

Julia Padberg

Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.

Julia Padberg, Bettina Enders

Proceedings of the Graph Transformation, First International Conference, 2002

Transforming Specification Architectures by GenGED.

Roswitha Bardohl, Claudia Ermel, Julia Padberg

Proceedings of the Graph Transformation, First International Conference, 2002

High-Level Net Processes.

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel

Proceedings of the Formal and Natural Computing, 2002

2001

Rule-based refinement of high-level nets preserving safety properties.

Julia Padberg, Magdalena Gajewsky, Claudia Ermel

Sci. Comput. Program., 2001

Evolutionary Development of Business Process Centered Architectures using Component Technologies.

Asuman Sünbül, Herbert Weber, Julia Padberg

Trans. SDPS, 2001

Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.

Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel

Trans. SDPS, 2001

Integration and Collaboration Based on Graphical Techniques (Editorial).

Hartmut Ehrig, Michael Goedicke, Julia Padberg

Trans. SDPS, 2001

Visual Design of Software Architecture and Evolution based on Graph Transformation.

Claudia Ermel, Roswitha Bardohl, Julia Padberg

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Preface.

Hartmut Ehrig, Claudia Ermel, Julia Padberg

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.

Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Parameterized Net Classes: A Uniform Approach to Petri Net Classes.

Julia Padberg, Hartmut Ehrig

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

Classification of Petri Nets Using Adjoint Functors.

Julia Padberg

Proceedings of the Current Trends in Theoretical Computer Science, 2001

From Basic Views and Aspects to Integration of Specification Formalisms.

Hartmut Ehrig, Julia Padberg, Fernando Orejas

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Rule-Based and Visual Model Evolution using GENGED.

Julia Padberg, Claudia Ermel, Roswitha Bardohl

Proceedings of the ICALP Workshops 2000, 2000

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.

Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

From Basic Views and Aspects to Integration of Specification Formalisms.

Hartmut Ehrig, Julia Padberg, Fernando Orejas

Bull. EATCS, 1999

Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.

Julia Padberg

Appl. Categorical Struct., 1999

1998

Classification of Petri Nets Using Adjoint Functors.

Julia Padberg

Bull. EATCS, 1998

Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.

Julia Padberg

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Incremental Development of Safety Properties in Petri Net Transformations.

Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann

Proceedings of the Theory and Application of Graph Transformations, 1998

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.

Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

How to Transfer Concepts of Abstract Data Types to Petri Nets?

Hartmut Ehrig, A. Merten, Julia Padberg

Bull. EATCS, 1997

Horizontal and Vertical Structuring Techniques for Statecharts.

Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg

Proceedings of the CONCUR '97: Concurrency Theory, 1997

A Uniform Approach to Petri Nets.

Hartmut Ehrig, Julia Padberg

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Abstract Petri nets - uniform approach and rule-based refinement.

Julia Padberg

Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-1698-6, 1996

1995

Algebraic High-Level Net Transformation Systems.

Julia Padberg, Hartmut Ehrig, Leila Ribeiro

Math. Struct. Comput. Sci., 1995

1994

Linking Algebraic High level Nets and Dynamic Abstract Data.

Hartmut Ehrig, Julia Padberg

Bull. EATCS, 1994

The Category of Typed Graph Grammars and its Adjunctions with Categories.

Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993

Algebreic high-level net transformation systems: a survey over theory and applications.

Julia Padberg

Bull. EATCS, 1993

Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.

Leila Ribeiro, Hartmut Ehrig, Julia Padberg

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

1992

Algebraic High-Level Nets: Petri Nets Revisited.

Hartmut Ehrig, Julia Padberg, Leila Ribeiro

Proceedings of the Recent Trends in Data Type Specification, 1992