/ Bernard van Gastel

Introduction

Received my Master's degree in Computer Science from the Radboud University. My Master's thesis was titled `Verifying Reentrant Readers-Writers' (see publications), analysing a commonly used concurrency algorithm and fixing a deadlock and starvation issue with this algorithm. Currently working as a Ph.D. Student at the Computer Science Department of the Open University Netherlands. The subject is the verification of Network-on-Chip layout. My interests include correctness, optimizations/efficiency, programming languages and concurrency.

Publications

Scientific 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. PDF
• 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. PDF
  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.

Thesis

• Bernard van Gastel. Verifying Reentrant Readers-Writers, Master's Thesis, Radboud University, 2010. PDF

Contact