- 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 - Julia Padberg, Hartmut Ehrig, Fernando Orejas
:
Towards Component Verification in the Generic Component Framework. FESCA@ETAPS 2007: 37-53 - 2006
- Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Foreword. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 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): 1-29 (2006) - Julia Padberg, Hartmut Ehrig:
Petri net modules in the transformation-based component framework. J. Log. Algebraic Methods 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 - Markus Klein, Julia Padberg, Fernando Orejas
:
Towards Multiple Access in Generic Component Architectures. FESCA@ETAPS 2006: 25-45 - 2005
- Julia Padberg:
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. Bull. EATCS 87: 138-154 (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, 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
- Julia Padberg:
Safety Properties in Petri Net Modules. Trans. SDPS 8(4): 65-78 (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 - Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
Transformations of Petri Nets. FoVMT 2004: 151-172 - 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. FESCA@ETAPS 2004: 53-67 - Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface. PNGT@ICGT 2004: 1-3 - 2003
- Hartmut Ehrig, Julia Padberg:
Graph Grammars and Petri Net Transformations. Lectures on Concurrency and Petri Nets 2003: 496-536 - Julia Padberg, Milan Urbásek:
Rule-Based Refinement of Petri Nets: A Survey. Petri Net Technology for Communication-Based Systems 2003: 161-196 - 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:
Case Study: Modelling Telecom Services with Petri Net Modules. UNIGRA 2003: 34-45 - 2002
- Hartmut Ehrig, Julia Padberg:
Component-Based System Development. Trans. SDPS 6(4): 1 (2002) - Julia Padberg:
Petri Net Modules. Trans. SDPS 6(4): 105-120 (2002) - Julia Padberg, Herbert Weber, Asuman Sünbül:
Petri Net Based Components for Evolvable Architectures. Trans. SDPS 6(3): 105-114 (2002) - 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 - Julia Padberg:
Basic Ideas for Transformations of Specification Architectures. Software Evolution Through Transformations @ ICGT 2002: 46-58 - 2001
- Hartmut Ehrig, Michael Goedicke, Julia Padberg:
Integration and Collaboration Based on Graphical Techniques (Editorial). Trans. SDPS 5(1): 1-2 (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): 3-21 (2001)