Julia Padberg

90 papers B 12C 1Journal 40Unranked 31
YearRankTypeTitle / Venue / Authors
2024 J jnl
Der Weg zur digitalen Arbeitsmappe: Digitales Prüfungswesen mit Zertifizierung.
CoRR
Martin Becke, Julia Padberg
2023 J jnl
Computer Science for Future - Sustainability and Climate Protection in the Computer Science Courses of the HAW Hamburg.
CoRR
Elina Eickstädt, Martin Becke, Martin Kohler, Julia Padberg
2018 — conf
A Tutorial on Graph Transformation.
Graph Transformation, Specifications, and Nets
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
2018 C conf
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme.
Software Engineering
Julia Padberg, Alexander Schlaefer, Sibylle Schupp
2018 — conf
Hierarchical, Reconfigurable Petri Nets.
Modellierung (Workshops)
Jan-Uriel Lorbeer, Julia Padberg
2018 — conf
Overview of Reconfigurable Petri Nets.
Graph Transformation, Specifications, and Nets
Julia Padberg, Laid Kahloul
2018 J jnl
Subtyping for Hierarchical, Reconfigurable Petri Nets.
CoRR
Julia Padberg
2017 B conf
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs.
ICGT
Julia Padberg
2017 J jnl
Towards M-Adhesive Categories of Corecursive Graphs.
CoRR
Julia Padberg
2017 — conf
Verification of Reconfigurable Petri Nets.
PNSE @ Petri Nets
Julia Padberg
2016 B conf
Model Checking Reconfigurable Petri Nets with Maude.
ICGT
Julia Padberg, Alexander Schulz
2015 B conf
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs.
ICGT
Julia Padberg
2014 J jnl
Non-Deterministic Matching Algorithm for Net Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Mathias Blumreiter
2014 J jnl
Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities.
CoRR
Julia Padberg
2014 J jnl
Towards Model Checking Reconfigurable Petri Nets using Maude.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Alexander Schulz
2012 J jnl
Abstract Interleaving Semantics for Reconfigurable Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg
2012 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Kathrin Hoffmann
2012 J jnl
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann
2010 J jnl
A Generic Approach to Connector Architectures Part I: The General Framework.
Fundam. Informaticae
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010 J jnl
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.
Fundam. Informaticae
Fernando Orejas, Hartmut Ehrig, Markus Klein, Julia Padberg, Elvira Pino, Sonia Pérez
2010 J jnl
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
2008 — conf
Composition and Independence of High-Level Net Processes.
FMWS@CONCUR
Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg
2008 J jnl
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
2008 J jnl
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.
Appl. Categorical Struct.
Julia Padberg
2008 J jnl
Layered Architecture Consistency for MANETs: Introducing New Team Members.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
2008 J jnl
Negative Application Conditions for Reconfigurable Place/Transition Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
2008 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Kathrin Hoffmann, Julia Padberg
2008 J jnl
Reconfigurable Open Algebraic High-Level Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Conny Ullrich, Julia Padberg
2008 — conf
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2007 J jnl
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks.
Bull. EATCS
Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann
2007 — conf
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
ICATPN
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
2007 B conf
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.
FASE
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
2007 — conf
Towards Component Verification in the Generic Component Framework.
FESCA@ETAPS
Julia Padberg, Hartmut Ehrig, Fernando Orejas
2006 J jnl
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Informaticae
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
2006 J jnl
Editorial.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julia Padberg, Tiziana Margaria, Gabriele Taentzer
2006 J jnl
Foreword.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2006 J jnl
Petri net modules in the transformation-based component framework.
J. Log. Algebraic Methods Program.
Julia Padberg, Hartmut Ehrig
2006 — conf
Towards Multiple Access in Generic Component Architectures.
FESCA@ETAPS
Markus Klein, Julia Padberg, Fernando Orejas
2006 B conf
Workshop on Petri Nets and Graph Transformations.
ICGT
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2005 J jnl
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems.
Bull. EATCS
Julia Padberg
2005 — conf
Loose Semantics of Petri Nets.
Formal Methods in Software and Systems Modeling
Julia Padberg, Hans-Jörg Kreowski
2005 — ed.
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004
PNGT@ICGT
Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2004 — conf
A Generic Framework for Connector Architectures based on Components and Transformations.
FESCA@ETAPS
Hartmut Ehrig, Julia Padberg, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
2004 B conf
Adhesive High-Level Replacement Categories and Systems.
ICGT
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
2004 — conf
Preface.
PNGT@ICGT
Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2004 J jnl
Safety Properties in Petri Net Modules.
Trans. SDPS
Julia Padberg
2004 — conf
Transformations of Petri Nets.
FoVMT
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2004 B conf
Workshop on Petri Nets and Graph Transformations.
ICGT
Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
2003 — conf
Case Study: Modelling Telecom Services with Petri Net Modules
UNIGRA
Julia Padberg
2003 — conf
Graph Grammars and Petri Net Transformations.
Lectures on Concurrency and Petri Nets
Hartmut Ehrig, Julia Padberg
2003 — conf
Rule-Based Refinement of Petri Nets: A Survey.
Petri Net Technology for Communication-Based Systems
Julia Padberg, Milan Urbásek
2003 — conf
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
2002 — conf
Basic Ideas for Transformations of Specification Architectures.
Software Evolution Through Transformations @ ICGT
Julia Padberg
2002 J jnl
Component-Based System Development.
Trans. SDPS
Hartmut Ehrig, Julia Padberg
2002 — conf
High-Level Net Processes.
Formal and Natural Computing
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel
2002 J jnl
Petri Net Based Components for Evolvable Architectures.
Trans. SDPS
Julia Padberg, Herbert Weber, Asuman Sünbül
2002 J jnl
Petri Net Modules.
Trans. SDPS
Julia Padberg
2002 B conf
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.
ICGT
Julia Padberg, Bettina Enders
2002 B conf
Transforming Specification Architectures by GenGED.
ICGT
Roswitha Bardohl, Claudia Ermel, Julia Padberg
2001 — conf
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.
Unifying Petri Nets
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg
2001 — ch.
Classification of Petri Nets Using Adjoint Functors.
Current Trends in Theoretical Computer Science
Julia Padberg
2001 J jnl
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Trans. SDPS
Julia Padberg, L. Jansen, Hartmut Ehrig, Eckehard Schnieder, Reiko Heckel
2001 J jnl
Evolutionary Development of Business Process Centered Architectures using Component Technologies.
Trans. SDPS
Asuman Sünbül, Herbert Weber, Julia Padberg
2001 — ch.
From Basic Views and Aspects to Integration of Specification Formalisms.
Current Trends in Theoretical Computer Science
Hartmut Ehrig, Julia Padberg, Fernando Orejas
2001 J jnl
Integration and Collaboration Based on Graphical Techniques (Editorial).
Trans. SDPS
Hartmut Ehrig, Michael Goedicke, Julia Padberg
2001 — conf
Parameterized Net Classes: A Uniform Approach to Petri Net Classes.
Unifying Petri Nets
Julia Padberg, Hartmut Ehrig
2001 — conf
Preface.
UNIGRA
Hartmut Ehrig, Claudia Ermel, Julia Padberg
2001 J jnl
Rule-based refinement of high-level nets preserving safety properties.
Sci. Comput. Program.
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
2001 — ed.
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001
UNIGRA
Hartmut Ehrig, Claudia Ermel, Julia Padberg
2001 — ed.
Unifying Petri Nets, Advances in Petri Nets
Unifying Petri Nets
Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg
2001 — conf
Visual Design of Software Architecture and Evolution based on Graph Transformation.
UNIGRA
Claudia Ermel, Roswitha Bardohl, Julia Padberg
2000 — conf
Rule-Based and Visual Model Evolution using GENGED.
ICALP Satellite Workshops
Julia Padberg, Claudia Ermel, Roswitha Bardohl
2000 B conf
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
FASE
Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
1999 J jnl
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.
Appl. Categorical Struct.
Julia Padberg
1999 J jnl
From Basic Views and Aspects to Integration of Specification Formalisms.
Bull. EATCS
Hartmut Ehrig, Julia Padberg, Fernando Orejas
1998 — conf
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets.
WADT
Julia Padberg
1998 J jnl
Classification of Petri Nets Using Adjoint Functors.
Bull. EATCS
Julia Padberg
1998 — conf
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.
TAGT
Hartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas, Julia Padberg, Grzegorz Rozenberg
1998 — conf
Incremental Development of Safety Properties in Petri Net Transformations.
TAGT
Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
1998 B conf
Rule-Based Refinement of High-Level Nets Preserving Safety Properties.
FASE
Julia Padberg, Magdalena Gajewsky, Claudia Ermel
1997 — conf
A Uniform Approach to Petri Nets.
Foundations of Computer Science: Potential - Theory - Cognition
Hartmut Ehrig, Julia Padberg
1997 B conf
Horizontal and Vertical Structuring Techniques for Statecharts.
CONCUR
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
1997 J jnl
How to Transfer Concepts of Abstract Data Types to Petri Nets?
Bull. EATCS
Hartmut Ehrig, A. Merten, Julia Padberg
1996 — book
Abstract Petri nets - uniform approach and rule-based refinement.
Julia Padberg
1995 J jnl
Algebraic High-Level Net Transformation Systems.
Math. Struct. Comput. Sci.
Julia Padberg, Hartmut Ehrig, Leila Ribeiro
1994 J jnl
Linking Algebraic High level Nets and Dynamic Abstract Data.
Bull. EATCS
Hartmut Ehrig, Julia Padberg
1994 — conf
The Category of Typed Graph Grammars and its Adjunctions with Categories.
TAGT
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg
1993 J jnl
Algebreic high-level net transformation systems: a survey over theory and applications.
Bull. EATCS
Julia Padberg
1993 — conf
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.
SBES
Leila Ribeiro, Hartmut Ehrig, Julia Padberg
1992 — conf
Algebraic High-Level Nets: Petri Nets Revisited.
COMPASS/ADT
Hartmut Ehrig, Julia Padberg, Leila Ribeiro