Ann Patterson-Hine

According to our database, Ann Patterson-Hine authored at least 13 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Using model-based assurance to strengthen diagnostic procedures.

Robyn R. Lutz, Jeremy Johnson, Ann Patterson-Hine

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

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

2009

Dynamic Multiple-Fault Diagnosis With Imperfect Tests.

Sui Ruan, Yunkai Zhou, Feili Yu, Krishna R. Pattipati, Peter Willett, Ann Patterson-Hine

IEEE Trans. Syst. Man Cybern. Part A, 2009

2008

Using Fault Modeling in Safety Cases.

Robyn R. Lutz, Ann Patterson-Hine

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

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

2006

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems.

Robyn R. Lutz, Ann Patterson-Hine, Anupa Bajwa

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005

Identifying Contingency Requirements Using Obstacle Analysis.

Robyn R. Lutz, Stacy Nelson, Ann Patterson-Hine, Chad R. Frost, Doron Tal

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

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

Optimal sensor allocation for fault detection and isolation.

Mohammad Azam, Krishna R. Pattipati, Ann Patterson-Hine

Proceedings of the IEEE International Conference on Systems, 2004

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

Sequential testing algorithms for multiple fault diagnosis.

Mojdeh Shakeri, Vijay Raghavan, Krishna R. Pattipati, Ann Patterson-Hine

IEEE Trans. Syst. Man Cybern. Part A, 2000

1998

Optimal and near-optimal algorithms for multiple fault diagnosis with unreliable tests.

Mojdeh Shakeri, Krishna R. Pattipati, Vijay Raghavan, Ann Patterson-Hine

IEEE Trans. Syst. Man Cybern. Part C, 1998

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

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998