Publications

  1. Y. Zhang, I.-L. Yen, F. Bastani, A. T. Tai, and S. Chau, ``Optimal adaptive system health monitoring and diagnosis for resource constrained cyber-physical systems,'' in Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE 2009), (Mysuru, India), Nov. 2009.
  2. A. T. Tai, K. S. Tso, and W. H. Sanders, ``On exploiting diversity for cluster formation in self-healing MANETs,'' in Proceedings of the Ninth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-9), (Eger, Hungary), Sept. 2009. (download PDF file)
  3. A. T. Tai, K. S. Tso, and W. H. Sanders, ``A recurrence-relation-based reward model for performability evaluation of embedded systems,'' in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2008), (Anchorage, AK), pp. 532-541, June 2008. (download PDF file)
  4. A. T. Tai and K. S. Tso, "Recurrence-relation-based reward model for performability evaluation of embedded systems," in Proceedings of the Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8), (Edinburgh, Scotland), Sept. 2007. (download PDF file)
  5. K. S. Tso, A. T. Tai, Y. M. Deng, P. G. Backes, "Multiuser collaboration with networked mobile devices" in Proceedings of the 25th Digital Avionics Systems Conference, (Portland, OR), pp. 6D4.1-6D4.11, Oct. 2006. (download PDF file)
  6. J. Liu, J. Fu, Y. Zhang, F. Bastani, I.-L. Yen, A. Tai, and S. Chau, "Deductive glue code synthesis for embedded software systems based on code patterns integrity," in Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06), (Gyeongju, Korea), pp. 109-116, Apr. 2006.
  7. K. S. Tso, A. T. Tai, S. N. Chau, and L. Alkalai, "On automating failure mode analysis and enhancing its integrity," in Proceedings of the IEEE 11th Pacific Rim International Symposium on Dependable Computing (PRDC 2005), (Changsha, China), pp. 287-292, Dec. 2005. (download PDF file)
  8. V. Verma, T. Estlin, A. Jonsson, C. Pasareanu, R. Simmons, and K. Tso, ``Plan execution interchange language (PLEXIL) for executable plans and command sequences,'' in Proceedings of the 8th International Symposium on Artificial Intelligence, Robotics and Automation in Space, (Munchen, Germany), Sept. 2005.
  9. A. T. Tai, K. S. Tso, W. H. Sanders, and S. N. Chau, "A performability-oriented software rejuvenation framework for distributed applications," in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2005), (Yokohama, Japan), pp. 570-579, June 2005. (download PDF file)
  10. A. T. Tai, K. S. Tso, and W. H. Sanders, "Cluster-based failure detection service for large-scale ad hoc wireless network applications," in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004), (Florence, Italy), pp. 805-814, June 2004. (download PDF file)
  11. A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso, "Performability analysis of guarded-operation duration: A translation approach for reward model solutions," Performance Evaluation, vol. 56, pp. 249-276, Mar. 2004. (download PDF file)
  12. L. Pullum, M. Darrah, S. T. Skias, K. S. Tso, and A. T. Tai, "Developing a data driven prognostic system with limited system information," in Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, (Tampa, FL), Mar. 2004.
  13. A. T. Tai and W. H. Sanders, ``Performability modeling of coordinated software and hardware fault tolerance,'' in Proceedings of the Sixth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 6), (Monticello, Illinois), pp. 31-34, Sept. 2003.
  14. A. T. Tai, K. S. Tso, and W. H. Sanders, "Protecting distributed software upgrades that involve message-passing interface changes," in Proceedings of the 27th Annual International Computer Software & Application Conference (COMPSAC 2003), (Dallas, TX), pp. 385-390, Nov. 2003. (download PDF file)
  15. K. S. Tso, G. K. Tharp, A. T. Tai, M. H. Draper, G. L. Calhoun, and H. A. Ruff, "A human factors testbed for command and control of unmanned air vehicles" in Proceedings of the 22nd Digital Avionics Systems Conference, (Indianapolis, IN), Oct. 2003. (download PDF file)
  16. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "Opportunity-adaptive QoS enhancement in satellite constellations: A case study," in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2003), (San Francisco, CA), pp. 655-664, June 2003. (download PDF file)
  17. P. G. Backes, J. S. Norris, M. Powell, K. S. Tso, G. K. Tharp, and P. C. Leger, "Sequence planning for the FIDO Mars rover prototype," in Proceedings of IEEE Aerospace Conference, (Big Sky, MT), Mar. 2003.
  18. A. T. Tai, W. H. Sanders, L. Alkalai, S. N. Chau, and K. S. Tso, "Performability analysis of guarded-operation duration: A successive model-translation approach," in Proceedings of the International Conference on Dependable Systems and Networks (DSN-2002), (Washington, DC), pp. 561-570, June 2002. (download PDF file)
  19. P. G. Backes, K. S. Tso, J. S. Norris, and R. Steinke, "Group collaboration for Mars rover mission operations," in Proceedings of the IEEE International Conference on Robotics and Automation, vol. 3, (Washington D.C.), pp. 3148-3154, May 2002.
  20. A. T. Tai, S. N. Chau, and L. Alkalai, "COTS-based fault tolerance in deep space: A case study on IEEE 1394 application," International Journal of Reliability, Quality and Safety Engineering, vol. 9, pp. 17-40, Mar. 2002. (download PDF file)
  21. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "Low-cost error containment and recovery for onboard guarded software upgrading and beyond," IEEE Trans. Computers, vol. 51, pp. 121-137, Feb. 2002. (download PDF file)
  22. P. G. Backes, K. S. Tso, J. S. Norris, and G. K. Tharp, "Internet-based ground operations for Mars lander and rover missions," in Beyond Webcams: An Introduction to Online Robots (K. Goldberg and R. Siegwart, eds.), pp. 227-240, MIT Press, 2001. (buy it from Amazon.com or BN.com)
  23. T. M. Khoshgoftaar and A. T. Tai, "Guest editors' prolog for the special issue on high-assurance embedded systems," International Journal of Reliability, Quality and Safety Engineering, vol. 8, p. 273, Dec. 2001.
  24. S. N. Chau, J. Smith, and A. T. Tai, "A design-diversity based fault-tolerant COTS avionics bus network," in Proceedings of the Pacific Rim International Symposium of Dependable Computing (PRDC 2001), (Seoul, Korea), pp. 35-42, Dec. 2001.
  25. A. T. Tai, K. S. Tso, W. H. Sanders, L. Alkalai, and S. N. Chau, "Low-cost flexible software fault tolerance for distributed computing," in Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), (Hong Kong, China), pp. 148-157, Nov. 2001. (download PDF file)
  26. P. Li, J. Goluguri, I.-L. Yen, and A. T. Tai, "Multi-criteria transaction for e-commerce applications," in Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), (Chicago, IL), pp. 596-602, Oct. 2001.
  27. A. T. Tai and W. H. Sanders, "Product-in-process performability modeling for guarded software upgrading," in Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), (Erlangen, Germany), pp. 121-125, Sept. 2001.
  28. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "Synergistic coordination between software and hardware fault tolerance techniques," Proceedings of the International Conference on Dependable Systems and Networks (DSN-2001), (Göteborg, Sweden), pp. 369-378, July 2001. (download PDF file)
  29. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading," Performance Evaluation, vol. 44, pp. 211-236, Apr. 2001. (Extended version of the IPDS 2000 conference paper.) (download PDF file)
  30. A. T. Tai, L. Alkalai, and S. N. Chau, "Onboard guarded software upgrading: Motivation and framework," in Proceedings of the IEEE Aerospace Conference, (Big Sky, MT), Mar. 2001. (download PDF file)
  31. K. S. Tso, A. T. Tai, L. Alkalai, S. N. Chau, and W. H. Sanders, "GSU middleware architecture design," in Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering, (Albuquerque, NM), pp. 212-215, Nov. 2000. (download PDF file)
  32. P. G. Backes, K. S. Tso, J. S. Norris, G. K. Tharp, J. T. Slostad, R. G. Bonitz, and K. S. Ali, "Internet-based operations for the Mars Polar Lander Mission," in Proceedings of the IEEE International Conference on Robotics and Automation vol. 2, (San Francisco, CA), pp. 2025-2032, Apr. 2000.
  33. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On low-cost error containment and recovery methods for guarded software upgrading," in Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS 2000), (Taipei, Taiwan), pp. 548-555, Apr. 2000. (download PDF file)
  34. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading," in Proceedings of the 4th IEEE International Computer Performance and Dependability Symposium (IPDS 2000), (Chicago, IL), pp. 59-68, Mar. 2000. (download PDF file)
  35. S. N. Chau, L. Alkalai, and A. T. Tai, "A multi-layer methodology for applying COTS in mission-critical systems," in Proceedings of the IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET 2000), (Dallas, TX), pp. 70-76, Mar. 2000. (download PDF file)
  36. P. G. Backes, K. S. Tso, J. S. Norris, G. K. Tharp, J. T. Slostad, and R. G. Bonitz, "Mars Polar Lander Mission distributed operations," in Proceedings of IEEE Aerospace Conference, (Big Sky, MT), Mar. 2000.
  37. S. N. Chau, L. Alkalai, A. T. Tai, and J. B. Burt, "Design of a fault-tolerant COTS-based bus architecture," IEEE Trans. Reliability, vol. 48, pp. 351-359, Dec. 1999. (download PDF file)
  38. A. T. Tai, S. N. Chau, and L. Alkalai, "COTS-based fault tolerance in deep space: Qualitative and quantitative analyses of a bus network architecture," in Proceedings of the 4th IEEE International Symposium on High Assurance Systems Engineering, (Washington, DC), pp. 97-104, Nov. 1999. (download PDF file)
  39. K. S. Tso, G. K. Tharp, W. Zhang, and A. T. Tai, "A multi-agent operator interface for unmanned aerial vehicles," in Proceedings of the 18th Digital Avionics Systems Conference, (St. Louis, MO), pp. 6.A.4.1-6.A.4.8, Oct. 1999. (download PDF file)
  40. P. G. Backes, K. S. Tso, and G. K. Tharp, "The Web Interface for Telescience," Presence, MIT Press, vol. 8, pp. 531-539, Oct. 1999.
  41. A. T. Tai, K. S. Tso, L. Alkalai, S. N. Chau, and W. H. Sanders, "On-board guarded software upgrading for space missions," in Proceedings of the 18th Digital Avionics Systems Conference, vol. 2, (St. Louis, MO), pp. 7.B.4.1-7.B.4.8, Oct. 1999. (download PDF file)
  42. A. T. Tai, L. Alkalai, and S. N. Chau, "On-board preventive maintenance: A design-oriented analytic study for long-life applications," Performance Evaluation, vol. 35, pp. 215-232, June 1999. (download PDF file)
  43. P. G. Backes, G. Rabideau, K. S. Tso, and S. Chien, "Automated planning and scheduling for planetary rover distributed operations," in Proceedings of the IEEE International Conference on Robotics and Automation, vol. 2, (Detroit, MI), pp. 984-991, May 1999.
  44. G. Rabideau, S. Chien, P. G. Backes, G. Chalfant, and K. S. Tso, "A step toward autonomous planetary rovers," in Space Technology and Applications International Forum, (Albuquerque, NM), Feb. 1999.
  45. A. T. Tai, L. Alkalai, and S. N. Chau, "On-board preventive maintenance for long-life deep-space missions: A model-based evaluation," in Proceedings of the 3rd IEEE International Computer Performance and Dependability Symposium, (Durham, NC), pp. 196-205, Sept. 1998. (download PDF file)
  46. P. G. Backes, K. S. Tso, and G. K. Tharp, "Mars Pathfinder Mission Internet-based operations using WITS," in Proceedings of the IEEE International Conference on Robotics and Automation, vol. 1, (Leuven, Belgium), pp. 284-291, May 1998.
  47. A. T. Tai and L. Alkalai, "On-board maintenance for long-life systems," in Proceedings of the IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), (Richardson, TX), pp. 69-74, Apr. 1998. (download PDF file)
  48. L. Alkalai and A. T. Tai, "Long-life deep-space applications," IEEE Computer, vol. 31, pp. 37-38, Apr. 1998.
  49. P. G. Backes, K. S. Tso, and G. K. Tharp, "The Mars Pathfinder Mission Internet-Based WITS for rover planning and simulation system," in Proceedings of IEEE Aerospace Conference, vol. 2, (Aspen, CO), pp. 151-157, Mar. 1998.
  50. A. T. Tai, H. Hecht, K. S. Trivedi, and B. Zhang, "Toward accessibility enhancement of dependability modeling techniques and tools," in Digest of the 27th Annual International Symposium on Fault-Tolerant Computing, (Seattle, WA), pp. 37-41, June 1997. (download PDF file)
  51. A. T. Tai, S. N. Chau, L. Alkalai, and H. Hecht, "On-board preventive maintenance: Analysis of effectiveness and optimal duty period," in Proceedings of the 3rd International Workshop on Object-Oriented Real-time Dependable Systems (WORDS'97), (Newport Beach, CA), pp. 40-47, Feb. 1997. (download PDF file)
  52. P. G. Backes, G. Tharp, and K. S. Tso, "Web Interface for Telescience," in Proceedings of the IEEE International Conference on Robotics and Automation, vol. 1, (Albuquerque, NM), pp. 411-417, Apr. 1997.
  53. A. T. Tai, J. F. Meyer, and A. Avizienis, Software Performability: From Concepts to Applications. Boston, MA: Kluwer Academic Publishers, 1996. (buy it from Amazon.com or BN.com)