Meine van der Meulen

According to our database, Meine van der Meulen authored at least 13 papers between 1993 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

The Effectiveness of Software Diversity.

Meine Jochum Peter van der Meulen

PhD thesis, 2008

The Effectiveness of Software Diversity in a Large Population of Programs.

Meine van der Meulen, Miguel A. Revilla

IEEE Trans. Software Eng., 2008

2007

Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs.

Meine van der Meulen, Miguel A. Revilla

Proceedings of the ISSRE 2007, 2007

2006

Experiences with the Design of a Run-Time Check.

Meine van der Meulen, Miguel A. Revilla

Proceedings of the Computer Safety, 2006

2005

On the Effectiveness of Run-Time Checks.

Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla

Proceedings of the Computer Safety, 2005

Protective Wrapping of Off-the-Shelf Components.

Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Patrick Jefferson

Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision.

Meine van der Meulen, Miguel A. Revilla

Proceedings of the Dependable Computing, 2005

2004

An Empirical Exploration of the Difficulty Function.

J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen

Proceedings of the Computer Safety, 2004

An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs.

Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2002

Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.

Meine van der Meulen

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2000

Definitions for hardware and software safety engineers.

Meine van der Meulen

Springer, ISBN: 978-1-85233-175-7, 2000

1998

Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.

Meine van der Meulen, Tim Clement

Proceedings of the Applied Formal Methods, 1998

1993

Programmable Electronic System Analysis Technique in Safety Critical Applications.

Meine Jochum Peter van der Meulen, Tor Stålhane, B. Cole

Proceedings of the 12th International Conference on Computer Safety, 1993