Meine van der Meulen

12 papers A 2B 5Misc 1Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2008 J jnl
The Effectiveness of Software Diversity in a Large Population of Programs.
IEEE Trans. Software Eng.
Meine van der Meulen, Miguel A. Revilla
2007 A conf
Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs.
ISSRE
Meine van der Meulen, Miguel A. Revilla
2006 B conf
Experiences with the Design of a Run-Time Check.
SAFECOMP
Meine van der Meulen, Miguel A. Revilla
2005 B conf
On the Effectiveness of Run-Time Checks.
SAFECOMP
Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
2005 — conf
Protective Wrapping of Off-the-Shelf Components.
ICCBSS
Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson
2005 Misc conf
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision.
EDCC
Meine van der Meulen, Miguel A. Revilla
2004 B conf
An Empirical Exploration of the Difficulty Function.
SAFECOMP
J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen
2004 A conf
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs.
ISSRE
Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla
2002 B conf
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.
FMCAD
Meine van der Meulen
2000 B ed.
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings
SAFECOMP
Floor Koornneef, Meine van der Meulen
2000 — book
Definitions for hardware and software safety engineers.
Meine van der Meulen
1998 — conf
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.
FM-Trends
Meine van der Meulen, Tim Clement