STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
STAF 2024 (series) / University of Twente /

Room information: Waaier 1

VenueUniversity of Twente
Room nameWaaier 1
Floor0
Room Information

WA1

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ICGT Session 4ICGT Research Papers at Waaier 1
Chair(s): Detlef Plump University of York
11:00
30m
Talk
A Bigraph Paper of Sorts
ICGT Research Papers
P: Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
11:30
30m
Talk
Extension and Restriction of Derivations in Adhesive Categories
ICGT Research Papers
P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen
12:00
30m
Talk
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
ICGT Research Papers
Joerg Endrullis Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam
13:30 - 15:00
ICGT Session 5ICGT Research Papers at Waaier 1
13:30
30m
Talk
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
ICGT Research Papers
P: Christopher Stone University of St Andrews, András Z. Salamon University of St Andrews, Ian Miguel University of St Andrews
14:00
30m
Talk
Graph Algebras and Derived Graph OperationsJournal-first paper
ICGT Research Papers
P: Uwe Wolter University of Bergen, Tam Truong University of Bergen
Link to publication DOI
14:30
30m
Talk
Linear-Time Graph Programs for Unbounded-Degree Graphs
ICGT Research Papers
P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York
15:30 - 17:00
ICGT Session 6ICGT Research Papers at Waaier 1
Chair(s): Arend Rensink University of Twente, The Netherlands
15:30
30m
Talk
Deriving Delay-Robust Timed Graph Transformation System Models
ICGT Research Papers
P: Mustafa Ghani Hasso Plattner Institute, University of Potsdam, Sven Schneider Hasso-Plattner-Institut, Universität Potsdam , Maria Maximova Hasso-Plattner-Institut für Digital Engineering gGmbH, Holger Giese Hasso Plattner Institute, University of Potsdam
16:00
30m
Talk
Localized RETE for Incremental Graph Queries
ICGT Research Papers
P: Matthias Barkowsky Hasso Plattner Institute, University of Potsdam, Germany, Holger Giese Hasso Plattner Institute, University of Potsdam
Pre-print
16:30
30m
Talk
Using application conditions to rank graph transformations for graph repair
ICGT Research Papers
Lars Fritsche TU Darmstadt, Germany, P: Alexander Lauer Philipps-Universität Marburg, Andy Schürr TU Darmstadt, Gabriele Taentzer Philipps-Universität Marburg
Pre-print

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:0030
Waaier 1

ICGT Research Papers

ICGT Session 4

ICGT Research Papers

ICGT Session 5

ICGT Research Papers

ICGT Session 6

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Waaier 1
ICGT Research Papers
A Bigraph Paper of Sorts
11:00 - 11:30
ICGT Research Papers
Extension and Restriction of Derivations in Adhesive Categories
11:30 - 12:00
ICGT Research Papers
Generalized Weighted Type Graphs for Termination of Graph Transformatio ...
12:00 - 12:30
ICGT Research Papers
A Graph Transformation-Based Engine for the Automated Exploration of Co ...
13:30 - 14:00
ICGT Research PapersJournal-first paper
Graph Algebras and Derived Graph Operations
14:00 - 14:30
ICGT Research Papers
Linear-Time Graph Programs for Unbounded-Degree Graphs
14:30 - 15:00
ICGT Research Papers
Deriving Delay-Robust Timed Graph Transformation System Models
15:30 - 16:00
ICGT Research Papers
Localized RETE for Incremental Graph Queries
16:00 - 16:30
ICGT Research Papers
Using application conditions to rank graph transformations for graph repair
16:30 - 17:00