Sol M. Shatz

According to our database, Sol M. Shatz authored at least 70 papers between 1981 and 2012.

Collaborative distances:

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

2012

A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets.

Lily Chang, Xudong He, Sol M. Shatz

Int. J. Softw. Eng. Knowl. Eng., 2012

Price comparison: A reliable approach to identifying shill bidding in online auctions?

Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar

Electron. Commer. Res. Appl., 2012

2011

Mobile Sampling of Sensor Field Data Using Controlled Broadcast.

Juzheng Li, Sol M. Shatz, Ajay D. Kshemkalyani

IEEE Trans. Mob. Comput., 2011

2010

Dynamic multiroot, multiquery processing based on data sharing in sensor networks.

Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz

ACM Trans. Sens. Networks, 2010

Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents.

Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz

J. Comput., 2010

Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory.

Fei Dong, Sol M. Shatz, Haiping Xu

Int. J. Softw. Eng. Knowl. Eng., 2010

A Multi-State Bayesian Network for Shill Verification in Online Auctions.

Ankit Goel, Haiping Xu, Sol M. Shatz

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions.

Fei Dong, Sol M. Shatz, Haiping Xu

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects.

Juzheng Li, Sol M. Shatz

Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

2009

Flexible coordinator design for modeling resource sharing in multi-agent systems.

Jiexin Lian, Sol M. Shatz, Xudong He

J. Syst. Softw., 2009

Combating online in-auction fraud: Clues, techniques and challenges.

Fei Dong, Sol M. Shatz, Haiping Xu

Comput. Sci. Rev., 2009

Querying sensor networks using ad hoc mobile devices: A two-layer networking approach.

Shourui Tian, Sol M. Shatz, Yang Yu, Juzheng Li

Ad Hoc Networks, 2009

Real-Time Model Checking for Shill Detection in Live Online Auctions.

Haiping Xu, Christopher K. Bates, Sol M. Shatz

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions.

Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Inference of Online Auction Shills Using Dempster-Shafer Theory.

Fei Dong, Sol M. Shatz, Haiping Xu

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

Simulation-based analysis of UML statechart diagrams: methods and case studies.

Jiexin Lian, Zhaoxia Hu, Sol M. Shatz

Softw. Qual. J., 2008

A Modeling Methodology for Conflict Control in Multi-Agent Systems.

Jiexin Lian, Sol M. Shatz

Int. J. Softw. Eng. Knowl. Eng., 2008

A Framework for Agent-Based Trust Management in Online Auctions.

Haiping Xu, Sol M. Shatz, Christopher K. Bates

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Multi-root, Multi-Query Processing in Sensor Networks.

Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz

Proceedings of the Distributed Computing in Sensor Systems, 2008

2007

Component Based Multi-Agent System Modeling and Analysis: A Case Study.

Jiexin Lian, Sol M. Shatz, Xudong He

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Optimizing Query Injection from Mobile Objects to Sensor Networks.

Shourui Tian, Sol M. Shatz

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

A Framework for Querying Sensor Networks Using Mobile Devices.

Shourui Tian, Sol M. Shatz, Yang Yu

Proceedings of the 16th International Conference on Computer Communications and Networks, 2007

2006

Explicit modeling of semantics associated with composite states in UML statecharts.

Zhaoxia Hu, Sol M. Shatz

Autom. Softw. Eng., 2006

2005

A Security Based Model for Mobile Agent Software Systems.

Haiping Xu, Zhiguo Zhang, Sol M. Shatz

Int. J. Softw. Eng. Knowl. Eng., 2005

A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study.

Zhaoxia Hu, Sol M. Shatz

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004

Mapping UML Diagrams to a Petri Net Notation for System Simulation.

Zhaoxia Hu, Sol M. Shatz

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

2003

A Framework for Model-Based Design of Agent-Oriented Software.

Haiping Xu, Sol M. Shatz

IEEE Trans. Software Eng., 2003

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems.

Haiping Xu, Sol M. Shatz

Autom. Softw. Eng., 2003

2002

Development of class-level and instance-level design models for distributed-object software.

X. Xie, Sol M. Shatz

Comput. Syst. Sci. Eng., 2002

2001

Tool integration for flexible simulation of distributed algorithms.

Shashank Khanvilkar, Sol M. Shatz

Softw. Pract. Exp., 2001

An approach for modeling components with customization for distributed software.

X. Xie, Sol M. Shatz

Informatica (Slovenia), 2001

Formalization of Object Behavior and Interactions from UML Models.

John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu

Int. J. Softw. Eng. Knowl. Eng., 2001

Editorial.

Mauro Pezzè, Sol M. Shatz

Comput. Syst. Sci. Eng., 2001

An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.

Haiping Xu, Sol M. Shatz

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

A Framework for Modeling Agent-Oriented Software.

Haiping Xu, Sol M. Shatz

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Extending G-nets to support inheritance modeling in concurrent object-oriented design.

Haiping Xu, Sol M. Shatz

Proceedings of the IEEE International Conference on Systems, 2000

An Approach To Using Formal Methods In Aspect Orientation.

X. Xie, Sol M. Shatz

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Protocol Specification Design Using an Object-Based Petri Net Formalism.

Vladimir P. Sliva, Tadao Murata, Sol M. Shatz

Int. J. Softw. Eng. Knowl. Eng., 1999

Compositional Petri net models of advanced tasking in Ada-95.

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Comput. Lang., 1999

Formal modeling of synchronization methods for concurrent objects in Ada 95.

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

1998

An Approach to Object System Modeling by State-Based Object Petri Nets.

A. Newman, Sol M. Shatz, X. Xie

J. Circuits Syst. Comput., 1998

1997

Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective.

Ravi K. Gedela, Sol M. Shatz

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software.

C. Sashidhar, Sol M. Shatz

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.

Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri

IEEE Trans. Parallel Distributed Syst., 1996

A Method for Applying G-Nets To Communication Protocols.

Vladimir P. Sliva, Tadao Murata, Sol M. Shatz

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1994

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

ACM Trans. Softw. Eng. Methodol., 1994

1993

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992

Task Allocation for Maximizing Reliability of Distributed Computer Systems.

Sol M. Shatz, Jia-Ping Wang, Masanori Goto

IEEE Trans. Computers, 1992

Software complexity and ada rendezvous: Metrics based on nondeterminism.

Srinivasarao Damerla, Sol M. Shatz

J. Syst. Softw., 1992

TQL: A Tasking Query Language for Concurrent Program Analysis.

Christopher Black, Sol M. Shatz, S. Upp

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1990

A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.

Toshinori Suzuki, Sol M. Shatz, Tadao Murata

IEEE Trans. Software Eng., 1990

Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.

Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu

IEEE Trans. Parallel Distributed Syst., 1990

Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.

Shengru Tu, Sol M. Shatz, Tadao Murata

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Detection of Ada Static Deadlocks Using Petri Net Invariants.

Tadao Murata, Boris Shenker, Sol M. Shatz

IEEE Trans. Software Eng., 1989

Formal Modeling and Automated Analysis of the LAPD Protocol.

Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan

Comput. Networks ISDN Syst., 1989

A toolkit for automated support of Ada tasking analysis.

Sol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

Automated protocol modeling and verification combining an entity-based specification language and Petri nets.

Sol M. Shatz, Toshinori Suzuki, Tadao Murata

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

Derivation of Petri net models of Ada tasking constructs involving time.

F. W. Fong, Sol M. Shatz

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Towards Complexity Metrics for Ada Tasking.

Sol M. Shatz

IEEE Trans. Software Eng., 1988

A petri net framework for automated static analysis of Ada tasking behavior.

Sol M. Shatz, Wing Kai Cheng

J. Syst. Softw., 1988

Superprocesses: a Distributed Program Configuration Concept Supporting.

Sol M. Shatz

Comput. Syst. Sci. Eng., 1988

Task Allocation for Optimized System Reliability.

Jia-Ping Wang, Sol M. Shatz

Proceedings of the Seventh Symposium on Reliable Distributed Systems, 1988

Reliability-oriented task allocation in redundant distributed systems.

Jia-Ping Wang, Sol M. Shatz

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Introduction to Distributed-Software Engineering.

Sol M. Shatz, Jia-Ping Wang

Computer, 1987

1986

A partitioning algorithm for distributed software systems design.

Sol M. Shatz, Stephen S. Yau

Inf. Sci., 1986

Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.

Boris Shenker, Tadao Murata, Sol M. Shatz

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Post-Failure Reconfiguration of CSP Programs.

Sol M. Shatz

IEEE Trans. Software Eng., 1985

1984

Communication Mechanisms for Programming Distributed Systems.

Sol M. Shatz

Computer, 1984

1982

On Communication in the Design of Software Components of Distributed Computer Systems.

Stephen S. Yau, Sol M. Shatz

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

An Approach to Distributed Computing System Software Design.

Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz

IEEE Trans. Software Eng., 1981