Programmable Electronic System Analysis Technique in Safety Critical Applications. - Meine Jochum Peter van der Meulen; Tor Stålhane; B. Cole (SAFECOMP, 1993)

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. - Meine van der Meulen; Tim Clement (FM-Trends, 1998)

Definitions for hardware and software safety engineers. - Meine van der Meulen (Springer, 2000)

Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. - Meine van der Meulen (FMCAD, 2002)

An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. - Meine van der Meulen; Peter G. Bishop; Miguel A. Revilla (ISSRE, 2004)

An Empirical Exploration of the Difficulty Function. - J. G. W. Bentley; Peter G. Bishop; Meine van der Meulen (SAFECOMP, 2004)

The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. - Meine van der Meulen; Miguel A. Revilla (EDCC, 2005)

Protective Wrapping of Off-the-Shelf Components. - Meine van der Meulen; Steve Riddle; Lorenzo Strigini; Nigel Patrick Jefferson (ICCBSS, 2005)

On the Effectiveness of Run-Time Checks. - Meine van der Meulen; Lorenzo Strigini; Miguel A. Revilla (SAFECOMP, 2005)

Experiences with the Design of a Run-Time Check. - Meine van der Meulen; Miguel A. Revilla (SAFECOMP, 2006)

Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs. - Meine van der Meulen; Miguel A. Revilla (ISSRE, 2007)

The Effectiveness of Software Diversity in a Large Population of Programs. - Meine van der Meulen; Miguel A. Revilla (IEEE Trans. Software Eng., 2008)

The Effectiveness of Software Diversity. - Meine Jochum Peter van der Meulen (2008)