Author of the publication

Using model-based assurance to strengthen diagnostic procedures.

, , and . ASE, page 516-519. IEEE Computer Society, (2011)

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

Sequential testing algorithms for multiple fault diagnosis., , , and . IEEE Trans. Syst. Man Cybern. Part A, 30 (1): 1-14 (2000)Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle., , , , , and . Requir. Eng., 12 (1): 41-54 (2007)Optimal sensor allocation for fault detection and isolation., , and . SMC (2), page 1309-1314. IEEE, (2004)Dynamic Multiple-Fault Diagnosis With Imperfect Tests., , , , , and . IEEE Trans. Syst. Man Cybern. Part A, 39 (6): 1224-1236 (2009)A hidden Markov model-based algorithm for fault diagnosis with partial and imperfect tests., , , and . IEEE Trans. Syst. Man Cybern. Part C, 30 (4): 463-473 (2000)Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems., , and . ISSRE, page 213-220. IEEE Computer Society, (2006)Using Fault Modeling in Safety Cases., and . ISSRE, page 271-276. IEEE Computer Society, (2008)Identifying Contingency Requirements Using Obstacle Analysis., , , , and . RE, page 263-272. IEEE Computer Society, (2005)Verification and validation of high integrity software generated by automatic code generators., , , , and . SMC, page 3004-3009. IEEE, (1998)A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems., , , , , and . IEEE Trans. Syst. Man Cybern. Part A, 40 (5): 917-931 (2010)