Performability-Driven Adaptive Fault Tolerance. - Ann T. Tai (FTCS, 1994)

Software performability - from concepts to applications. - Ann T. Tai; John F. Meyer; Algirdas Avizienis (Kluwer, 1996)

Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol. - Ann T. Tai; John F. Meyer (MASCOTS, 1996)

Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. - Ann T. Tai; Herbert Hecht; Kishor S. Trivedi; Bing Zhang (FTCS, 1997)

On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. - Ann T. Tai; Kishor S. Trivedi; Herbert Hecht (HASE, 1997)

On-board preventive maintenance: analysis of effectiveness and optimal duty period. - Ann T. Tai; Savio N. Chau; Leon Alkalaj; Herbert Hecht (WORDS, 1997)

Key Applications for High-Assurance Systems. - I-Ling Yen; Raymond A. Paul; Victor L. Winter; John M. Covan; Larry J. Dalton; Leon Alkalai; Ann T. Tai; Rick Harper 001; Barry Flahive; Wei-Tek Tsai; Ramin Mojdehbakhsh; Sanjai Rayadurgam; et al. (Computer, 1998)

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? - Raymond A. Paul; Ann T. Tai (HASE, 1999)

COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture. - Ann T. Tai; Savio N. Chau; Leon Alkalai (HASE, 1999)

On-Board Preventive Maintenance: A Design-Oriented Analytic Study for Long-Life Applications. - Ann T. Tai; Leon Alkalai; Savio N. Chau (Perform. Evaluation, 1999)

GSU middleware architecture design. - Kam S. Tso; Ann T. Tai; Leon Alkalai; Savio N. Chau; William H. Sanders (HASE, 2000)

On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading. - Ann T. Tai; Kam S. Tso; Leon Alkalai; Savio N. Chau; William H. Sanders (ICDCS, 2000)

Multi-Criteria Transaction for E-Commerce Applications. - Peng Li 033; Jayabharath Goluguri; I-Ling Yen; Ann T. Tai (COMPSAC, 2001)

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. - Ann T. Tai; Kam S. Tso; Leon Alkalai; Savio N. Chau; William H. Sanders (DSN, 2001)

Low-Cost Flexible Software Fault Tolerance for Distributed Computing. - Ann T. Tai; Kam S. Tso; William H. Sanders; Leon Alkalai; Savio N. Chau (ISSRE, 2001)

A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. - Savio N. Chau; Joseph Smith; Ann T. Tai (PRDC, 2001)

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. - Ann T. Tai; Kam S. Tso; Leon Alkalai; Savio N. Chau; William H. Sanders (Perform. Evaluation, 2001)

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. - Ann T. Tai; William H. Sanders; Leon Alkalai; Savio N. Chau; Kam S. Tso (DSN, 2002)

Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond. - Ann T. Tai; Kam S. Tso; Leon Alkalai; Savio N. Chau; William H. Sanders (IEEE Trans. Computers, 2002)

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. - Ann T. Tai; Kam S. Tso; William H. Sanders (COMPSAC, 2003)

Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. - Ann T. Tai; Kam S. Tso; Leon Alkalai; Savio N. Chau; William H. Sanders (DSN, 2003)

Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. - Ann T. Tai; Kam S. Tso; William H. Sanders (DSN, 2004)

Developing a Data Driven Prognostic System with Limited System Information. - Laura Pullum; Marjorie Darrah; Spiro T. Skias; Kam S. Tso; Ann T. Tai (HASE, 2004)

Performability analysis of guarded-operation duration: a translation approach for reward model solutions. - Ann T. Tai; William H. Sanders; Leon Alkalai; Savio N. Chau; Kam S. Tso (Perform. Evaluation, 2004)

A Performability-Oriented Software Rejuvenation Framework for Distributed Applications. - Ann T. Tai; Kam S. Tso; William H. Sanders; Savio N. Chau (DSN, 2005)

On Automating Failure Mode Analysis and Enhancing its Integrity. - Kam S. Tso; Ann T. Tai; Savio N. Chau; Leon Alkalai (PRDC, 2005)

QoS Adaptive ISHM Systems. - Yansheng Zhang; Jicheng Fu; I-Ling Yen; Farokh B. Bastani; Ann T. Tai; Savio N. Chau; Farrokh Vatan; Amir Fijany (ICTAI, 2006)

Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. - Jian Liu; Jicheng Fu; Yansheng Zhang; Farokh B. Bastani; I-Ling Yen; Ann T. Tai; Savio N. Chau (ISORC, 2006)

A recurrence-relation-based reward model for performability evaluation of embedded systems. - Ann T. Tai; Kam S. Tso; William H. Sanders (DSN, 2008)

Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems. - Yansheng Zhang; I-Ling Yen; Farokh B. Bastani; Ann T. Tai; Savio N. Chau (ISSRE, 2009)

Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation. - Ann T. Tai; Kam S. Tso; William H. Sanders (DSN, 2010)

Fault-class-aware fault tree generation and analysis. - Ann T. Tai; Chris J. Walter; Lorraine M. Fesq; John C. Day (ISSRE (Supplemental Proceedings), 2013)