Meine van der Meulen

Publication Activity (10 Years)

Years Active: 1998-2008
Publications (10 Years): 0

Publications

Meine van der Meulen, Miguel A. Revilla
The Effectiveness of Software Diversity in a Large Population of Programs. IEEE Trans. Software Eng. 34 (6) (2008)
Meine van der Meulen, Miguel A. Revilla
Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs. ISSRE (2007)
Meine van der Meulen, Miguel A. Revilla
Experiences with the Design of a Run-Time Check. SAFECOMP (2006)
Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson
Protective Wrapping of Off-the-Shelf Components. ICCBSS (2005)
Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
On the Effectiveness of Run-Time Checks. SAFECOMP (2005)
Meine van der Meulen, Miguel A. Revilla
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. EDCC (2005)
Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. ISSRE (2004)
J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen
An Empirical Exploration of the Difficulty Function. SAFECOMP (2004)
Meine van der Meulen
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. FMCAD (2002)
Meine van der Meulen, Tim Clement
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. FM-Trends (1998)