Ann T. Tai

According to our database, Ann T. Tai authored at least 32 papers between 1994 and 2013.

Collaborative distances:

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

2013

Fault-class-aware fault tree generation and analysis.

Ann T. Tai, Chris J. Walter, Lorraine M. Fesq, John C. Day

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2010

Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation.

Ann T. Tai, Kam S. Tso, William H. Sanders

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

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

Proceedings of the ISSRE 2009, 2009

2008

A recurrence-relation-based reward model for performability evaluation of embedded systems.

Ann T. Tai, Kam S. Tso, William H. Sanders

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

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

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

QoS Adaptive ISHM Systems.

Yansheng Zhang, Jicheng Fu, I-Ling Yen, Farokh B. Bastani, Ann T. Tai, Savio N. Chau, Farrokh Vatan, Amir Fijany

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005

On Automating Failure Mode Analysis and Enhancing its Integrity.

Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkalai

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.

Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

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

Developing a Data Driven Prognostic System with Limited System Information.

Laura Pullum, Marjorie Darrah, Spiro T. Skias, Kam S. Tso, Ann T. Tai

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications.

Ann T. Tai, Kam S. Tso, William H. Sanders

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

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

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.

Ann T. Tai, Kam S. Tso, William H. Sanders

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

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

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

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

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

A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network.

Savio N. Chau, Joseph Smith, Ann T. Tai

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Low-Cost Flexible Software Fault Tolerance for Distributed Computing.

Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques.

Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Multi-Criteria Transaction for E-Commerce Applications.

Peng Li, Jayabharath Goluguri, I-Ling Yen, Ann T. Tai

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

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

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

GSU middleware architecture design.

Kam S. Tso, Ann T. Tai, Leon Alkalai, Savio N. Chau, William H. Sanders

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

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

COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture.

Ann T. Tai, Savio N. Chau, Leon Alkalai

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?

Raymond A. Paul, Ann T. Tai

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

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, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry

Computer, 1998

1997

On-board preventive maintenance: analysis of effectiveness and optimal duty period.

Ann T. Tai, Savio N. Chau, Leon Alkalaj, Herbert Hecht

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.

Ann T. Tai, Kishor S. Trivedi, Herbert Hecht

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.

Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang

Proceedings of the Digest of Papers: FTCS-27, 1997

1996

Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol.

Ann T. Tai, John F. Meyer

Proceedings of the MASCOTS '96, 1996

Software performability - from concepts to applications.

Ann T. Tai, John F. Meyer, Algirdas Avizienis

The Kluwer international series in engineering and computer science 347, Kluwer, ISBN: 978-0-7923-9670-3, 1996

1994

Performability-Driven Adaptive Fault Tolerance.

Ann T. Tai

Proceedings of the Digest of Papers: FTCS/24, 1994