EEMCS

Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7

Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada. pp. 233-247. Lecture Notes in Computer Science 5201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85360-2

Boneva, I.B. and Hermann, F. and Kastenberg, H. and Rensink, A. (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, 31 March - 1 April 2007, Braga, Portugal. 42. Electronic Communications of the EASST 6. EASST. ISSN 1863-2122

Hermann, F. and Kastenberg, H. and Modica, T. (2006) Towards Translating Graph Transformation Approaches by Model Transformations. In: Proceedings of the Second International Workshop on Graph and Model Transformation, 8 September 2006, Brighton, United Kingdom. Electronic Communications of the EASST 4. European Association of Software Science and Technology. ISSN 1863-2122

Kastenberg, H. (2006) Towards Attributed Graphs in Groove. In: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), 22 Aug 2005, San Francisco, California, USA. pp. 47-54. Electronic Notes in Theoretical Computer Science 154. Elsevier. ISSN 1571-0661

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. Technical Report TR-CTIT-06-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1

Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria. pp. 299-305. Lecture Notes in Computer Science 3925. Springer-Verlag. ISBN 3-540-33102-6

Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K.. pp. 65-72. IEEE Computer Society. ISBN 0-7695-2586-5

Kastenberg, H. (2004) Software Metrics as Class Graph Properties. Master's thesis, University of Twente.