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
Graphs and Logic
Behavioural Analysis
Models and Model Transformation
Algebraic Foundations
Applications
Rule Composition
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

Last update Mon May 20 23:02:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page