5. ICGT 2010: Enschede, The Netherlands

Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr (Eds.): Graph Transformations - 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings. Lecture Notes in Computer Science 6372 Springer 2010, ISBN 978-3-642-15927-5

Invited Speakers

Javier Esparza:
A False History of True Concurrency: From Petri to Tools. 1-2
Christoph Brandt, Frank Hermann:
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? 3-26

Hans-Jörg Kreowski, Sabine Kuske, Robert Wille:
Graph Transformation Units Guided by a SAT Solver. 27-42
Fernando Orejas, Leen Lambers:
Delaying Constraint Solving in Symbolic Graph Transformation. 43-58
Philippe Balbiani, Rachid Echahed, Andreas Herzig:
A Dynamic Logic for Termgraph Rewriting. 59-74

Victor Khomenko:
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. 75-90
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon:
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. 91-106
Barbara König, Javier Esparza:
Verification of Graph Transformation Systems with Context-Free Specifications. 107-122
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. 123-138
Christopher M. Poskitt, Detlef Plump:
A Hoare Calculus for Graph Programs. 139-154

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. 155-170
Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer:
Conflict Detection for Model Versioning Based on Graph Modifications. 171-186
Stefan Jurack, Gabriele Taentzer:
A Component Concept for Typed Graphs with Inheritance and Containment Structures. 187-202
Dénes Bisztray, Reiko Heckel:
Combining Termination Criteria by Isolating Deletion. 203-217

Michael Löwe:
Graph Rewriting in Span-Categories. 218-233
Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas:
Finitary M\mathcal{M}-Adhesive Categories. 234-249
Tobias Heindel:
Hereditary Pushouts Reconsidered. 250-265

Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini:
Graph Transformation for Domain-Specific Discrete Event Time Simulation. 266-281
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. 282-297
Antoine Spicher, Olivier Michel, Jean-Louis Giavitto:
Declarative Mesh Subdivision Using Topological Rewriting in MGS. 298-313
Åsa Hagström, Francesco Parisi-Presicce:
A Model for Distribution and Revocation of Certificates. 314-329

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas:
Local Confluence for Rules with Nested Application Conditions. 330-345
Ulrike Golas, Hartmut Ehrig, Annegret Habel:
Multi-Amalgamation in Adhesive Categories. 346-361
Wolfram Kahl:
Amalgamating Pushout and Pullback Graph Transformation in Collagories. 362-378

Andrea Corradini, Maarten de Mol:
ICGT 2010 Doctoral Symposium. 379-380
Enrico Biermann:
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment. 381-383
Christoph Blume:
Recognizable Graph Languages for the Verification of Dynamic Systems. 384-387
Adwoa Donyina:
Stochastic Modelling and Simulation of Dynamic Resource Allocation. 388-390
Mathias Hülsbusch:
Bisimulation Theory for Graph Transformation Systems. 391-393
Eugen Jiresch:
Realizing Impure Functions in Interaction Nets. 394-396
Stefan Jurack:
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures. 397-399
Tony Modica:
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems. 400-402
Giacoma Valentina Monreale:
LTS Semantics for Process Calculi from Their Graphical Encodings. 403-406
Fawad Qayum:
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems. 407-409
Hendrik Radke:
Correctness of Graph Programs Relative to HR⁺ Conditions. 410-412
Zoltán Ujhelyi:
Static Type Checking of Model Transformation Programs. 413-415
Eduardo Zambon:
Using Graph Transformations and Graph Abstractions for Software Verification. 416-418

Last update Fri May 25 08:14:42 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page