ICGT B

37 papers

YearTitle / Authors
20063rd International Workshop on Software Evolution Through Transformations: Embracing Change.
Jean-Marie Favre, Reiko Heckel, Tom Mens
2006Adaptive Star Grammars.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
2006Automata on Directed Graphs: Edge Versus Vertex Marking.
Dietmar Berwanger, David Janin
2006Autonomous Units and Their Semantics - The Sequential Case.
Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
2006Categorical Foundations of Distributed Graph Transformation.
Hartmut Ehrig, Fernando Orejas, Ulrike Prange
2006Composition and Decomposition of DPO Transformations with Borrowed Context.
Paolo Baldan, Hartmut Ehrig, Barbara König
2006Conflict Detection for Graph Transformation with Negative Application Conditions.
Leen Lambers, Hartmut Ehrig, Fernando Orejas
2006Dynamic Graph Transformation Systems.
Roberto Bruni, Hernán C. Melgratti
2006GrGen: A Fast SPO-Based Graph Rewriting Tool.
Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski
2006Graph Transactions as Processes.
Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
2006Graph Transformation in Constant Time.
Mike Dodds, Detlef Plump
2006Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
2006Heuristic Search for the Analysis of Graph Transition Systems.
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
2006Idioms of Logical Modelling.
Daniel Jackson
2006Introductory Tutorial on Foundations and Applications of Graph Transformation.
Reiko Heckel
2006Matrix Approach to Graph Transformation: Matching and Sequences.
Pedro Pablo Pérez Velasco, Juan de Lara
2006Model View Management with Triple Graph Transformation Systems.
Esther Guerra, Juan de Lara
2006Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.
Gregor Engels, Marc Lohmann, Stefan Sauer, Reiko Heckel
2006Molecular Analysis of Metabolic Pathway with Graph Transformation.
Karsten Ehrig, Reiko Heckel, Georgios Lajios
2006Narrowing Data-Structures with Pointers.
Rachid Echahed, Nicolas Peltier
2006Nested Quantification in Graph Transformation Rules.
Arend Rensink
2006New Algorithms and Applications of Cyclic Reference Counting.
Rafael Dueire Lins
2006Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.
Odorico Machado Mendizabal, Fernando Luís Dotti
2006Non-materialized Model View Specification with Triple Graph Grammars.
Johannes Jakob, Alexander Königs, Andy Schürr
2006On the Use of Alloy to Analyze Graph Transformation Systems.
Luciano Baresi, Paola Spoletini
2006Process Bisimulation
Filippo Bonchi, Fabio Gadducci, Barbara König
2006Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.
Fabian Büttner, Martin Gogolla
2006Satisfiability of High-Level Conditions.
Annegret Habel, Karl-Heinz Pennemann
2006Sesqui-Pushout Rewriting.
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
2006String Generating Hypergraph Grammars with Word Order Restrictions.
Martin Riedl, Sebastian Seifert, Ingrid Fischer
2006Temporal Graph Queries to Support Software Evolution.
Tobias Rötschke, Andy Schürr
2006Termination Analysis of Model Transformations by Petri Nets.
Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
2006Toposes Are Adhesive.
Stephen Lack, Pawel Sobocinski
2006Weakest Preconditions for High-Level Programs.
Annegret Habel, Karl-Heinz Pennemann, Arend Rensink
2006Workshop on Graph Computation Models.
Yves Métivier, Mohamed Mosbah
2006Workshop on Graph-Based Tools.
Albert Zündorf, Dániel Varró
2006Workshop on Petri Nets and Graph Transformations.
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg