Meine van der Meulen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2008

The Effectiveness of Software Diversity in a Large Population of ProgramsMeine van der Meulen, Miguel A. Revilla. TSE, 34(6):753-764, 2008. [doi]

2007

Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ ProgramsMeine van der Meulen, Miguel A. Revilla. issre 2007: 203-208 [doi]

2006

Experiences with the Design of a Run-Time CheckMeine van der Meulen, Miguel A. Revilla. safecomp 2006: 302-315 [doi]

2005

The Effectiveness of Choice of Programming Language as a Diversity Seeking DecisionMeine van der Meulen, Miguel A. Revilla. edcc 2005: 199-209 [doi]

On the Effectiveness of Run-Time ChecksMeine van der Meulen, Lorenzo Strigini, Miguel A. Revilla. safecomp 2005: 151-164 [doi]

Protective Wrapping of Off-the-Shelf ComponentsMeine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Jefferson. iccbss 2005: 168-177 [doi]

2004

An Empirical Exploration of the Difficulty FunctionJ. G. W. Bentley, Peter G. Bishop, Meine van der Meulen. safecomp 2004: 60-71 [doi]

An Exploration of Software Faults and Failure Behaviour in a Large Population of ProgramsMeine van der Meulen, Peter G. Bishop, Miguel A. Revilla. issre 2004: 101-112 [doi]

2002

Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMVMeine van der Meulen. FMCAD 2002: 310-323 [doi]

2000

Definitions for hardware and software safety engineersMeine van der Meulen. Springer, 2000.

1998

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge BarrierMeine van der Meulen, Tim Clement. FM 1999: 296-301

Sign in or sign up to see more results.

runs on WebDSL