2016 |
Barbara König and Jan Stückrath. Well-structured graph transformation systems. Information and Computation, 2016. Accepted for publication. |
|
Jan Stückrath. Verification of well-structured graph transformation systems. PhD thesis, Universität Duisburg-Essen, 2016. |
|
2015 |
Jan Stückrath. Uncover: Using coverability analysis for verifying graph transformation systems. In Francesco Parisi-Presicce and Bernhard Westfechtel, editors, Proceedings of ICGT 2015, volume 9151 of LNCS, pages 266–274. Springer, 2015. |
|
2014 |
Jan Stückrath and Benjamin Weyers. Lattice-extended coloured petri net rewriting for adaptable user interface models. In Proc. of GTVMT 2014, 2014. |
|
Barbara König and Jan Stückrath. A general framework for well-structured graph transformation systems. In Paolo Baldan and Daniele Gorla, editors, Proc. of CONCUR 2014, volume 8704 of LNCS, pages 467–481. Springer, 2014. |
|
Giorgio Delzanno and Jan Stückrath. Parameterized verification of graph transformation systems with whole neighbourhood operations. In Joël Ouaknine, Igor Potapov, and James Worrell, editors, RP'14, volume 8762 of LNCS, pages 72–84. Springer, 2014. |
|
2012 |
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, and Jan Stückrath. On the decidability status of reachability and coverability in graph transformation systems. In Proc. of RTA '12, volume 15 of LIPIcs, pages 101–116. Schloss Dagstuhl – Leibniz Center for Informatics, 2012. |
|
Barbara König and Jan Stückrath. Well-structured graph transformation systems with negative application conditions. In Proc. of ICGT '12 (International Conference on Graph Transformation), pages 89–95. Springer, 2012. LNCS 7562. |
|
2011 |
Marvin Heumüller, Salil Joshi, Barbara König, and Jan Stückrath. Construction of pushout complements in the category of hypergraphs. In Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), volume 39 of Electronic Communications of the EASST, 2011. |
|
2010 |
Marvin Heumüller, Salil Joshi, Barbara König, and Jan Stückrath. Construction of pushout complements in the category of hypergraphs. In Proc. of GCM '10 (Workshop on Graph Computation Models), 2010. |
|
Jan Stückrath. Inkrementelle Interaktionsmodellierung mit farbigen Petri-Netzen - Formale Beschreibung und Implementierung. Master's thesis, Universität Duisburg-Essen, März 2010. |
|