Selected Publications

Note: Links to papers are provided to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons accessing this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

2011

L. Chang, X. He and S. M. Shatz, "A Methodology for Modeling Multi-Agent Systems Using Nested Petri Nets," To appear in International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2011.

J. Li, S. M. Shatz and A. Kshemkalyani, "Mobile Sampling of Sensor Field Data Using Controlled Broadcast," IEEE Transactions on Mobile Computing, Vol. 10, No. 6, June 2011, pp. 881-896.

2010

J. Li and S. M. Shatz, "Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects," Proceedings of the 16th International Conference on Distributed Multimedia Systems (DMS-10), Chicago, October 2010.

PDF File

A. Goel, H. Xu and S. M. Shatz, "A Multi-State Bayesian Network for Shill Verification in Online Auctions," Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), San Francisco, CA, July 2010, pp. 279-285.

PFD File

F. Dong, S. M. Shatz and H. Xu, "An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions," Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), San Francisco, CA, July 2010, pp. 286-291.

PDF File

F. Dong, S. M. Shatz and H. Xu, "Reasoning Under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 27, No. 10, 2010, pp. 943-973.

PDF File

Z. Zhang, A. Kshemkalyani and S. M. Shatz, "Dynamic Multi-Root, Multi-Query Processing Based on Data Sharing In Sensor Networks," ACM Transactions on Sensor Networks, Vol. 6, No. 3, June 2010, pp. 1-38.

PDF File

B. J. Ford, H. Xu, C. K. Bates and S. M. Shatz, "Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents," Journal of Computers, Vol. 5, No. 6, June 2010, pp. 940-950.

PDF File

2009

F. Dong, S. M. Shatz and H. Xu, "Combating Online In-Auction Fraud: Clues, Techniques and Challenges," Computer Science Review, Vol. 3, Issue 4, Nov. 2009, pp. 245-258.

PDF File

J. Lian, S. M. Shatz and X. He, "Flexible Coordinator Design for Modeling Resource Sharing in Multi-Agent Systems," Journal of Systems and Software, Vol. 82, Issue 10, Oct. 2009, pp. 1709-1729.

PDF File

H. Xu, C. Bates and S. M. Shatz, "Real-Time Model Checking for Shill Detection in Live Online Auctions," Proceedings of the International Conference on Software Engineering Research and Practice (SERP), Las Vegas, July 2009, pp. 134-140.

PDF File

B. Ford, H. Xu, C. Bates and S. M. Shatz, "Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions," Proceedings of the 6th International Conference on Information Technologies: New Generations (ITNG-09), Las Vegas, NV, April 2009, pp. 894-900.

PDF File

F. Dong, S. M. Shatz and H. Xu, "Inference of Online Auction Shills using Dempster-Shafer Theory," Proceedings of the 6th International Conference on Information Technologies: New Generations (ITNG-09), Las Vegas, NV, April 2009, pp. 908-914.

PDF File

S. Tian, S. M. Shatz, Y. Yu and J. Li, “Querying Sensor Networks Using Ad-hoc Mobile Devices: A Two Layer Networking Approach,” Ad Hoc Networks Journal, Vol. 7, Issue 5, July 2009, pp. 1014 - 1034.

PDF File

2008

J. Li, and S. M. Shatz, “Sampling Sensor Fields Using a Mobile Object: A Band-Based Approach for Directional Broadcast of Sensor Data,” Proceedings of the IASTED International Symposium on Distributed Sensor Networks (DSN), Orlando, Fla., Nov. 2008.

PDF File

X. He, L. Chang, S. Shatz and J. Li, “Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents,” International Workshop on Petri Nets and Distributed Systems (PNDS 2008), Xi'an, China, June 2008.

PDF File

L. Chang, J. Ding, X. He and S. M. Shatz, “A Formal Modeling Approach for Software Agents Coordination,” 4th International Workshop on Agent-Oriented Development Methodology (AOSDM), Glasgow, UK, July 2008.

PDF File

Z. Zhang, A. Kshemkalyani and S. M. Shatz, “Multi-Root, Multi-Query Processing in Sensor Networks,” 4th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), Santorini Island, Greece, July 2008.

PDF File

J. Lian and S. M. Shatz, “A Modeling Methodology for Conflict Control in Multi-Agent Systems,” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 18, No. 3, May 2008, pp. 263-303.

PDF File

J. Li and S. M. Shatz,“Toward Using Node Mobility to Enhance Greedy-Forwarding in Geographic Routing for Mobile Ad Hoc Networks,” To appear in International Workshop on Mobile Device and Urban Sensing (MODUS 2008), St. Louis, MO, April 2008.

PDF File

H. Xu, S. M. Shatz and C. K. Bates, “A Framework for Agent-Based Trust Management in Online Auctions,” To appear in Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), E-Commerce Track, Las Vegas, Nevada, April 2008.

PDF File

J. Lian, Z. Hu and S. M. Shatz, “Simulation-Based Analysis of UML Statechart Diagrams: Methods and Case Studies,” The Software Quality Journal (SQJ), Vol. 16, No. 1, March 2008, pp. 45-78.

PDF File

2007

S. Tian, S. M. Shatz and Y. Yu, “A Framework for Querying Sensor Networks Using Mobile Devices,” To appear in Proceedings of the 1st International Workshop on Distributed Sensor Systems (DSS-07), Honolulu, Hawaii, August 2007.

PDF File

J. Lian, S. M. Shatz and X. He, “Component Based Multi-Agent System Modeling and Analysis: A Case Study,” Proceedings of the International Conference on Software Engineering Research and Practice (SERP), Las Vegas, June 2007, Vol. 1, pp 183-189.

PDF File

S. Tian and S. M. Shatz, “Optimizing Query Injection from Mobile Objects to Sensor Networks,” Proceedings of the IEEE 8th International Symposium on Autonomous Decentralized Systems (ISADS), Sedona, Arizona, March 2007, pp. 196 – 203.

PDF File

2006

J. Lian and S. M. Shatz, “Potential Arc: A Modeling Mechanism for Conflict Control in Multi-Agent Systems,” Proceedings of the 4th Symposium on Design, Analysis, and Simulation of Distributed Systems (DASD-06), Huntsville, Alabama, April 2006, pp. 467-474.

PDF File

Z. Zhang and S. M. Shatz, “A Technique for Power-Aware Query-Informed Routing in Support of Long-Duration Queries for Sensor Networks,” Proceedings of the IEEE International Conference on Networking, Sensing and Control, Ft. Lauderdale, Fl., April 2006, pp. 1069-1074.

PDF File

Z. Hu and S. M. Shatz, “Explicit Modeling of Semantics Associated with Composite States in UML Statecharts,” Journal of Automated Software Engineering, Vol. 13, No. 4, October 2006, pp. 423-467.

PDF File

2005

Z. Hu and S. M. Shatz, “A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study,” Proceedings of the International Workshop on the Applications of UML/MDA to Software Systems (UMSS05), Las Vegas, NV, June 2005.

PDF File

H. Xu, Z. Zhang, and S. M. Shatz, “A Security Based Model for Mobile Agent Software Systems,” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Aug. 2005, Vol. 15, No. 4, pp. 719-746.

PDF File

2004

Z. Hu and S. M. Shatz, “Mapping UML Diagrams to a Petri Net Notation for System Simulation,” Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE), Banff, Canada, June 2004, pp. 213-219.

PDF File

2003

H. Xu and S. M. Shatz, “A Framework for Model-Based Design of Agent-Oriented Software,” IEEE Transactions on Software Engineering, Vol. 29, No. 1, January 2003, pp. 15-30.
PDF File

H. Xu and S. M. Shatz, “ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems,” Journal of Automated Software Engineering, Vol. 10, No. 4, October 2003, pp. 337-365.

PDF File

2002

X. Xie and S. M. Shatz, “Development of Class-level and Instance-level Design Models for Distributed-Object Software,” International Journal of Computer Systems Science and Engineering, Vol. 17, No. 3, 2002, pp. 169-181.
PDF File

2001

X. Xie and S. M. Shatz, “An Approach for Modeling Components with Customization for Distributed Systems,” International Journal of Informatica, Special issue on Component Based Software Development, Vol. 25, No. 4, 2001, pp. 465-474.
PDF File

S. Khanvilkar and S. M. Shatz, “Tool Integration for Flexible Simulation of Distributed Algorithms,” Software - Practice & Experience, Vol. 31, 2001, pp. 1363-1380.
PDF File

J. Saldhana, S. M. Shatz, and Z. Hu, “Formalization of Object Behavior and Interactions From UML Models,” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Dec. 2001, Vol. 11, No. 6, pp. 643-673.
PDF File

X. Xie and S. M. Shatz, “Design Models for Components in Distributed Object Software,” Proceedings of the Monterey Workshop on Software Engineering, Monterey, Calif., June 2001, pp. 229-238.
PDF File

H. Xu and S. M. Shatz, “A Framework for Modeling Agent-Oriented Software,” Proceedings of the IEEE 21st International Conference on Distributed Computing Systems (ICDCS), Phoenix, Arizona, April 2001, pp. 57-64.
PDF File

H. Xu and S. M. Shatz, “An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce,” Proceedings of the IEEE 5th International Symposium on Autonomous Decentralized Systems (ISADS), Dallas, Texas, March 2001, pp. 11-18.
PDF File

2000

H. Xu and S. M. Shatz, “Extending G-Nets to Support Inheritance Modeling in Concurrent Object-Oriented Design,” Proceedings of the IEEE Int Conf. on Systems, Man, and Cybernetics (SMC), Nashville, Tenn., Oct. 2000, 3128-3133.

M. Lemmon, K. He, and S. M. Shatz, “Dynamic Reconfiguration of Software Objects Using Petri Nets and Network Unfolding,” Proceedings of the IEEE Int Conf. on Systems, Man, and Cybernetics (SMC), Nashville, Tenn., Oct. 2000, pp. 3069-3074.

J. Saldhana and S. M. Shatz, “UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis,” Proceedings of the Int. Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, July 2000, pp. 103-110.
PDF File

X. Xie and S. M. Shatz, “An Approach to Using Formal Methods in Aspect Orientation,” Proceedings of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), (Special Session on Architectural Support for Aspect-Oriented Software Systems), Las Vegas, Nevada, June 2000.

1999

R. Gedela, S. Shatz, and H. Xu, “Modeling of Synchronization Methods for Concur rent Objects in Ada 95,” Proceedings of the ACM Annual International Conference on Ada (SIGAda-99), Redondo Beach, Calif., Oct. 1999, pp. 211-220.

R. Gedela, S. Shatz, and H. Xu, “Compositional Petri Net Models of Advanced Tasking in Ada-95,” Computer Languages, Vol. 25, Issue 2, July 1999, pp. 55-87.
PDF File

V. Sliva, T. Murata, and S. M. Shatz, “Protocol Specification Design Using an Object-Based Petri Net Formalism,” Int. Journal of Software Engineering and Knowledge Engineering, Feb. 1999, Vol. 9, No. 1, pp. 97-125.

1998

A. Khetarpal, S. M. Shatz, and S. Tu, “Applying an Object-Based Petri Net to the Modeling of Communication Primitives for Distributed Software,” Proceedings of the High Performance Computing Conference (HPC98), Boston, Mass., April 1998, pp. 404-409.

C. Black, S. M. Shatz, and S. Tu, “A Query Language for Automated General Analysis of Concurrent Ada Programs,” International Journal of Computer Systems Science and Engineering, Vol. 13, No. 2, March 1998, pp. 83-95.
PDF File

A. Newman, S. M. Shatz, and X. Xie, “An Approach to Object System Modeling by State-Based Object Petri Nets,” Int. Journal of Circuits, Systems, and Computers, Feb. 1998, Vol. 8, No. 1, pp. 1-20.
PDF File

1997

M. Altaher, U. Buy, S. Shatz, C. Yu, D. Hier, and W. Panko, “A Computer-Based System for Problem List Maintenance and Medical Informatics,” 19th Annual IEEE International Conference on Engineering in Medicine and Biology, Chicago, Oct. 1997, pp. 949-952.

C. Sashidhar and S. M. Shatz, “Design and Implementation Issues for Supporting Callback Prodedures in RPC-Based Distributed Software,” 21st Annual International Computer Software and Applications Conference (COMPSAC-97), Washington, D.C., Aug. 1997, pp. 460-466.

R. Gedela and S. M. Shatz, “Formal Modeling of Advanced Tasking in Ada: A Petri Net Perspective,” 2nd International Workshop on Software Engineering for Parallel and Distributed Systems (PDSE-97), Boston, May, 1997, pp. 4-14.

1996

S. M. Shatz, S. Tu, T. Murata, and S. Duri, “An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis,” IEEE Trans. on Parallel and Distributed Systems, Vol. 7, No. 12, Dec. 1996, pp. 1307-1322.
Postscript File

C. Sashidhar and S. M. Shatz, “Shared Program Variables for Distributed Sequential Programs,” Proc. of the 11th Int. Conf. on Systems Engineering, Las Vegas, Nevada, July 1996, pp. 584-589.

T. Murata, T. Sazuki, and S. M. Shatz, “Fuzzy-Timing High-Level Petri Net Model of a Real-Time Network Protocol,” Proc. of the 1996 Int. Technical Conf. on Circuits/Systems, Computers and Communications, Seoul, Korea, July 1996, pp. 1170-1173.

V. Sliva, T. Murata, and S. M. Shatz, “A Method for Applying G-Nets to Communication Protocols,” Proc. of the 8th Int. Conf. on Software Engineering and Knowledge Engineering, (SEKE-96), Lake Tahoe, Nevada, June 1996, pp. 145-152.

1995

L. Lilien, S. M. Shatz, and S. Damerla, “Redistribution of Hierarchically Structured Software in Response to Distributed System Site Crashes,” International Journal of Computer Systems Science and Engineering, Vol. 10, No. 3, July 1995, pp. 144-155.

1994

S. Duri, U. Buy, R. Devarapalli, and S. M. Shatz, “Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada,” ACM Transactions on Software Engineering Methodology, Vol. 3, No. 4, Oct. 1994, pp. 340-380.

1993

S. Duri, U. Buy, R. Devarapalli and S.M. Shatz, “Using State Space Methods for Deadlock Analysis in Ada Tasking,” Proceedings of the International Symposium on Software Testing and Analysis (ISSTA-93), pp. 51-60, May, 1993.

S.M. Shatz, Development of Distributed Software: Concepts and Tools, New York: Macmillan Publishing Company,1993.

1992

S.M. Shatz, J.P. Wang and M. Goto, “Task Allocation for Maximizing Reliability of Distributed Computer Systems,” IEEE Transactions on Computers, Vol. 41, No. 9, pp. 1156-1168, September, 1992.

S. Damerla and S.M. Shatz, “Software Complexity and Ada Rendevous: Metrics Based on Nondeterminism,” Journal of Systems and Software, Vol. 17, pp. 119-127, March, 1992.

1991

T. Murata, R. Bhatia and S. Shatz, “Markov Chain Reduction and Analysis of GSPN Models for Task Allocation in Distributed Systems,” International Journal on Microelectronics and Reliability, (Special Issue on Petri Nets), Vol. 31, No. 4, pp. 727-746, 1991.

S. Damerla and S.M. Shatz, “A Software Complexity Perspective on Nondeterminism Used to Support Intertask Communications,” Proceedings of the International Phoenix Conference on Computers and Communications, Scottsdale, Arizona, pp. 280-286, March, 1991.

Topic revision: r18 - 2011-08-24 - 17:26:55 - Main.shatz
 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF