Sol M. Shatz

Publication Activity (10 Years)

Years Active: 1981-2012
Publications (10 Years): 0

Top Topics

Online Auctions

Discrete Dynamical Systems

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Electron. Commer. Res. Appl.

Publications

Lily Chang, Xudong He, Sol M. Shatz
A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. Int. J. Softw. Eng. Knowl. Eng. 22 (7) (2012)
Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar
Price comparison: A reliable approach to identifying shill bidding in online auctions? Electron. Commer. Res. Appl. 11 (2) (2012)
Juzheng Li, Sol M. Shatz, Ajay D. Kshemkalyani
Mobile Sampling of Sensor Field Data Using Controlled Broadcast. IEEE Trans. Mob. Comput. 10 (6) (2011)
Ankit Goel, Haiping Xu, Sol M. Shatz
A Multi-State Bayesian Network for Shill Verification in Online Auctions. SEKE (2010)
Fei Dong, Sol M. Shatz, Haiping Xu
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory. Int. J. Softw. Eng. Knowl. Eng. 20 (7) (2010)
Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz
Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. J. Comput. 5 (6) (2010)
Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz
Dynamic multiroot, multiquery processing based on data sharing in sensor networks. ACM Trans. Sens. Networks 6 (3) (2010)
Fei Dong, Sol M. Shatz, Haiping Xu
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. SEKE (2010)
Juzheng Li, Sol M. Shatz
Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects. DMS (2010)
Fei Dong, Sol M. Shatz, Haiping Xu
Inference of Online Auction Shills Using Dempster-Shafer Theory. ITNG (2009)
Fei Dong, Sol M. Shatz, Haiping Xu
Combating online in-auction fraud: Clues, techniques and challenges. Comput. Sci. Rev. 3 (4) (2009)
Haiping Xu, Christopher K. Bates, Sol M. Shatz
Real-Time Model Checking for Shill Detection in Live Online Auctions. Software Engineering Research and Practice (2009)
Jiexin Lian, Sol M. Shatz, Xudong He
Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82 (10) (2009)
Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions. ITNG (2009)
Shourui Tian, Sol M. Shatz, Yang Yu, Juzheng Li
Querying sensor networks using ad hoc mobile devices: A two-layer networking approach. Ad Hoc Networks 7 (5) (2009)
Jiexin Lian, Sol M. Shatz
A Modeling Methodology for Conflict Control in Multi-Agent Systems. Int. J. Softw. Eng. Knowl. Eng. 18 (3) (2008)
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
Simulation-based analysis of UML statechart diagrams: methods and case studies. Softw. Qual. J. 16 (1) (2008)
Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz
Multi-root, Multi-Query Processing in Sensor Networks. DCOSS (2008)
Haiping Xu, Sol M. Shatz, Christopher K. Bates
A Framework for Agent-Based Trust Management in Online Auctions. ITNG (2008)
Shourui Tian, Sol M. Shatz
Optimizing Query Injection from Mobile Objects to Sensor Networks. ISADS (2007)
Jiexin Lian, Sol M. Shatz, Xudong He
Component Based Multi-Agent System Modeling and Analysis: A Case Study. Software Engineering Research and Practice (2007)
Shourui Tian, Sol M. Shatz, Yang Yu
A Framework for Querying Sensor Networks Using Mobile Devices. ICCCN (2007)
Zhaoxia Hu, Sol M. Shatz
Explicit modeling of semantics associated with composite states in UML statecharts. Autom. Softw. Eng. 13 (4) (2006)
Haiping Xu, Zhiguo Zhang, Sol M. Shatz
A Security Based Model for Mobile Agent Software Systems. Int. J. Softw. Eng. Knowl. Eng. 15 (4) (2005)
Zhaoxia Hu, Sol M. Shatz
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. Software Engineering Research and Practice (2005)
Zhaoxia Hu, Sol M. Shatz
Mapping UML Diagrams to a Petri Net Notation for System Simulation. SEKE (2004)
Haiping Xu, Sol M. Shatz
A Framework for Model-Based Design of Agent-Oriented Software. IEEE Trans. Software Eng. 29 (1) (2003)
Haiping Xu, Sol M. Shatz
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. Autom. Softw. Eng. 10 (4) (2003)
X. Xie, Sol M. Shatz
Development of class-level and instance-level design models for distributed-object software. Comput. Syst. Sci. Eng. 17 (3) (2002)
John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu
Formalization of Object Behavior and Interactions from UML Models. Int. J. Softw. Eng. Knowl. Eng. 11 (6) (2001)
Haiping Xu, Sol M. Shatz
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. ISADS (2001)
X. Xie, Sol M. Shatz
An approach for modeling components with customization for distributed software. Informatica (Slovenia) 25 (4) (2001)
Shashank Khanvilkar, Sol M. Shatz
Tool integration for flexible simulation of distributed algorithms. Softw. Pract. Exp. 31 (14) (2001)
Haiping Xu, Sol M. Shatz
A Framework for Modeling Agent-Oriented Software. ICDCS (2001)
Mauro Pezzè, Sol M. Shatz
Editorial. Comput. Syst. Sci. Eng. 16 (3) (2001)
X. Xie, Sol M. Shatz
An Approach To Using Formal Methods In Aspect Orientation. PDPTA (2000)
Haiping Xu, Sol M. Shatz
Extending G-nets to support inheritance modeling in concurrent object-oriented design. SMC (2000)
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda (1999)
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
Compositional Petri net models of advanced tasking in Ada-95. Comput. Lang. 25 (2) (1999)
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
Protocol Specification Design Using an Object-Based Petri Net Formalism. Int. J. Softw. Eng. Knowl. Eng. 9 (1) (1999)
A. Newman, Sol M. Shatz, X. Xie
An Approach to Object System Modeling by State-Based Object Petri Nets. J. Circuits Syst. Comput. 8 (1) (1998)
C. Sashidhar, Sol M. Shatz
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. COMPSAC (1997)
Ravi K. Gedela, Sol M. Shatz
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. PDSE (1997)
Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. IEEE Trans. Parallel Distributed Syst. 7 (12) (1996)
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
A Method for Applying G-Nets To Communication Protocols. SEKE (1996)
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. ACM Trans. Softw. Eng. Methodol. 3 (4) (1994)
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA (1993)
Srinivasarao Damerla, Sol M. Shatz
Software complexity and ada rendezvous: Metrics based on nondeterminism. J. Syst. Softw. 17 (2) (1992)
Sol M. Shatz, Jia-Ping Wang, Masanori Goto
Task Allocation for Maximizing Reliability of Distributed Computer Systems. IEEE Trans. Computers 41 (9) (1992)
Christopher Black, Sol M. Shatz, S. Upp
TQL: A Tasking Query Language for Concurrent Program Analysis. ICDCS (1992)
Shengru Tu, Sol M. Shatz, Tadao Murata
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS (1990)
Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. IEEE Trans. Parallel Distributed Syst. 1 (4) (1990)
Toshinori Suzuki, Sol M. Shatz, Tadao Murata
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. IEEE Trans. Software Eng. 16 (5) (1990)
F. W. Fong, Sol M. Shatz
Derivation of Petri net models of Ada tasking constructs involving time. COMPSAC (1989)
Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan
Formal Modeling and Automated Analysis of the LAPD Protocol. Comput. Networks ISDN Syst. 18 (4) (1989)
Sol M. Shatz, Toshinori Suzuki, Tadao Murata
Automated protocol modeling and verification combining an entity-based specification language and Petri nets. COMPSAC (1989)
Tadao Murata, Boris Shenker, Sol M. Shatz
Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15 (3) (1989)
Sol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward
A toolkit for automated support of Ada tasking analysis. ICDCS (1989)
Sol M. Shatz
Towards Complexity Metrics for Ada Tasking. IEEE Trans. Software Eng. 14 (8) (1988)
Sol M. Shatz, Wing Kai Cheng
A petri net framework for automated static analysis of Ada tasking behavior. J. Syst. Softw. 8 (5) (1988)
Jia-Ping Wang, Sol M. Shatz
Reliability-oriented task allocation in redundant distributed systems. COMPSAC (1988)
Jia-Ping Wang, Sol M. Shatz
Task Allocation for Optimized System Reliability. SRDS (1988)
Sol M. Shatz
Superprocesses: a Distributed Program Configuration Concept Supporting. Comput. Syst. Sci. Eng. 3 (1) (1988)
Sol M. Shatz, Jia-Ping Wang
Introduction to Distributed-Software Engineering. Computer 20 (10) (1987)
Sol M. Shatz, Stephen S. Yau
A partitioning algorithm for distributed software systems design. Inf. Sci. 38 (2) (1986)
Boris Shenker, Tadao Murata, Sol M. Shatz
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC (1986)
Sol M. Shatz
Post-Failure Reconfiguration of CSP Programs. IEEE Trans. Software Eng. 11 (10) (1985)
Sol M. Shatz
Communication Mechanisms for Programming Distributed Systems. Computer 17 (6) (1984)
Stephen S. Yau, Sol M. Shatz
On Communication in the Design of Software Components of Distributed Computer Systems. ICDCS (1982)
Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz
An Approach to Distributed Computing System Software Design. IEEE Trans. Software Eng. 7 (4) (1981)