Author of the publication

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

, and . ISSRE, page 203-208. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Correlations between Internal Software Metrics and Software Dependability in a Large Population of Small C/C++ Programs., and . ISSRE, page 203-208. IEEE Computer Society, (2007)On the Effectiveness of Run-Time Checks., , and . SAFECOMP, volume 3688 of Lecture Notes in Computer Science, page 151-164. Springer, (2005)Experiences with the Design of a Run-Time Check., and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 302-315. Springer, (2006)An Empirical Exploration of the Difficulty Function., , and . SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 60-71. Springer, (2004)Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.. FMCAD, volume 2517 of Lecture Notes in Computer Science, page 310-323. Springer, (2002)The Effectiveness of Software Diversity in a Large Population of Programs., and . IEEE Trans. Software Eng., 34 (6): 753-764 (2008)The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision., and . EDCC, volume 3463 of Lecture Notes in Computer Science, page 199-209. Springer, (2005)Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier., and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 296-301. Springer, (1998)An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs., , and . ISSRE, page 101-112. IEEE Computer Society, (2004)Programmable Electronic System Analysis Technique in Safety Critical Applications., , and . SAFECOMP, page 85-90. Springer, (1993)