cs-conference-ranking.org Search 971 venues

Meine van der Meulen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

5

Active years

1998–2007

Best venue rank

B

Where they publish

Papers

8 indexed papers, newest first.

Year	Venue	Title	Authors
2007	ISSRE	Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs.	Meine van der Meulen, Miguel A. Revilla
2006	SAFECOMP	Experiences with the Design of a Run-Time Check.	Meine van der Meulen, Miguel A. Revilla
2005	EDCC	The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision.	Meine van der Meulen, Miguel A. Revilla
2005	SAFECOMP	On the Effectiveness of Run-Time Checks.	Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla
2004	ISSRE	An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs.	Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla
2004	SAFECOMP	An Empirical Exploration of the Difficulty Function.	J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen
2002	FMCAD	Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.	Meine van der Meulen
1998	FM	Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.	Meine van der Meulen, Tim Clement