| 2008 |
|---|
| 10 | EE | Meine van der Meulen,
Miguel A. Revilla:
The Effectiveness of Software Diversity in a Large Population of Programs.
IEEE Trans. Software Eng. 34(6): 753-764 (2008) |
| 2006 |
|---|
| 9 | EE | Meine van der Meulen,
Miguel A. Revilla:
Experiences with the Design of a Run-Time Check.
SAFECOMP 2006: 302-315 |
| 2005 |
|---|
| 8 | EE | Meine van der Meulen,
Miguel A. Revilla:
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision.
EDCC 2005: 199-209 |
| 7 | EE | Meine van der Meulen,
Steve Riddle,
Lorenzo Strigini,
Nigel Jefferson:
Protective Wrapping of Off-the-Shelf Components.
ICCBSS 2005: 168-177 |
| 6 | EE | Meine van der Meulen,
Lorenzo Strigini,
Miguel A. Revilla:
On the Effectiveness of Run-Time Checks.
SAFECOMP 2005: 151-164 |
| 2004 |
|---|
| 5 | EE | 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: 101-112 |
| 4 | EE | J. G. W. Bentley,
Peter G. Bishop,
Meine van der Meulen:
An Empirical Exploration of the Difficulty Function.
SAFECOMP 2004: 60-71 |
| 2002 |
|---|
| 3 | EE | Meine van der Meulen:
Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.
FMCAD 2002: 310-323 |
| 2000 |
|---|
| 2 | | Floor Koornneef,
Meine van der Meulen:
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings
Springer 2000 |
| 1998 |
|---|
| 1 | | 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: 296-301 |
