Mobile Computing Lab
| URL: http://www.nvc.cs.vt.edu/web/research/MCL/MCL.html Contact: Ing-Ray Chen The Mobile Computing Lab studies design principles and evaluation methodologies for understanding and building systems support mechanisms for mobile computing systems including mobile ad hoc and sensor networks for achieveing the goal of anytime, anywhere computing in wireless mobile environments. The primary research focuses of the Mobile Computing Lab are in mobility management, data and service management, security and dependability aspects in mobile computing environments. |
"Composite Trust-based Public Key Management in Mobile Ad Hoc Networks",
ACM 28th Symposium on Applied Computing, Coimbra, Portugal, 03/2013.
"Smart Routers for Cross-Layer Integrated Mobility and Service Management in Mobile IPv6 Systems",
Wireless Personal Communications, vol. 69, no. 1, pp. 449-469, 2013.
"On Survivability of Mobile Cyber Physical Systems with Intrusion Detection",
Wireless Personal Communications, vol. 68, no. 4, pp. 1377-1391, 2013.
"Dynamic Multisource Multipath Routing for Intrusion Tolerance and Lifetime Maximization of Autonomous Wireless Sensor Networks",
IEEE 11th Symposium on Decentralized Autonomous Systems, 03/2013.
"Scalable, Adaptive and Survivable Trust Management for Community of Interest Based Internet of Things Systems",
IEEE 11th Symposium on Decentralized Autonomous Systems, 03/2013.
"Effect of Intrusion Detection and Response on Reliability of Cyber Physical Systems",
IEEE Transactions on Reliability, vol. 68, no. 4, pp. 199-210, 2013.
"Adaptive Intrusion Detection of Malicious Unmanned Air Vehicles Using Behavior Rule Specifications",
IEEE Transactions on Systems, Man and Cybernetics, 2013.
"Behavior Rule Based Intrusion Detection Systems for Safety Critical Smart Grid Applications",
IEEE Transactions on Smart Grid, 2013.
"Redundancy Management of Multipath Routing for Intrusion Tolerance in Heterogeneous Wireless Sensor Networks",
IEEE Transactions on Network and Service Management, vol. 19, no. 2, pp. 189-203, 2013.
"Dynamic Trust Management for Delay Tolerant Networks and Its Application to Secure Routing",
IEEE Transactions on Parallel and Distributed Systems, 2013.
"Dynamic Agent-based Hierarchical Multicast for Wireless Mesh Networks",
Ad Hoc Networks, vol. 11, no. 6, pp. 1683-1698, 2013.
"On the Tradeoff between Altruism and Selfishness in MANET Trust Management",
Ad Hoc Networks, 2013.
"Hierarchical Agent-Based Secure and Reliable Multicast in Wireless Mesh Networks",
Computer Communications, 2013.
"DMAP-FR: Dynamic Mobility Anchor Points for Mobility, Service and Failure Recovery Management in Mobile IPv6 Systems",
Wireless Personal Communications, vol. 62, no. 3, pp. 479-496, 2012.
"Hierarchical Trust Management for Wireless Sensor Networks and Its Application to Trust-Based Routing and Intrusion Detection",
IEEE Transactions on Network and Service Management, vol. 9, no. 2, pp. 169-183, 2012.
"Mobility Management in Wireless Mesh Networks utilizing Location Routing and Pointer Forwarding",
IEEE Transactions on Network and Service Management, vol. 9, no. 3, pp. 226-239, 2012.
"Modeling and Analysis of Trust Management with Trust Chain Optimization in Mobile Ad Hoc Networks",
Journal of Network and Computer Applications, vol. 35, no. 3, pp. 1001–1012, 2012.
"Integrated Social and QoS Trust-based Routing in Delay Tolerant Networks",
Wireless Personal Communications, vol. 66, no. 2, pp. 443-459, 2012.
"A Provenance-based Trust Model for Delay Tolerant Networks",
6th IFIP WG 11.11 International Conference on Trust Management, India, 05/2012.
"Specification Based Intrusion Detection for Unmanned Aircraft Systems",
Mobihoc 2012 Workshop on Airborne Networks and Communications, Hilton Head Island, SC, USA, 06/2012.
"Trust Management for the Internet of Things and Its Application to Service Composition",
WoWMoM 2012 Workshop on the Internet of Things: Smart Objects and Services, San Francisco, CA, USA, 06/2012.
"Reliability Analysis of Wireless Sensor Networks with Distributed Code Attestation",
IEEE Communications Letters, vol. 16, no. 10, pp. 1640-1643, 2012.
"Trust-based Task Assignment in Military Tactical Networks",
17th International Command and Control Research and Technology Symposium, Fairfax, VA, USA, 06/2012.
"Dynamic Trust Management for Internet of Things Applications",
ICAC 2012 Workshop Self-Aware Internet of Things, San Jose, 09/2012.
"Behavior Rule Based Intrusion Detection for Supporting Secure Medical Cyber Physical Systems",
21th IEEE International Conference on Computer Communication Networks, Munich, Germany, 08/2012.
"Adaptive Fault Tolerant QoS Control Algorithms for Maximizing System Lifetime of Query-Based Wireless Sensor Networks",
IEEE Transactions on Dependable and Secure Computing, vol. 8, no. 2, pp. 161-176, 2011.
"Design and Performance Analysis of Mobility Management Schemes based on Pointer Forwarding for Wireless Mesh Networks",
IEEE Transactions on Mobile Computing, vol. 10, no. 3, pp. 349–361, 2011.
"A Survey on Trust Management for Mobile Ad Hoc Networks",
IEEE Communications Surveys and Tutorials, vol. 13, no. 4, pp. 562-583, 2011.
"Hierarchical Trust Management for Wireless Sensor Networks and Its Application to Trust-based Routing",
ACM 26th Symposium on Applied Computing, Taichung, Taiwan, 03/2011.
"A Hierarchical Performance Model for Intrusion Detection in Cyber Physical Systems",
IEEE Wireless Communication and Networking Conference (WCNC), Cancun, Mexico, 03/2011.
"Trust-Based Intrusion Detection in Wireless Sensor Networks",
IEEE International Conference on Communications (ICC), Kyoto, Japan, 06/2011.
"Hierarchical Agent-based Secure Multicast in Wireless Mesh Networks",
IEEE International Conference on Communications (ICC), Kyoto, Japan, 06/2011.
"Performance Analysis of Hierarchical Group Key Management Integrated with Adaptive Intrusion Detection in Mobile Ad Hoc Networks",
Performance Evaluation, vol. 68, no. 1, pp. 58-75, 2011.
"Trust-Threshold Based Routing in Delay Tolerant Networks",
The 5th IFIP International Conference on Trust Management, Copenhagen, Denmark, 06/2011.
"CROWDSAFE : Crowd Sourcing of Crime Incidents and Safe Routing on Mobile Devices (Demo Paper)",
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS 2011), Chicago, Illinois, pp. 521-524, 11/2011.
"Model-based Evaluation of Distributed Intrusion Detection Protocols for Mobile Group Communication Systems",
Wireless Personal Communications, vol. 60, no. 4, pp. 725-750, 2011.
"Effect of Intrusion Detection on Reliability of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc Networks",
IEEE Transactions on Reliability, vol. 59, no. 1, pp. 231-241, 2010.
"Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks",
Wireless Personal Communications, vol. 53, no. 1, pp. 111-131, 2010.
"Modeling and Analysis of Intrusion Detection Integrated with Batch Rekeying for Dynamic Group Communication Systems in Mobile Ad Hoc Networks",
ACM Wireless Networks, vol. 16, no. 4, pp. 1157-1173, 2010.
"Regional Registration-Based Mobile Multicast Service Management in Mobile IP Networks",
Wireless Personal Communications, vol. 54, no. 4, pp. 635-649, 2010.
"Reliability of Wireless Sensors with Code Attestation for Intrusion Detection",
Information Processing Letters, vol. 54, no. 4, pp. 635-649., 2010.
"Trust Management for Encounter-based Routing in Delay Tolerant Networks",
IEEE Global Communications Conference 2010, Miami, USA, 12/2010.
"APPCCM: Adaptive Per-User Per-Object Cache Consistency Management for Mobile Client-Server Applications in Wireless Mesh Networks",
The 35th IEEE Conference on Local Computer Networks, Denver, Colorado, USA, 10/2010.
"Modeling and Analysis of Trust Management Protocols: Altruism versus Selfishness in MANETs",
The 4th IFIP International Conference on Trust Management, Morioka, Japan, 06/2010.
"Performance analysis of location-based group membership and data consistency algorithms in mobile ad hoc networks",
International Journal of Pervasive Computing and Communications, vol. 5, no. 4, pp. 497-516, 2009.
"Elastic Threshold-Based Admission Control for QoS Satisfaction with Reward Optimization for Servicing Multiple Priority Classes in Wireless Networks",
Information Processing Letters, vol. 109, no. 15, pp. 868-875, 2009.
"Proxy-Based Integrated Cache Consistency and Mobility Management in Mobile IP Systems",
Journal of Parallel and Distributed Computing, vol. 69, no. 6, pp. 559-572, 2009.
"Utilizing Call Admission Control for Pricing Optimization of Multiple Service Classes in Wireless Cellular Networks",
Computer Communications, vol. 32, no. 2, pp. 317-323, 2009.
"Modeling and Analysis of Trust Management for Cognitive Mission-driven Group Communication Systems in Mobile Ad Hoc Networks",
The 7th IEEE/IFIP International Symposium on Trusted Computing and Communications, Vancouver, Canada, 09/2009.
"A Comparative Performance Analysis of CAC Reward Optimization Algorithms in Wireless Networks",
The IEEE 23rd International Conference on. Advanced Information Networking and Applications, Bradford, UK, 05/2009.
"Dynamic Adaptive Redundancy for Quality-of-Service Control in Wireless Sensor Networks",
IPDPS'09, Rome, Italy, 5/2009.
Abstract
"Performance Analysis of Distributed Intrusion Detection Protocols for Mobile Group Communication Systems",
IPDPS'09, Rome, Italy, 05/2009.
"On the Reliability of Wireless Sensors with Software-based Attestation for Intrusion Detection",
The 10th IEEE International Symposium on Pervasive Systems, Algorithms and Networks, Kaohsiung, Taiwan, 12/2009.
"Signalprint-based Intrusion Detection in Wireless networks",
The 1st ICST International Workshop on Security in Emerging Wireless Communication and Networking Systems, Athens, Greece, 09/2009.
"Movement-based checkpointing and logging for failure recovery of database applications in mobile environments",
Distributed and Parallel Databases, vol. 23, no. 3, pp. 189-205, June 2008.
"Proxy-based hybrid cache management in Mobile IP systems",
Information Processing Letters, vol. 106, no. 1, pp. 26-32, 2008.
"On optimal batch rekeying for secure group communications in wireless networks",
ACM/Springer Wireless Networks, vol. 14, no. 6, December 2008.
"Performance optimization of region-based group key management in mobile ad hoc networks",
Performance Evaluation, vol. 65, no. 5, pp. 319-344, 2008.
"Effect of Intrusion Detection on Failure Time of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc Networks",
14th IEEE Pacific Rim International Symposium on Dependable Computing, Taipei, Taiwan, December 2008.
"Effect of Intrusion Detection on Secure Group Communications in Hierarchically Structured Group Architectures",
4th IEEE LCN Workshop on Network Security, Montreal, Canada, October 2008.
"On QoS guarantees with reward optimization for servicing multiple priority classes in wireless networks",
IEEE 17th International Conference on Computer Communications and Networks (ICCCN '08), St. Thomas, U.S. Virgin Islands, August 2008.
"Performance Analysis of Dynamic Group Communication Systems with Intrusion Detection Integrated with Batch Rekeying in Mobile Ad Hoc Networks",
1st IEEE International Workshop on Applications of Ad hoc and Sensor Networks, Ginowan, Okinawa, Japan, March 2008.
"Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks",
3rd IEEE International Workshop on Performance Analysis and Enhancement of Wireless Networks, Ginowan, Okinawa, Japan, March 2008.
"DMAP: integrated mobility and service management scheme in Mobile IPv6 systems",
Wireless Personal Communications, vol. 43, no. 2, pp. 711-723, October 2007.
"Proxy-based regional registration for integrated mobility and service management for network cost minimization in Mobile IP systems",
The Computer Journal, vol. 50, no. 3, pp. 281-293, 2007.
"Effect of redundancy on mean time to failure of wireless sensor networks",
Computation and Concurrency: Practice and Experience, vol. 19, no. 8, pp. 1119-1128, 2007.
"Modeling and Analysis of Regional Registration Based Mobile Multicast Service Management",
3rd IEEE International Workshop on Performance Modeling and Analysis of Communication in Wired and Wireless Networks, Hsinchu, Taiwan, December 2007.
"A Proxy-Based Integrated Cache Consistency and Mobility Management Scheme for Mobile IP Systems",
IEEE 21st International Conference on Advanced Information Networking and Applications (AINA-07), Niagara Falls, Canada, May 2007.
"On integrated location and service handoff schemes for reducing network cost in personal communication systems",
IEEE Transactions on Mobile Computing, vol. 5, no. 2, pp. 179-192, 2006.
"Filtering strategies for TFC selection schemes in 3GPP W-CDMA systems",
IEEE Transactions on Wireless Communications, vol. 5, no. 5, pp. 1023-1032, May 2006.
"Admission control algorithms for revenue optimization with QoS guarantees in mobile wireless networks",
Wireless Personal Communications, vol. 38, no. 3, pp. 357-376, August 2006.
"Extending proxy caching capability: issues and performance",
WWW Journal, vol. 9, no. 3, pp. 253-275, 2006.
"DMAP: an efficient and scalable integrated mobility and service management scheme for Mobile IPv6 systems",
2nd IEEE International Workshop on Performance and Management of Wireless and Mobile Networks, Tampa,, November 2006.
"An optimal path and source redundancy for achieving QoS and maximizing lifetime of query-based wireless sensor networks",
14th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Monterey, California, September 2006.
"Utilizing call admission control for deriving optimal pricing of multiple service classes in wireless cellular networks",
12th IEEE International Conference on Parallel and Distributed Systems, Minneapolis, July 2006.
"Movement-based checkpointing and logging for recovery in mobile computing systems",
ACM 5th Workshop on Data Engineering for Wireless and Mobile Access, Chicago, USA, June 2006.
"Performance characteristics of region-based group key management in mobile ad hoc networks",
1st IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Taichung, Taiwan, June 2006.
"Effect of redundancy on mean time to failure of wireless sensor networks",
1st IEEE International Workshop on Performance Analysis and Enhancement of Wireless Networks, Vienna, Austria, April 2006.
"Effect of redundancy on mean time to failure of wireless sensor networks",
1st IEEE International Workshop on Performance Analysis and Enhancement of Wireless Networks, Vienna, Austria, April 2006.
"Performance analysis of location-aware mobile service proxies for reducing network cost in personal communication systems",
ACM/Kluwer Journal on Mobile Networks and Applications (MONET), vol. 10, no. 4, pp. 453-463, 2005.
"On failure recoverability of client-server applications in mobile wireless environments",
IEEE Transactions on Reliability, vol. 54, no. 1, pp. 115-122, March 2005.
"Performance analysis of location-based group membership and data consistency algorithms in mobile ad hoc networks",
International Journal of Wireless and Mobile Computing, vol. 1, no. 8, 2005.
"Adaptive QoS control based on benefit optimization for video servers providing differentiated services",
Journal of Multimedia Tools and Applications, vol. 25, pp. 167-185, 2005.
"Update propagation algorithms for supporting disconnected write in mobile wireless systems with data broadcasting capability",
Journal of Wireless Personal Communication, vol. 34, no. 3, pp. 227-253, August 2005.
"On design tradeoffs between security and performance in wireless group communicating systems",
IEEE 1st Workshop on Secure Network Protocols (NPSec), Boston, November 2005.
"On design tradeoffs between security and performance in wireless group communicating systems",
IEEE 1st Workshop on Secure Network Protocols (NPSec), Boston, November 2005.
"Optimization of batch rekey interval for secure group communications in wireless networks",
2005 IEEE International Conference on Wireless Networks, Communications, and Mobile Computing (Wirelesscom 2005), Maui, Hawaii, USA , July 2005.
"On optimal key disclosure interval for mTESLA: analysis of authentication delay versus network cost",
2005 IEEE International Conference on Wireless Networks, Communications, and Mobile Computing (Wirelesscom 2005), Maui, Hawaii, USA , July 2005.
"The development of web-based KTV services over campus broadband networks",
Journal of Internet Technology, vol. 5, no. 4, pp. 213-219, 2004.
"Analyzing reconfigurable algorithms for managing replicated data",
Journal of Systems and Software, vol. 72, no. 3, pp. 417-430, 2004.
"Replicated object Management with periodic maintenance in mobile wireless systems",
Journal of Wireless Personal Communication, vol. 28, pp. 17-33, 2004.
"Systematic reliability analysis of a class of application-specific embedded software frameworks",
IEEE Transactions on Software Engineering, vol. 30, no. 4, pp. 218-230, 2004.
"Extending proxy caching for e-commerce applications",
Seventh International Conference on Electronic Commerce Research, Dallas, TX, June 2004.
"Performance analysis of location-based data consistency algorithms in mobile ad hoc networks",
10th IEEE International Conference on Parallel and Distributed Systems, Newport Beach, CA, July 2004.
"Admission control algorithms integrated with pricing for revenue optimization with QoS guarantees in mobile wireless networks",
10th IEEE International Conference on Parallel and Distributed Systems, Newport Beach, CA, July 2004.
"Survivable systems based on an adaptive NMR algorithm",
18th International Parallel and Distributed Processing Symposium, Santa Fe, New Mexico, April 2004.
"A hands-on course on wireless and mobile systems design",
2004 Workshop on Pervasive Computing Education, Orlando, FL, March 2004.
"Quantitative analysis of a hybrid replication with forwarding strategy for efficient and uniform location management in mobile wireless networks",
IEEE Transactions on Mobile Computing, vol. 2, no. 1, pp. 3-15, 2003.
"A cost-based admission control algorithm for digital library multimedia systems storing heterogeneous objects",
The Computer Journal, vol. 46, no. 6, pp. 645-659, October 2003.
"Performance evaluation of an admission control algorithm: dynamic threshold with negotiation",
Performance Evaluation, vol. 52, no. 1, pp. 1-13, March 2003.
"Analyzing user-perceived dependability and performance characteristics of voting schemes for managing replicated data",
Distributed and Parallel Databases, vol. 14, no. 3, pp. 199-219, 2003.
"High assurance synthesis of security services from basic microservices",
14th IEEE International Symposium on Software Reliability Engineering, Denver, Colorado, November 2003.
"A Weblet environment to facilitate proxy caching of web processing components",
15th IASTED International Conference Parallel and Distributed Computing and Systems, Marina del Ray, CA, USA, November 2003.
"Update propagation algorithms for supporting disconnected operations in mobile wireless systems with data braodcasting",
2003 IEEE Workshop on Mobile and Wireless Networks (held in conjunction with ICDCS 2003), Providence, Rhode Island, USA, May 2003.
"Simulation study of a class of autonomous host-centric mobility prediction algorithms for cellular and ad hoc networks",
36th Annual Simulation Symposium, Orlando, FL, USA, March 2003.
"Algorithms for supporting disconnected write operations for wireless web access in mobile client-server environments",
IEEE Transactions on Mobile Computing, vol. 1, no. 1, pp. 46-58, 2002.
"A comparative cost analysis of degradable location management algorithms in wireless networks",
The Computer Journal, vol. 45, no. 3, pp. 304-319, 2002.
"A self-adjusting quality of service control scheme",
Information Processing Letters, vol. 83, no. 6, pp. 337-344, 2002.
"Reliability assessment of framework-based distributed embedded software systems",
13th IEEE Symposium on Software Reliability Engineering, Annapolis, Maryland, November 2002.
"An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems",
5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington DC, May 2002.
"QoS control algorithms based on benefit optimization for video servers providing differentiated services",
2nd International Workshop on Intelligent Multimedia Computing and Networking, Durham, North Carolina, March 2002.
"Design and analysis of a set-top box for video streaming services",
2nd International Workshop on Intelligent Multimedia Computing and Networking, Durham, North Carolina, March 2002.
"Agent-based forwarding strategies for reducing location management cost in mobile networks",
ACM/Baltzer Journal on Mobile Networks and Applications (MONET), vol. 6, no. 2, pp. 103-113, 2001.
"A nonblocking atomic transaction processing algorithm with real-time properties",
International Journal of Reliability, Quality and Safety Engineering, vol. 8, no. 4, pp. 391-408, 2001.
"An open RTSP-based multimedia presentation system",
7th IEEE 2001 International Conference on Distributed Multimedia Systems, Taipei, Taiwan, September 2001.
"A cost-based admission control algorithm for handling mixed workloads in multimedia server systems",
8th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2001), Kyongju City, Korea, June 2001.
"Analysis of algorithms for supporting disconnected write operations in mobile client-server environments",
5th IEEE International Symposium on Autonomous Decentralized Systems (ISADS 2001), Dallas, Texas, March 2001.
"Response time behavior of distributed voting algorithms for managing replicated data",
Information Processing Letters, vol. 75, no. 6, pp. 247-253, 2000.
"Dynamic quota-based admission control with subrating in multimedia servers",
ACM/Springer Journal on Multimedia Systems, vol. 8, no. 2, pp. 83-91, 2000.
"Analysis and comparison of location strategies for reducing registration cost in PCS networks",
Wireless Personal Communications, vol. 12, no. 2, pp. 117-136, 2000.
"Analyzing reconfigurable algorithms for managing replicated data with strict consistency requirements: a case study",
24th IEEE International Computer Software Applications Conference (COMPSAC 2000), Taipei, Taiwan, October 2000.
"Collaborative learning in a multi-cultural, multilingual virtual environment",
2000 Workshop on Virtual University for Multilingual Educations, Chicago, July 2000.
"Performance and stability analysis of multilevel data structures with deferred reorganization",
IEEE Transactions on Software Engineering, vol. 25, no. 5, pp. 690-700, Sept/Oct 1999.
"Real-time atomic transaction processing using multi-invariant data structures",
4th IEEE Symposium on High Assurance Systems Engineering, Washington DC, November 1999.
"Response time behavior of voting schemes for managing replicated data",
23rd IEEE International Computer Software Applications Conference (COMPSAC '99), Phoenix, AZ, October 1999.
"User-perceived availability and response-time in voting-based replicated systems: a case study",
2nd IEEE Symposium on Application-Specific Systems and Software Engineering Technology (ASSET '99), Richardson, Texas, March 1999.
"Performance evaluation of forwarding strategies for location management in mobile networks",
The Computer Journal, vol. 41, no. 4, 1998.
"Performance analysis of admission control algorithms based on reward optimization for real-time multimedia servers",
Performance Evaluation, vol. 33, no. 2, pp. 89-112, 1998.
"Agent-based forwarding strategies for reducing location management cost in mobile networks",
6th IEEE International Conference on Parallel and Distributed Systems (ICPADS '98), Tainan, Taiwan, December 1998.
"A study of self-adjusting quality of service control schemes",
1998 Winter Simulation Conference (WSC '98), Washington DC, December 1998.
"Reliability assessment of multiple-agent cooperating systems",
IEEE Transactions on Reliability, vol. 46, no. 3, September 1997.
"Effect of parallel planning on system reliability of real-time expert systems",
IEEE Transactions on Reliability, vol. 46, no. 1, pp. 81-87, March 1997.
"Performance characterization of forwarding strategies in mobile communication networks",
21st International Computer Software and Application Conference (COMPSAC '97), Bethesda, Maryland, August 1997.
"Analysis and comparison of location strategies for reducing registration cost in PCS networks",
National Computer Symposium, Taipei, Taiwan, December 1997.
"Threshold-based admission control policies for multimedia servers",
The Computer Journal, vol. 39, no. 9, pp. 757-766, 1996.
"Analysis of replicated data with repair dependency",
The Computer Journal, vol. 39, no. 9, pp. 767-779, 1996.
"Repairman models for replicated data management: a case study",
4th International Conference Parallel and Distributed Information Systems (PDIS '96), Miami , December 1996.
"Analyzing dynamic voting using Petri nets",
15th Symposium on Reliable Distributed Systems (SRDS '96), Niagara, Canada, October 1996.
"Modeling and analysis of forwarding and resetting strategies for location management in mobile environments",
International Conference on Computer Systems (ICS '96), Taipei, Taiwan, December 1996.
"Threshold-based dynamic admission control algorithms for real-time multimedia servers",
1996 ACM/SIGAPP Symposium on Applied Computing (SAC '96), Philadelphia, PA, February 1996.
"A reliability model for real-time rule-based expert systems",
IEEE Transactions on Reliability, vol. 44, no. 1, pp. 54-62, March 1995.
"On the reliability of AI planning software in real-time applications",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 4-13, February 1995.
"Stochastic Petri net analysis of deadlock detection algorithms in transaction database systems with dynamic locking",
The Computer Journal, vol. 38, no. 9, pp. 717-733, 1995.
"On applying imprecise computation to real-time AI systems",
The Computer Journal, vol. 38, no. 6, pp. 434-442, 1995.
"A degradable B-tree with periodic data reorganization",
The Computer Journal, vol. 38, no. 3, pp. 245-252, 1995.
"On repair-based intelligent automation",
7th IEEE International Conference Tools with AI, Washington D.C., November 1995.
"On repair-based intelligent automation",
7th IEEE International Conference Tools with AI, Washington D.C., November 1995.
"Quality assessment for multiple server cooperating systems",
19th International Computer Software Applications Conference (COMPSAC '95), Dallas, TX, August 1995.
"A systematic approach for integration of multimedia capabilities in consulting systems",
1995 Pacific Workshop on Distributed Multimedia Systems, Hawaii, March 1995.
"Performance analysis of a periodic data reorganization algorithm for concurrent B-trees in database systems",
1995 ACM/SIGAPP Symposium on Applied Computing (SAC '95), Nashville, TN, February 1995.
"Performance evaluation of rule grouping on a real-time expert system architecture",
IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 6, pp. 883-891, December 1994.
"Warm standby in hierarchically structured process--control programs",
IEEE Transactions on Software Engineering (Concise), vol. 20, no. 8, pp. 658-663, August 1994.
"Assessment of the reliability of AI programs",
International Journal on Artificial Intelligence Tools, vol. 2, no. 2, pp. 235-247, 1993.
"Modeling and analysis of concurrent maintenance policies for data structures using pointers",
IEEE Transactions on Software Engineering (Concise), vol. 19, no. 9, pp. 902-911, September 1993.
"A software reliability model for AI programs",
International Journal of Software Engineering and Knowledge Engineering, vol. 3, no. 1, pp. 99-114, 1993.
"On the reliability of embedded AI systems",
IEEE Expert, vol. 8, no. 2, pp. 72-78, April 1993.
