Jan Stückrath

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Graph Transformation

Computing Systems

Building Blocks

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Duisburg-Essen (PHD)

Education History

University of Duisburg-Essen

PHD

Publications

Barbara König, Jan Stückrath
Well-structured graph transformation systems. Inf. Comput. 252 (2017)
Jan Stückrath
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. ICGT (2015)
Giorgio Delzanno, Jan Stückrath
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. CoRR (2014)
Giorgio Delzanno, Jan Stückrath
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. RP (2014)
Jan Stückrath, Benjamin Weyers
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Barbara König, Jan Stückrath
A General Framework for Well-Structured Graph Transformation Systems. CoRR (2014)
Barbara König, Jan Stückrath
A General Framework for Well-Structured Graph Transformation Systems. CONCUR (2014)
Barbara König, Jan Stückrath
Well-Structured Graph Transformation Systems with Negative Application Conditions. ICGT (2012)
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA (2012)
Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath
Construction of Pushout Complements in the Category of Hypergraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)