Ann T. Tai

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders: On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading. Perform. Eval. 44(1-4): 211-236 (2001)

Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai: Multi-Criteria Transaction for E-Commerce Applications. COMPSAC 2001: 596-602

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

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

Savio N. Chau, Joseph Smith, Ann T. Tai: A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. PRDC 2001: 35-44

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

Ann T. Tai, Leon Alkalai, Savio N. Chau: On-Board Preventive Maintenance: A Design-Oriented Analytic Study for Long-Life Applications. Perform. Eval. 35(3-4): 215-232 (1999)

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

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

I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry: Key Applications for High-Assurance Systems. IEEE Computer 31(4): 35-45 (1998)

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

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

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

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

Ann T. Tai: Performability-Driven Adaptive Fault Tolerance. FTCS 1994: 176-185