Publications

Publications for Arend Rensink

2017
DOI
[bibtex]
Joost-Pieter Katoen, Rom Langerak, Arend Rensink editors. ModelEd, TestEd, TrustEd (Festschrift Ed Brinksma). Springer, Volume 10500 of LNCS, 2017.
DOI
[bibtex]
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marielle Stoelinga. Fault Trees on a Diet: Automated Reduction by Graph Rewriting. Formal Aspects of Computing 29(4), pages 651-703, 2017.
2015
Download
[bibtex]
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marielle Stoelinga. Fault Trees on a Diet. 1st Symp. on Dependable Software Engineering: Theories, Tools and Applications (SETTA), Volume 9409 of LNCS, pages 3–18, Springer, 2015.
2006
Download
[bibtex]
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs. Formal Methods for Components and Objects, Volume 4111 of LNCS, pages 280–312, Springer-Verlag, 2006.
2004
Download
[bibtex]
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Who is pointing when to whom? – On the automated verification of linked list structures. Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 250–262, LNCS vol. 3328, Springer-Verlag, 2004.
2002

[bibtex]
Dino Distefano, Arend Rensink, Joost-Pieter Katoen. Model checking birth and death. IFIP Working Conference on Theoretical Computer Science (TCS), Volume 223 of IFIP Proceedings, pages 435–447, Kluwer Academic Publishers, 2002.
2000

[bibtex]
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. A temporal logic for object-based systems. Formal Methods for Open Object-based Distributed Systems IV (FMOODS), pages 305–326, IFIP Proceedings vol. 177, Kluwer Academic Publishers, 2000.

[bibtex]
Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Towards model checking OCL. ECOOP-Workshop on Defining Precise Semantics for UML. Sophia-Antipolis, France, 10 pages, , 2000.