ETAPS 2008

Programme of GT-VMT at ETAPS 2008

Opening
INVITED TALK: Domain-Specific Modelling in Practice; Juha-Pekka Tolvanen, (MetaCase and University of Jyväskylä, Finland)

Model Transformations and Queries: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars; Frank Hermann, Hartmut Ehrig (TU Berlin, Germany), Karsten Ehrig (Univ. of Leicester, UK); Verifying Model Transformations by Structural Correspondence; Anantha Narayanan, Gabor Karsai (Vanderbilt Univ., TN, USA); Extending Graph Query Languages by Reduction; Erhard Weinell (RWTH Aachen, Germany); Improved Live Sequence Chart to Automata Translation for Verification; Rahul Kumar, Eric Mercer (Brigham Young Univ., UT, USA)

Distribution and Semantics: 05-L: Composing control flow and formula rules for computing on grids; Paolo Bottoni (Univ. of Rome, Italy) , Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka (Univ. of Aizu, Japan); A Graph-Based Semantics for UML Class and Object Diagrams; Anneke Kleppe, Arend Rensink (both Univ. of Twente, The Netherlands); Graph Transformations for the Resource Description Framework; Benjamin Braatz (TU Berlin), Christoph Brandt (Univ. of Luxemburg); Controlling resource access in Directed Bigraphs; Davide Grohmann, Marino Miculan (Univ. of Udine, Italy); Interaction nets: programming language design and implementation; Abubaker Hassan (Univ. of Sussex, UK), Ian Mackie (Ecole Polytechnique, Palaiseau Cedex, France), Shinya Sato (Himeji Dokkyo Univ., Hyogo,Japan)

Analysis and Visualization: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences; Leen Lambers, Hartmut Ehrig (TU Berlin, Germany), Gabriele Taentzer (Univ. of Marburg, Germany); Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars; Florian Brieler, Mark Minas (Univ. of the Armed Forces, Munich, Germany); A Static Layout Algorithm for DiaMeta.; Sonja Maier, Mark Minas (Univ. of the Armed Forces, Munich, Germany)

INVITED TALK: Model-based Simulation; Hans Vangheluwe, (Modelling, Simulation and Design Lab, McGill University, Canada)

Dynamic Reconfiguration: Dynamic Software Architectures Verification using DynAlloy; Antonio Bucchiarone (IMT of Lucca, Italy), Juan Galeotti (Univ. of Buenos Aires, Argentina); Reconfiguration of Reo Connectors Triggered by Dataflow; Christian Koehler, David Costa, Jose Proenca, Farhad Arbab (CWI, Amsterdam, The Netherlands); Negative Application Conditions for Reconfigurable Place/Transition Systems; Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg (TU Berlin, Germany); Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets; Enrico Biermann, Tony Modica (TU Berlin, Germany)

Verification and Programming: The GP Programming System; Greg Manning, Detlef Plump (Univ. of York, UK); Type Checking C++ Template Instantiation by Graph Programs; Karl Azab, Karl-Heinz Pennemann (Univ. of Oldenburg, Germany); A Graph-Based Type Representation for Objects; Cong-Cong Xing (Nicholls State Univ., LA, USA); Using Graph Transformation Systems to Specify and Verify Data Abstractions; Luciano Baresi, Carlo Ghezzi, Andrea Mocci (Polit. of Milan, Italy), Mattia Monga (Univ. of Milan, Italy); Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators; Steffen Mazanek, Mark Minas (Univ. of the Armed Forces, Munich, Germany)

Case Studies and Tools: Visual Design and Reasoning with the Use of Hypergraph Transformations; Grazyna Slusarczyk, Ewa Grabska (Jagiellonian University, Krakow, Poland), Truong Le (Polish-Japanese Inst. of Information Technology, Warszawa, Poland); Graph Transformation Model of a Triangulated Network of Mobile Units; Stefan Gruner (Univ. of Pretoria, South Africa); Some Applications of Graph Transformations in Modeling of Mechanical Systems; Stan Zawislak, Aukasz Szypua, Miroslaw Mysliwiec, Adam Jagosz (Univ. of Bielsko-Biala, Poland)

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13