Jan Stückrath

According to our database, Jan Stückrath authored at least 9 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Well-structured graph transformation systems.

Barbara König, Jan Stückrath

Inf. Comput., 2017

2016

Verification of Well-Structured Graph Transformation Systems.

Jan Stückrath

PhD thesis, 2016

2015

Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.

Jan Stückrath

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models.

Jan Stückrath, Benjamin Weyers

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

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations.

Giorgio Delzanno, Jan Stückrath

Proceedings of the Reachability Problems - 8th International Workshop, 2014

A General Framework for Well-Structured Graph Transformation Systems.

Barbara König, Jan Stückrath

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.

Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Well-Structured Graph Transformation Systems with Negative Application Conditions.

Barbara König, Jan Stückrath

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Construction of Pushout Complements in the Category of Hypergraphs.

Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath

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