default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ICGT 2010: Enschede, The Netherlands
- Hartmut Ehrig, Arend Rensink
, Grzegorz Rozenberg, Andy Schürr:
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
Graphs and Logic
- 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
Behavioural Analysis
- 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
Models and Model Transformation
- 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
Algebraic Foundations
- Michael Löwe:
Graph Rewriting in Span-Categories. 218-233 - Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas:
Finitary ℳ-Adhesive Categories. 234-249 - Tobias Heindel:
Hereditary Pushouts Reconsidered. 250-265
Applications
- 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
Rule Composition
- 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
Doctoral Symposium
- 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
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.
last updated on 2026-01-13 23:57 CET 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:
