default search action
Julia Padberg
Person information
- affiliation: University of Applied Sciences Hamburg, Department Computer Science, Germany
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i5]Martin Becke, Julia Padberg:
Der Weg zur digitalen Arbeitsmappe: Digitales Prüfungswesen mit Zertifizierung. CoRR abs/2408.09184 (2024) - 2023
- [i4]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 abs/2301.06885 (2023)
2010 – 2019
- 2018
- [c44]Barbara König
, Dennis Nolte
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets 2018: 83-104 - [c43]Julia Padberg, Laïd Kahloul
Overview of Reconfigurable Petri Nets. Graph Transformation, Specifications, and Nets 2018: 201-222 - [c42]Jan-Uriel Lorbeer, Julia Padberg:
Hierarchical, Reconfigurable Petri Nets. Modellierung (Workshops) 2018: 167-186 - [c41]Julia Padberg, Alexander Schlaefer, Sibylle Schupp:
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering 2018: 209-210 - [i3]Julia Padberg:
Subtyping for Hierarchical, Reconfigurable Petri Nets. CoRR abs/1802.04698 (2018) - 2017
- [c40]Julia Padberg:
Verification of Reconfigurable Petri Nets. PNSE @ Petri Nets 2017: 27-28 - [c39]Julia Padberg:
Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs. ICGT 2017: 20-35 - [i2]Julia Padberg:
Towards M-Adhesive Categories of Corecursive Graphs. CoRR abs/1702.04650 (2017) - 2016
- [c38]Julia Padberg, Alexander Schulz:
Model Checking Reconfigurable Petri Nets with Maude. ICGT 2016: 54-70 - 2015
- [c37]Julia Padberg:
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs. ICGT 2015: 104-120 - 2014
- [j35]Julia Padberg, Mathias Blumreiter:
Non-Deterministic Matching Algorithm for Net Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014) - [j34]Julia Padberg, Alexander Schulz:
Towards Model Checking Reconfigurable Petri Nets using Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014) - [i1]Julia Padberg:
Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities. CoRR abs/1409.6856 (2014) - 2012
- [j33]Julia Padberg:
Abstract Interleaving Semantics for Reconfigurable Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012) - [j32]Julia Padberg, Kathrin Hoffmann:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012) - [j31]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) - 2010
- [j30]Ulrike Golas
Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 40 (2010) - [j29]Fernando Orejas
A Generic Approach to Connector Architectures Part I: The General Framework. Fundam. Informaticae 99(1): 63-93 (2010) - [j28]Fernando Orejas
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP. Fundam. Informaticae 99(1): 95-124 (2010)
2000 – 2009
- 2008
- [j27]Julia Padberg:
Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components. Appl. Categorical Struct. 16(3): 333-364 (2008) - [j26]Alexander Rein, Ulrike Prange
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j25]Enrico Biermann, Kathrin Hoffmann, Julia Padberg:
Layered Architecture Consistency for MANETs: Introducing New Team Members. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j24]Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg:
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j23]Kathrin Hoffmann, Julia Padberg:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 12 (2008) - [j22]Conny Ullrich, Julia Padberg:
Reconfigurable Open Algebraic High-Level Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 14 (2008) - [c36]Ulrike Prange
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113 - [c35]Hartmut Ehrig, Kathrin Hoffmann, Karsten Gabriel, Julia Padberg:
Composition and Independence of High-Level Net Processes. FMWS@CONCUR 2008: 59-71 - 2007
- [j21]Julia Padberg, Hartmut Ehrig, Kathrin Hoffmann:
Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks. Bull. EATCS 91: 120-124 (2007) - [c34]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN 2007: 104-123 - [c33]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 - [c32]Julia Padberg, Hartmut Ehrig, Fernando Orejas
Towards Component Verification in the Generic Component Framework. FESCA@ETAPS 2007: 37-53 - 2006
- [j20]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006) - [j19]Julia Padberg, Tiziana Margaria, Gabriele Taentzer:
Editorial. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [j18]Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel:
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74(1): 1-29 (2006) - [j17]Julia Padberg, Hartmut Ehrig:
Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods Program. 67(1-2): 198-225 (2006) - [c31]Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2006: 467-469 - [c30]Markus Klein, Julia Padberg, Fernando Orejas
Towards Multiple Access in Generic Component Architectures. FESCA@ETAPS 2006: 25-45 - 2005
- [j16]Julia Padberg:
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bull. EATCS 87: 138-154 (2005) - [c29]Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling 2005: 370-384 - [e3]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(2), Elsevier 2005 [contents] - 2004
- [j15]Julia Padberg:
Safety Properties in Petri Net Modules. Trans. SDPS 8(4): 65-78 (2004) - [c28]Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160 - [c27]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Workshop on Petri Nets and Graph Transformations. ICGT 2004: 442-444 - [c26]Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface. PNGT@ICGT 2004: 1-3 - [c25]Hartmut Ehrig, Julia Padberg, Benjamin Braatz
A Generic Framework for Connector Architectures based on Components and Transformations. FESCA@ETAPS 2004: 53-67 - [c24]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations of Petri Nets. FoVMT 2004: 151-172 - 2003
- [c23]Hartmut Ehrig, Julia Padberg:
Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536 - [c22]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 - [c21]Julia Padberg, Milan Urbásek:
Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196 - [c20]Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules. UNIGRA 2003: 34-45 - 2002
- [j14]Julia Padberg, Herbert Weber, Asuman Sünbül:
Petri Net Based Components for Evolvable Architectures. Trans. SDPS 6(3): 105-114 (2002) - [j13]Hartmut Ehrig, Julia Padberg:
Component-Based System Development. Trans. SDPS 6(4): 1 (2002) - [j12]Julia Padberg:
Petri Net Modules. Trans. SDPS 6(4): 105-120 (2002) - [c19]Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, Reiko Heckel:
High-Level Net Processes. Formal and Natural Computing 2002: 191-219 - [c18]Roswitha Bardohl, Claudia Ermel, Julia Padberg:
Transforming Specification Architectures by GenGED. ICGT 2002: 30-44 - [c17]Julia Padberg, Bettina Enders:
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ICGT 2002: 334-350 - [c16]Julia Padberg:
Basic Ideas for Transformations of Specification Architectures. Software Evolution Through Transformations @ ICGT 2002: 46-58 - 2001
- [j11]Hartmut Ehrig, Michael Goedicke, Julia Padberg:
Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS 5(1): 1-2 (2001) - [j10]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): 3-21 (2001) - [j9]Asuman Sünbül, Herbert Weber, Julia Padberg:
Evolutionary Development of Business Process Centered Architectures using Component Technologies. Trans. SDPS 5(3): 13-24 (2001) - [j8]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties. Sci. Comput. Program. 40(1): 97-118 (2001) - [c15]Julia Padberg, Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Unifying Petri Nets 2001: 173-229 - [c14]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 - [c13]Claudia Ermel, Roswitha Bardohl, Julia Padberg:
Visual Design of Software Architecture and Evolution based on Graph Transformation. UNIGRA 2001: 52-66 - [c12]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Preface. UNIGRA 2001: 188-189 - [p2]Julia Padberg:
Classification of Petri Nets Using Adjoint Functors. Current Trends in Theoretical Computer Science 2001: 171-179 - [p1]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 - [e2]Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9 [contents] - [e1]Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents] - 2000
- [c11]Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. FASE 2000: 249-265 - [c10]Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476
1990 – 1999
- 1999
- [j7]Julia Padberg:
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Appl. Categorical Struct. 7(4): 371-403 (1999) - [j6]Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Bull. EATCS 69: 98-109 (1999) - 1998
- [j5]Julia Padberg:
Classification of Petri Nets Using Adjoint Functors. Bull. EATCS 66: 85-91 (1998) - [c9]Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238 - [c8]Hartmut Ehrig, Reiko Heckel, Mercè Llabrés
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. TAGT 1998: 85-102 - [c7]Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann:
Incremental Development of Safety Properties in Petri Net Transformations. TAGT 1998: 410-425 - [c6]Julia Padberg:
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. WADT 1998: 241-260 - 1997
- [j4]Hartmut Ehrig, A. Merten, Julia Padberg:
How to Transfer Concepts of Abstract Data Types to Petri Nets? Bull. EATCS 62 (1997) - [c5]Hartmut Ehrig, Julia Padberg:
A Uniform Approach to Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 219-231 - [c4]Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg:
Horizontal and Vertical Structuring Techniques for Statecharts. CONCUR 1997: 181-195 - 1996
- [b1]Julia Padberg:
Abstract Petri nets - uniform approach and rule-based refinement. Technical University of Berlin, Germany, Berichte aus der Informatik, Shaker 1996, ISBN 978-3-8265-1698-6, pp. 1-178 - 1995
- [j3]Julia Padberg, Hartmut Ehrig, Leila Ribeiro:
Algebraic High-Level Net Transformation Systems. Math. Struct. Comput. Sci. 5(2): 217-256 (1995) - 1994
- [j2]Hartmut Ehrig, Julia Padberg:
Linking Algebraic High level Nets and Dynamic Abstract Data. Bull. EATCS 54: 132-144 (1994) - [c3]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 - 1993
- [j1]Julia Padberg:
Algebreic high-level net transformation systems: a survey over theory and applications. Bull. EATCS 51: 102-110 (1993) - [c2]Leila Ribeiro, Hartmut Ehrig, Julia Padberg:
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. SBES 1993: 1-16 - 1992
- [c1]Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited. COMPASS/ADT 1992: 188-206
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: