2008 |
26 | EE | 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 |
2006 |
25 | EE | 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 |
24 | EE | 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 |
2005 |
23 | EE | 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 |
22 | EE | Kam S. Tso,
Ann T. Tai,
Savio N. Chau,
Leon Alkalai:
On Automating Failure Mode Analysis and Enhancing its Integrity.
PRDC 2005: 287-294 |
2004 |
21 | EE | 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- |
20 | EE | 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 |
19 | EE | 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) |
2003 |
18 | EE | Ann T. Tai,
Kam S. Tso,
William H. Sanders:
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes.
COMPSAC 2003: 385-390 |
17 | EE | 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- |
2002 |
16 | EE | 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 |
15 | EE | 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) |
2001 |
14 | EE | Peng Li,
Jayabharath Goluguri,
I-Ling Yen,
Ann T. Tai:
Multi-Criteria Transaction for E-Commerce Applications.
COMPSAC 2001: 596-602 |
13 | EE | 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 |
12 | EE | 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 |
11 | EE | Savio N. Chau,
Joseph Smith,
Ann T. Tai:
A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network.
PRDC 2001: 35-44 |
10 | | 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) |
2000 |
9 | EE | 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 |
1999 |
8 | EE | Raymond A. Paul,
Ann T. Tai:
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
HASE 1999: 115 |
7 | EE | 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 |
6 | | 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) |
1998 |
5 | | 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) |
1997 |
4 | | Ann T. Tai,
Herbert Hecht,
Kishor S. Trivedi,
Bing Zhang:
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.
FTCS 1997: 37-41 |
3 | EE | Ann T. Tai,
Kishor S. Trivedi,
Herbert Hecht:
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.
HASE 1997: 2-13 |
1996 |
2 | | Ann T. Tai,
John F. Meyer:
Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol.
MASCOTS 1996: 212-216 |
1994 |
1 | | Ann T. Tai:
Performability-Driven Adaptive Fault Tolerance.
FTCS 1994: 176-185 |