Search the dblp DataBase

Publications of Author

1. Meine van der Meulen, Miguel A. Revilla
   The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. [Citation Graph (0, 0)][DBLP]
   EDCC, 2005, pp:199-209 [Conf]
   
2. Meine van der Meulen, Tim Clement
   Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. [Citation Graph (0, 0)][DBLP]
   FM-Trends, 1998, pp:296-301 [Conf]
   
3. Meine van der Meulen
   Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2002, pp:310-323 [Conf]
   
4. Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Jefferson
   Protective Wrapping of Off-the-Shelf Components. [Citation Graph (0, 0)][DBLP]
   ICCBSS, 2005, pp:168-177 [Conf]
   
5. Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla
   An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. [Citation Graph (0, 0)][DBLP]
   ISSRE, 2004, pp:101-112 [Conf]
   
6. J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen
   An Empirical Exploration of the Difficulty Function. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2004, pp:60-71 [Conf]
   
7. Meine van der Meulen, Miguel A. Revilla
   Experiences with the Design of a Run-Time Check. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2006, pp:302-315 [Conf]
   
8. Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
   On the Effectiveness of Run-Time Checks. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2005, pp:151-164 [Conf]
   
9. 
   Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs. [Citation Graph (, )][DBLP]