GraBaTs 2014

Date: Jul 25, 2014 2:00 am – Jul 25, 2014 11:00 am
Location: York, UK

8th International Workshop on Graph-Based Tools

A satellite event of ICGT'14

http://www.hpi.uni-potsdam.de/giese/events/2014/icgt/index.html

University of York, UK

====================================================================

*** Aims and Scope ***

The 8th International Workshop on Graph-Based Tools is the continuation
of the GraBaTs series of workshops which provides a forum for researchers
and practitioners interested in the development and application of
graph-based tools. Based on rigorous mathematical concepts, graphs are
at the core of tools and techniques in various application areas and
are used for many practical concerns.

The topics of interests are (but are not limited to):

  • Model-driven development tools,
  • Meta modeling tools, generators and frameworks,
  • Visual language tools (UML, Domain-specific languages, etc.)
  • Model transformation and model management tools,
  • Formal graph-based modeling tools,
  • Visualization, animation and simulation tools,
  • Analysis of models, transformations and programs (validation, verification, static analysis, quantitative analysis, testing, etc.),
  • Tool integration techniques,
  • Software engineering and software evolution tools,
  • Efficient algorithms for graph models (pattern matching, handling of large graph models, graph traversal algorithms, etc.).


In all these areas, tools are developed that retrieve, store, transform
and display graphs. It is the purpose of this workshop to survey the
state of the art of graph-based tools, bring together developers of
graph-based tools in different application fields and to encourage new
tool development cooperations. We solicit papers on the aforementioned
topics, as well as case studies, empirical and experimental results on
tool scalability and uses of graph-based tools on novel application areas.

*** Program Committee ***

Artur Boronat, University of Leicester (UK)
Claudia Ermel, Technical University of Berlin (Germany)
Joel Greenyer, University of Hannover (Germany)
Esther Guerra, Universidad Autónoma de Madrid (Spai)n
Dimitris Kolovos, University of York (UK)
Christian Krause, Hasso Plattner Institute in Potsdam (Germany)
Tihamer Levendovszky, Vanderbilt University (USA)
Mark Minas, Universität der Bundeswehr München (Germany)
Arend Rensink, University of Twente (The Netherlands)
Gabriele Taentzer, Philipps-Universität Marburg (Germany)
Matthias Tichy, Chalmers | University of Gothenburg (Sweden)
Pieter Van Gorp, Eindhoven University of Technology (The Netherlands)
Hans Vangheluwe, University of Antwerp (Belgium) / McGill University
(Canada)
Gergely Varró, TU Darmstadt (Germany)
Bernhard Westfechtel, University of Bayreuth (Germany)
Andreas Winter, Carl von Ossietzky University, Oldenburg (Germany)
Albert Zündorf, University of Kassel (Germany)

  • CPS Technologies
  • Design Automation Tools
  • Foundations
  • Modeling
  • Simulation
  • Validation and Verification
  • Workshop
  • 2014
Submitted by Anonymous on