Invited Speakers |
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza |
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann |
Graphs and Logic / Session 1: |
Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille |
Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers |
A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig |
Behavioural Analysis / Session 2: |
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko |
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon |
Verification of Graph Transformation Systems with Context-Free Specifications |
Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari |
A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump |
Models and Model Transformation / Session 3: |
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas |
Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer |
A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack |
Combining Termination Criteria by Isolating Deletion / Dénes Bisztray ; Reiko Heckel |
Algebraic Foundations / Session 4: |
Graph Rewriting in Span-Categories / Michael Löwe |
Finitary M-Adhesive Categories / Benjamin Braatz ; Karsten Gabriel |
Hereditary Pushouts Reconsidered / Tobias Heindel |
Applications / Session 5: |
Graph Transformation for Domain-Specific Discrete Event Time Simulation / Juan de Lara ; Esther Guerra ; Artur Boronat ; Paolo Torrini |
Counterpart Semantics for a Second-Order ?-Calculus / Alberto Lluch Lafuente ; Andrea Vandin |
Declarative Mesh Subdivision Using Topological Rewriting in MGS / Antoine Spicher ; Olivier Michel ; Jean-Louis Giavitto |
A Model for Distribution and Revocation of Certificates / Åsa Hagström ; Francesco Parisi-Presicce |
Rule Composition / Session 6: |
Local Confluence for Rules with Nested Application Conditions / Annegret Habel |
Multi-Amalgamation in Adhesive Categories |
Amalgamating Pushout and Pullback Graph Transformation in Collagories / Wolfram Kahl |
Doctoral Symposium |
ICGT 2010 Doctoral Symposium (Introduction) / Maarten de Mol |
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment / Enrico Biermann |
Recognizable Graph Languages for the Verification of Dynamic Systems / Christoph Blume |
Stochastic Modelling and Simulation of Dynamic Resource Allocation / Adwoa Donyina |
Bisimulation Theory for Graph Transformation Systems / Mathias Hülsbusch |
Realizing Impure Functions in Interaction Nets / Eugen Jiresch |
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures |
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems / Tony Modica |
LTS Semantics for Process Calculi from Their Graphical Encodings |
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems / Fawad Qayum |
Static Type Checking of Model Transformation Programs / Hendrik Radke ; Zoltán Ujhelyi |
Using Graph Transformations and Graph Abstractions for Software Verification / Eduardo Zambon |
Author Index |
Invited Speakers |
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza |
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann |