Verification and validation of high integrity software generated by automatic code generators. - V. N. Malepati; H. Li; Krishna R. Pattipati; Somnath Deb; Ann Patterson-Hine (SMC, 1998)

Optimal and near-optimal algorithms for multiple fault diagnosis with unreliable tests. - Mojdeh Shakeri; Krishna R. Pattipati; Vijay Raghavan 005; Ann Patterson-Hine (IEEE Trans. Syst. Man Cybern. Part C, 1998)

Sequential testing algorithms for multiple fault diagnosis. - Mojdeh Shakeri; Vijay Raghavan 005; Krishna R. Pattipati; Ann Patterson-Hine (IEEE Trans. Syst. Man Cybern. Part A, 2000)

A hidden Markov model-based algorithm for fault diagnosis with partial and imperfect tests. - Jie Ying; Thia Kirubarajan; Krishna R. Pattipati; Ann Patterson-Hine (IEEE Trans. Syst. Man Cybern. Part C, 2000)

Optimal sensor allocation for fault detection and isolation. - Mohammad Azam; Krishna R. Pattipati; Ann Patterson-Hine (SMC (2), 2004)

On a multimode test sequencing problem. - Sui Ruan; Fang Tu; Krishna R. Pattipati; Ann Patterson-Hine (IEEE Trans. Syst. Man Cybern. Part B, 2004)

Identifying Contingency Requirements Using Obstacle Analysis. - Robyn R. Lutz; Stacy Nelson; Ann Patterson-Hine; Chad R. Frost; Doron Tal (RE, 2005)

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems. - Robyn R. Lutz; Ann Patterson-Hine; Anupa Bajwa (ISSRE, 2006)

Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle. - Robyn R. Lutz; Ann Patterson-Hine; Stacy Nelson; Chad R. Frost; Doron Tal; Robert Harris (Requir. Eng., 2007)

Using Fault Modeling in Safety Cases. - Robyn R. Lutz; Ann Patterson-Hine (ISSRE, 2008)

Dynamic Multiple-Fault Diagnosis With Imperfect Tests. - Sui Ruan; Yunkai Zhou; Feili Yu; Krishna R. Pattipati; Peter Willett 001; Ann Patterson-Hine (IEEE Trans. Syst. Man Cybern. Part A, 2009)

A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems. - Matthew J. Daigle; Indranil Roychoudhury; Gautam Biswas; Xenofon D. Koutsoukos; Ann Patterson-Hine; Scott Poll (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Using model-based assurance to strengthen diagnostic procedures. - Robyn R. Lutz; Jeremy Johnson; Ann Patterson-Hine (ASE, 2011)