Harsh Beohar and Pieter Cuijpers. A theory of desynchronisable closed loop systems. In Proceedings of 3rd Interaction and Concurrency Experience (ICE'10), volume 38 of EPTCS, pages 99–114, 2010. |
|
Harsh Beohar, Damian Nadales, Bert van Beek, and Pieter Cuijpers. Hierarchical states in the compositional interchange format. In Luca Aceto and Pawel Sobocinski, editors, Proceedings of the 7th Workshop on Structural Operational Semantics, volume 32 of EPTCS, pages 42–56, 2010. |
|
Christoph Blume, H.J. Sander Bruggink, and Barbara König. Recognizable graph languages for checking invariants. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010. |
|
Christoph Blume. Recognizable graph languages for the verification of dynamic systems. In Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Springer, 2010. |
|
Christoph Blume. Efficient implementation of automaton functors for the verification of graph transformation systems. In Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Electronic Communications of the EASST, 2010. |
|
H.J. Sander Bruggink and Barbara König. A logic on subobjects and recognizability. In Proceedings of IFIP-TCS '10, 2010. |
|
Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. Information and Computation, 208:1169–1192, 2010. |
|
Frank Hermann, Andrea Corradini, Hartmut Ehrig, and Barbara König. Efficient analysis of permutation equivalence of graph derivations based on Petri nets. In Proc. of GT-VMT '10 (Workshop on Graph Transformation and Visual Modeling Techniques), volume 29 of Electronic Communications of the EASST, 2010. |
|
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Full semantics preservation in model transformation – a comparison of proof techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology, University of Twente, 2010. |
|
H.J. Sander Bruggink and Barbara König. A logic on subobjects and recognizability. In Proc. of TCS '10, volume 323 of IFIP AICT, pages 197–212. Springer, 2010. |
|
Barbara König and Javier Esparza. Verification of graph transformation systems with context-free specifications. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 107–122. Springer, 2010. LNCS 6372. |
|
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, and Stefan Schwoon. On the computation of McMillan's complete prefix for contextual nets and graph grammars. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 91–106. Springer, 2010. LNCS 6372. |
|
Frank Hermann, Mathias Hülsbusch, and Barbara König. Specification and verification of model transformations. In Proc. of GraMoT '10 (International Colloquium on Graph and Model Transformation on the Occasion of Hartmut Ehrig's 65th birthday), volume 30 of Electronic Communications of the EASST, 2010. |
|
Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. Showing full semantics preservation in model transformation – a comparison of techniques. In Proc. of iFM '10 (Integrated Formal Methods), pages 183–198. Springer, 2010. LNCS 6396. |
|
Sebastian Küpper. Algorithmen für baum- und pfadzerlegungen von graphen, 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. |
|