Harsh Beohar and Mohammad Mousavi. Two logical characterizations for input-output conformance. In Preproceedings of EXPRESS/SOS'14 (Short paper), July 2014. |
|
Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A(0):45 – 69, 2014. |
|
Harsh Beohar and Mohammad Mousavi. Spinal test suites for software product lines. In Proceedings of the 9th Workshop on Model Based Testing (MBT'2014), EPTCS, pages 44–55, 2014. |
|
Harsh Beohar and Mohammad Mousavi. Input-output conformance testing based on featured transition systems. In Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track. ACM, 2014. |
|
Christoph Blume. Graph automata and their application to the verification of dynamic systems. PhD thesis, University of Duisburg-Essen, 2014. |
|
H.J. Sander Bruggink. Towards process mining with graph transformation systems. In Proceedings of ICGT 2014, 2014. |
|
H.J. Sander Bruggink, Barbara König, and Hans Zantema. Termination analysis for graph transformation systems. In Proceedings of IFIP-TCS 2014, 2014. |
|
H.J. Sander Bruggink, Barbara König, and Hans Zantema. Termination analysis for graph transformation systems. Technical report, University of Duisburg-Essen, 2014. |
|
Benjamin Cabrera. On approximation complexity of counting matchings in hypergraphs, 2014. |
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral Metrics via Functor Lifting. In Venkatesh Raman and S. P. Suresh, editors, 34th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), volume 29 of Leibniz International Proceedings in Informatics (LIPIcs), pages 403–415. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014. |
|
Henning Kerstan, Barbara König, and Bram Westerbaan. Lifting adjunctions to coalgebras to (Re)Discover automata constructions. In Marcello M. Bonsangue, editor, Coalgebraic Methods in Computer Science, volume 8446 of Lecture Notes in Computer Science, pages 168–188. Springer Berlin Heidelberg, 2014. |
|
Cormac Flanagan and Barbara König. Developments in automated verification techniques. International Journal on Software Tools for Technology Transfer, 16(2), 2014. |
|
Hans Zantema, H.J. Sander Bruggink, and Barbara König. Termination of cycle rewriting. In Proc. of RTA-TLCA '14, pages 476–490. Springer, 2014. LNCS 8560. |
|
Barbara König and Jan Stückrath. A general framework for well-structured graph transformation systems. In Proc. of CONCUR '14, pages 467–481. Springer, 2014. LNCS/ARCoSS 8704. |
|
Barbara König and Jan Stückrath. A general framework for well-structured graph transformation systems, 2014. arXiv:1406.4782. |
|
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Processes and unfoldings: Concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 24(4), 2014. |
|
Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705. |
|
Holger Giese and Barbara König, editors. Graph Transformation (ICGT 2014). Springer, 2014. LNCS 8571. |
|
Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705. |
|
Jan Stückrath and Benjamin Weyers. Lattice-extended coloured petri net rewriting for adaptable user interface models. In Proc. of GTVMT 2014, 2014. |
|
Jan Stückrath and Benjamin Weyers. Lattice-extended coloured petri net rewriting for adaptable user interface models. Technical Report 2014-01, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 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. |
|
Giorgio Delzanno and Jan Stückrath. Parameterized verification of graph transformation systems with whole neighbourhood operations, 2014. arXiv:1407.4394. |
|