Research

Publications

• Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Fair and Deadlock Free Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. In Science of Computer Programming, volume 72, issue 2. Elsevier, 2011, pages 82--99.
• Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, and Marko van Eekelen. Reentrant Readers-Writers: A Case Study Combining Model Checking and Theorem Proving. In D. Cofer and A. Fantechi (eds). Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers, volume 5596 of Lecture Notes in Computer Science. Springer, 2009, pages 85--102.
  The authors received the Best Paper Award recognizing the paper as the 'Best Software Science Paper' of FMICS2008.

Book Contributions

• Marko van Eekelen, Rody Kersten, en Bernard van Gastel. Software en energiegebruik. In Duurzame ICT, grondstof en energiebron voor een duurzame wereld, onder redactie van Roel Croes. Academic Service, 2010, blz 23-33.