ICGT/SPIN > Joint Programme

Overall schedule and room assignment

Detailed program

Monday, 27 September

Tuesday, 28 September

Wednesday, 29 September

Thursday, 30 September

Friday, 1 October

Saturday, 2 October

SPIN Program

Monday, 27 September

SPIN Keynote 1 [Room: Amphitheater]

[14:00 - 15:00] SMT-Based Software Model Checking. Alessandro Cimatti

SPIN Session 1: SMT Solving [Room: Amphitheater]

[15:00 - 15:30] Symbolic Object Code Analysis. Jan Tobias Mühlberg, Gerald Lüttgen

SPIN Session 2: Model Checking in Context [Room: Amphitheater]

[16:00 - 16:30] Experimental Comparison of Concolic and Random Testing for Java Card Applets. Kari Kähkönen, Roland Kindermann, Keijo Heljanko and Ilkka Niemelä

[16:30 - 17:00] Combining SPIN with ns-2 for protocol optimization. Pedro Merino and Alberto Salmerón

[17:00 - 17:30] Automatic Generation of Model Checking Scripts based on Environment Modeling. Kenro Yatake and Toshiaki Aoki

Tuesday, 28 September

SPIN Keynote 2 [Room: Amphitheater]

[09:00 - 10:00] Model Checking - Cleared for Take Off. Darren Cofer

SPIN Session 3: Model Checking: Implementation and Performance [Room: Amphitheater]

[10:30 - 11:00] Context-Enhanced Directed Model Checking. Martin Wehrle and Sebastian Kupferschmid

[11:00 - 11:30] Efficient Explicit-State Model Checking on General Purpose Graphics Processors. Damian Sulewski and Stefan Edelkamp

[11:30 - 12:00] The SpinJa Model Checker (Tool Presentation). Marc de Jonge and Theo Ruys

[12:00 - 12:30] Business meeting

SPIN Session 4: LTL and Büchi Automata [Room: Amphitheater]

[14:00 - 14:30] On the Virtue of Patience: Minimizing Büchi Automata. Rüdiger Ehlers and Bernd Finkbeiner

[14:30 - 15:00] Enacting Declarative Languages using LTL: Avoiding Errors and Improving Performance. Maja Pesic, Dragan Bosnacki and Wil van der Aalst

[15:00 - 15:30] Nevertrace Claims for Model Checking. Zhe Chen and Gilles Motet

Wednesday, 29 September

Joint ICGT/SPIN Keynote [Chair: Arend Rensink] [Room: Agora]

[09:30 - 10:30] A False History of True Concurrency: from Petri to Tools. Javier Esparza

SPIN Session 5: Infinite State Models [Room: Amphitheater]

[11:00 - 11:30] Analysing Mu-Calculus Properties of Pushdown Systems (Tool Presentation). Matthew Hague and Luke Ong

[11:30 - 12:00] Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Moritz Hahn and Lijun Zhang

[12:00 - 12:30] An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. Alexander Linden and Pierre Wolper

SPIN Session 6: Sponsors / Concurrent Software [Room: Amphitheater]

[13:30 - 13:45] Model checking safety critical systems (in practice). Martin Keesen (Logica), Aernoudt Bottemanne (Verum Software Technologies BV).

[13:45 - 14:00] Graph Based Car Configuration: Cost Reduction in Automotive through first-time-right business processes. Gaetse Meester (Better Be)

[14:00 - 14:30] Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. Naghmeh Ghafari, Zvonimir Rakamaric and Alan Hu

[14:30 - 15:00] One Stack to Run Them All. Nicholas Kidd, Suresh Jagannathan and Jan Vitek

ICGT Program

Wednesday, 29 September

Joint ICGT/SPIN Keynote [Chair: Arend Rensink] [Room: Agora]

[09:30 - 10:30] A False History of True Concurrency: from Petri to Tools. Javier Esparza

ICGT Session 1: Graphs and Logic [Chair: Annegret Habel] [Room: Agora]

[11:00 - 11:30] Graph Transformation Units Guided by a SAT Solver. Hans-Jörg Kreowski, Sabine Kuske and Robert Wille

[11:30 - 12:00] Delaying Constraint Solving in Symbolic Graph Transformation. Fernando Orejas and Leen Lambers

[12:00 - 12:30] A Dynamic Logic for Termgraph Rewriting. Philippe Balbiani, Rachid Echahed and Andreas Herzig

ICGT Session 2A: Behavioural Analysis [Chair: Ugo Montanari] [Room: Agora]

[13:30 - 14:00] A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. Victor Khomenko

[14:00 - 14:30] On the Computation of McMillan's Complete Prefix for Contextual Nets and Graph Grammars. Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König and Stefan Schwoon

[14:30 - 15:00] Verification of Graph-Transformation Systems with Context-Free Specifications. Barbara König and Javier Esparza

ICGT Session 2B: Behavioural Analysis [Chair: Reiko Heckel] [Room: Agora]

[15:30 - 16:00] Saturated LTSs for Adhesive Rewriting Systems. Filippo Bonchi, Fabio Gadducci, Giacoma Monreale and Ugo Montanari

[16:00 - 16:30] A Hoare Calculus for Graph Programs. Christopher M. Poskitt and Detlef Plump

ICGT Doctoral Symposium Session 1A [Chair: Andrea Corradini] [Room: Amphitheater]

[17:00 - 17:20] Recognizable graph languages for the verification of dynamic systems. Christoph Blume

[17:20 - 17:40] Correctness of Graph Programs relative to HR+ Graph Conditions. Hendrik Radke

[17:40 - 18:00] Bisimulation Theory for Graph Transformation Systems. Mathias Hülsbusch

ICGT Doctoral Symposium Session 1B [Chair: Dirk Janssens] [Room: Agora]

[17:00 - 17:20] EMF Model Transformation based on Graph Transformation: Formal Foundation and Tool Environment. Enrico Bierman

[17:20 - 17:40] Formal Modeling and Analysis of Communication Platforms like Skype based on Petri Net Transformation Systems. Tony Modica

[17:40 - 18:00] Stochastic Modelling and Simulation of Dynamic Resource Allocation. Adwoa Donyina

Thursday, 30 September

ICGT Keynote 2 [Chair: Andy Schürr] [Room: Agora]

[09:00 - 10:00] Model Mappings and Synchronization: From Theory to Practice. Krzysztof Czarnecki

ICGT Session 3A: Models and Model Transformation [Chair: Gabriele Taentzer] [Room: Agora]

[10:00 - 10:30] Formal Analysis of Functional Behaviour for Model Transformations based on Triple Graph Grammars. Frank Hermann, Hartmut Ehrig, Fernando Orejas and Ulrike Golas

ICGT Session 3B: Models and Model Transformation [Chair: Dániel Varró] [Room: Agora]

[11:00 - 11:30] Conflict Detection for Model Versioning based on Graph Modifications. Gabriele Taentzer, Claudia Ermel, Philip Langer and Manuel Wimmer

[11:30 - 12:00] A Component Concept for Typed Graphs with Inheritance and Containment Structures. Stefan Jurack and Gabriele Taentzer

[12:00 - 12:30] Combining Termination Criteria by Isolating Deletion. Dénes Bisztray and Reiko Heckel

ICGT Session 4: Algebraic Foundations [Chair: Barbara König] [Room: Agora]

[13:30 - 14:00] Graph Rewriting in Span-Categories. Michael Löwe

[14:00 - 14:30] Finitary M-Adhesive Categories. Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel and Ulrike Golas

[14:30 - 15:00] Hereditary Pushouts Reconsidered. Tobias Heindel

ICGT Doctoral Symposium Session 2A [Chair: Fernando Orejas] [Room: Agora]

[15:30 - 15:50] LTS Semantics for Process Calculi from their Graphical Encodings. Giacoma Monreale

[15:50 - 16:10] Automated Assistance for Search-Based Refactoring using Unfolding of Graph Transformation Systems. Fawad Qayum

[16:10 - 16:30] Realizing Impure Functions in Interaction Nets. Eugen Jiresch

ICGT Doctoral Symposium Session 2B [Chair: Detlef Plump] [Room: Kleine Zaal]

[15:30 - 15:50] Static Type Checking of Model Transformation Programs. Zoltán Ujhelyi

[15:50 - 16:10] Composite Modeling based on Typed Graphs with Inheritance and Containment Structures. Stefan Jurack

[16:10 - 16:30] Using Graph Transformations and Graph Abstractions for Software Verification. Eduardo Zambon

Friday, 1 October

ICGT Keynote 3 [Chair: Hartmut Ehrig] [Room: Agora]

[09:00 - 10:00] How Far Can Enterprise Modeling for Banking be Supported by Graph Transformation? Christoph Brandt

ICGT Session 5A: Applications [Chair: Claudia Ermel] [Room: Agora]

[10:00 - 10:30] Graph Transformation for Domain-Specific Discrete Event Time Simulation. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel and Paolo Torrini

ICGT Session 5B: Applications [Chair: Artur Boronat] [Room: Agora]

[11:00 - 11:30] Counterpart Semantics for a Second-order Mu-calculus. Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin

[11:30 - 12:00] Declarative Mesh Subdivision Using Topological Rewriting in MGS. Antoine Spicher, Olivier Michel and Jean-Louis Giavitto

[12:00 - 12:30] A Model for Distribution and Revocation of Certificates. Åsa Hagström and Francesco Parisi-Presicce

ICGT Session 6: Rule Composition [Chair: Hans-Jörg Kreowski] [Room: Agora]

[13:30 - 14:00] Local Confluence for Rules with Nested Application Conditions. Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas and Ulrike Golas

[14:00 - 14:30] Multi-Amalgamation in Adhesive Categories. Ulrike Golas, Hartmut Ehrig and Annegret Habel

[14:30 - 15:00] Amalgamating Pushout and Pullback Graph Transformation in Collagories. Wolfram Kahl

PDMC+HiBi Program

Thursday, 30 September

PDMC+HiBi Keynote 1 [Room: Amphitheater]

[09:15 - 09:30] Opening

[09:30 - 10:30] Parallel SAT Solving. Youssef Hamadi

Session 1: Shared-memory parallel model checking [Room:Amphitheater]

[11:00 - 11:30] DiVinE: Parallel Distributed Model Checker (Tool paper). Jiří Barnat, Luboš Brim, Milan Češka and Petr Ročkai

[11:30 - 12:00] A General Lock-Free Algorithm for Parallel State Space Construction. Rodrigo Tacla Saad, Silvano Dal Zilio and Bernard Berthomieu

[12:00 - 12:30] GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units (Tool paper). Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs

Session 2: Parallel computing in systems biology I [Room: Amphitheater]

[13:30 - 14:00] Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization. Jan Himmelspach, Roland Ewald, Stefan Leye and Adelinde Uhrmacher

[14:00 - 14:30] Fast Parallel Markov Clustering in Bioinformatics using Massively Parallel Graphics Processing Unit Computing. Alhadi Bustamam, Kevin Burrage and Nicholas Hamilton

[14:30 - 15:00] HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs. Andreas Sand, Asbjørn Tølbøl Brask, Christian N. S. Pedersen and Thomas Mailund

Session 3: Distributed verification methods [Room: Amphitheater]

[15:30 - 16:00] Industrial Strength Distributed Explicit State Model Checking. Brad Bingham, Jesse Bingham, John Erickson, Flavio M. de Paula, Mark Reitblatt and Gaurav Singh

[16:00 - 16:30] A BSP Algorithm for the State Space Construction of Security Protocols. Michael Guedj, Frederic Gava, and Franck Pommereau

[16:30 - 17:00] Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat. Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet

Friday, 1 October

PDMC+HiBi Keynote 2 [Room: Amphitheater]

[09:30 - 10:30] Problem Solving by Inverse Methods in Systems Biology. Peter Schuster

Session 4: Parameter-dependent analysis [Room: Amphitheater]

[11:00 - 11:30] Parallel computing algorithms for reverse-engineering and analysis of genome-wide gene regulatory networks from gene expression profiles. Vincenzo Belcastro, Francesco Gregoretti, Gennaro Oliva and Diego di Bernardo

[11:30 - 12:00] Parameter Scanning by Parallel Model Checking with Applications to Systems and Synthetic Biology. Jiří Barnat, Luboš Brim, David Safranek and Martin Vejnar

[12:00 - 12:30] Predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis. Michele Forlin, Tommaso Mazza and Davide Prandi

Session 5: Parallel computing in systems biology II [Room: Amphitheater]

[13:30 - 14:00] Parallel particle-based reaction diffusion: a GPU implementation. Lorenzo Dematte

[14:00 - 14:30] Using the GPU and Multi-Core CPU to Generate a 3D Oviduct Through Feature Extraction from Histology Slides. Mark Burkitt, Dawn Walker, Daniela Romano and Alireza Fazeli

[14:30 - 15:00] Implementation of Smith-Waterman algorithm in OpenCL for GPUs. Dzmitry Razmyslovich, Guillermo Marcus, Markus Gipp, Marc Zapatka and Andreas Szillus

PNGT Workshop Program

Tuesday, 28 September

PNGT Session 1: Reconfigurable Petri Nets [Room: Room 5]

[09:00 - 09:15] Welcome and Opening

[09:15 - 10:00] Transformation of Petri Nets with Individual Tokens. Tony Modica, Karsten Gabriel and Kathrin Hoffmann

PNGT Session 2: Relating Transformation Systems [Room: Room 5]

[10:30 - 11:15] Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-Adhesive Categories. Maria Maximova, Hartmut Ehrig, Claudia Ermel

[11:15 - 12:00] Towards a Visual Tool Environment for Reconfigurable Algebraic High-Level Nets based on the Eclipse Modeling Framework and AGG. Winzent Fischer, Tony Modica, Enrico Biermann, Claudia Ermel

PNGT Session 3: Modelling with Net Patterns and AHL Nets [Room: Room 5]

[14:00 - 14:45] Using Net Patterns to Simplify the Application of Graph Transformation Rules. Frank Trollmann and Sahin Albayrak

[14:45 - 15:30] Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, and Julia Padberg

PNGT Session 4: Analysis of Model Transformation by Petri Net Abstractions [Room: Room 5]

[16:00 - 16:45] Guided State Space Exploration using Back-annotation of Occurrence Vectors. Ábel Hegedüs and Daniel Varró

[16:45 - 17:15] Discussion and Closing

GraBaTs Workshop Program

Tuesday, 28 September

Joint SPIN Keynote 2 [Room: Amphitheater]

[09:00 - 10:00] Model Checking - Cleared for Take Off. Darren Cofer

GraBaTs Session 1: Graph transformation tools and applications. [Room: Kleine Zaal]

[10:30 - 11:00] Attribute Computations in the DPoPb Graph Transformation Engine (long pres.). Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Feraud and Sergei Soloviev

[11:00 - 11:20] Enabling Graph Transformations on Program Code (short pres.). Michael Striewe, Moritz Balz and Michael Goedicke

[11:20 - 11:50] Visual Modeling of Controlled EMF Model Transformations using Henshin (long pres.). Enrico Biermann, Claudia Ermel, Johann Schmidt and Angeline Warning

GraBaTs Session 2: Verification and analysis [Room: Kleine Zaal]

[11:50 - 12:10] Reachability Analysis on Timed Graph Transformation Systems (short pres.). Christian Heinzemann, Julian Suck and Tobias Eckardt

[12:10 - 12:30] Neighbourhood Abstraction in GROOVE (short pres.). Arend Rensink and Eduardo Zambon

GraBaTs Session 3: Diagram editors, animation and visualization. [Room: Kleine Zaal]

[14:00 - 14:30] Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques (long pres.). Steffen Mazanek, Christian Rutetzki and Mark Minas

[14:30 - 14:50] From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation (short pres.). Torsten Strobl, Mark Minas, Andreas Pleuß and Arnd Vitzthum

[14:50 - 15:10] Design of a SOM Business Process Modelling Tool based on the ADOxx Meta-modelling Platform (short pres.). Domenik Bork and Elmar J. Sinz

[15:10 - 15:30] Visualization of Traceability Models with Domain-specific Layouting (short pres.). Ábel Hegedüs, Zoltán Ujhelyi, Ákos Horváth and István Ráth

GraBaTs Session 4: Verification and analysis II. [Room: Kleine Zaal]

[16:00 - 16:50] Invited Talk: Methods and Tools for the Verification of Finite-State and Infinite-State Graph Transformation Systems. Barbara König

[16:50 - 17:20] Distributed Graph-Based State Space Generation (long pres.). Stefan Blom, Gijs Kant and Arend Rensink

[17:20 - 17:40] Applying Offline Verification of Model Transformations to Mobile Social Networks (short pres.). Mark Asztalos, Péter Ekler, Laszlo Lengyel and Tihamer Levendovszky

[17:40 - 18:00] Incremental Pattern Matching in Graph-Based State Space Exploration (short pres.). Amir Ghamarian, Arash Jalali and Arend Rensink

WTNC Workshop Program

Saturday, 2 October

WTNC Session 1 [Room: Room 5]

[09:00 - 10:30] Tutorial on Quantum Computing. Mika Hirvensalo

WTNC Session 2 [Room: Room 5]

[11:00 - 11:50] Fractionally Predictive Spiking Neural Networks. Sander Bohte

[11:50 - 12:40] Computational models for the self-assembly of intermediate filaments. Eugen Czeizler

WTNC Session 3 [Room: Room 5]

[14:00 - 14:50] Abstraction of Stochastic Graph Transformations. Reiko Heckel

[14:50 - 15:35] Control strategies for the modulation of the heat shock response. Elena Czeizler

WTNC Session 4 [Room: Room 5]

[16:00 - 16:50] Modeling Gene Assembly in Ciliates: Overlap and Containment in Graphs. Robert Brijder

[16:50 - 17:30] A new model for digraph-based simple operations for gene assembly. Sepinoud Azimi

GCM Workshop Program

Saturday, 2 October

GCM Session 1 [Room: Kleine Zaal]

[08:50 - 09:00] Welcome address

[09:00 - 09:30] Construction of Pushout Complements in the Category of Hypergraphs. Marvin Heumüller, Salil Joshi, Barbara König and Jan Stückrath

[09:30 - 10:00] Production Networks as Communities of Autonomous Units and Their Stability. Sergey Dashkovskiy, Hans-Jörg Kreowski, Sabine Kuske, Andrii Mironchenko, Lars Naujok and Caroline von Totth

[10:00 - 10:30] On the Decidability of Bigraphical Sortings. Giorgio Bacci and Davide Grohmann

GCM Session 2 [Room: Kleine Zaal]

[11:00 - 11:30] Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Berthold Hoffmann and Mark Minas

[11:30 - 12:00] Formalizing Models with Abstract Attribute Constraints. Mark Asztalos, Péter Ekler, Laszlo Lengyel, Tihamer Levendovszky and Tamás Mészáros

[12:00 - 12:30] Incremental update of constraint-compliant policy rules. Paolo Bottoni, Andrew Fish and Francesco Parisi-Presicce

GCM Session 3 [Room: Kleine Zaal]

[14:00 - 14:30] Minimizing Finite Automata with Graph Programs. Detlef Plump, Robin Suri and Ambuj Singh

[14:30 - 15:00] A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Ulrike Golas, Enrico Biermann, Hartmut Ehrig and Claudia Ermel

[15:00 - 15:30] The Pull-Tab Transformation. Abdulla Alqaddoumi, Sergio Antoy, Sebastian Fischer and Fabian Reck

GCM Session 4 [Room: Kleine Zaal]

[16:00 - 16:20] Coinductive graph representation: the problem of embedded lists. Celia Picard and Ralph Matthes

[16:20 - 16:40] Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Ulrike Golas, Hartmut Ehrig and Frank Hermann

[16:40 - 17:00] Weakest Liberal Preconditions relative to HR* Graph Conditions. Hendrik Radke

[17:00 - 17:30] Plenary discussion round