An Approach to Distributed Computing System Software Design. - Stephen S. Yau; Chen-Chau Yang; Sol M. Shatz (IEEE Trans. Software Eng., 1981)

On Communication in the Design of Software Components of Distributed Computer Systems. - Stephen S. Yau; Sol M. Shatz (ICDCS, 1982)

Communication Mechanisms for Programming Distributed Systems. - Sol M. Shatz (Computer, 1984)

Post-Failure Reconfiguration of CSP Programs. - Sol M. Shatz (IEEE Trans. Software Eng., 1985)

Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. - Boris Shenker; Tadao Murata; Sol M. Shatz (FJCC, 1986)

A partitioning algorithm for distributed software systems design. - Sol M. Shatz; Stephen S. Yau (Inf. Sci., 1986)

Introduction to Distributed-Software Engineering. - Sol M. Shatz; Jia-Ping Wang (Computer, 1987)

Reliability-oriented task allocation in redundant distributed systems. - Jia-Ping Wang; Sol M. Shatz (COMPSAC, 1988)

Task Allocation for Optimized System Reliability. - Jia-Ping Wang; Sol M. Shatz (SRDS, 1988)

Superprocesses: a Distributed Program Configuration Concept Supporting. - Sol M. Shatz (Comput. Syst. Sci. Eng., 1988)

A petri net framework for automated static analysis of Ada tasking behavior. - Sol M. Shatz; Wing Kai Cheng (J. Syst. Softw., 1988)

Towards Complexity Metrics for Ada Tasking. - Sol M. Shatz (IEEE Trans. Software Eng., 1988)

Derivation of Petri net models of Ada tasking constructs involving time. - F. W. Fong; Sol M. Shatz (COMPSAC, 1989)

Automated protocol modeling and verification combining an entity-based specification language and Petri nets. - Sol M. Shatz; Toshinori Suzuki; Tadao Murata (COMPSAC, 1989)

A toolkit for automated support of Ada tasking analysis. - Sol M. Shatz; Khanh Mai; D. Moorthi; J. Woodward (ICDCS, 1989)

Formal Modeling and Automated Analysis of the LAPD Protocol. - Sol M. Shatz; Peter S. Kajka; Ardaman S. Chauhan (Comput. Networks ISDN Syst., 1989)

Detection of Ada Static Deadlocks Using Petri Net Invariants. - Tadao Murata; Boris Shenker; Sol M. Shatz (IEEE Trans. Software Eng., 1989)

Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. - Shengru Tu; Sol M. Shatz; Tadao Murata (ICDCS, 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)

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)

TQL: A Tasking Query Language for Concurrent Program Analysis. - Christopher Black; Sol M. Shatz; S. Upp (ICDCS, 1992)

Software complexity and ada rendezvous: Metrics based on nondeterminism. - Srinivasarao Damerla; Sol M. Shatz (J. Syst. Softw., 1992)

Task Allocation for Maximizing Reliability of Distributed Computer Systems. - Sol M. Shatz; Jia-Ping Wang; Masanori Goto (IEEE Trans. Computers, 1992)

Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. - Sastry Duri; Ugo A. Buy; R. Devarapalli; Sol M. Shatz (ISSTA, 1993)

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)

A Method for Applying G-Nets To Communication Protocols. - Vladimir P. Sliva; Tadao Murata; Sol M. Shatz (SEKE, 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)

Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. - C. Sashidhar; Sol M. Shatz (COMPSAC, 1997)

Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. - Ravi K. Gedela; Sol M. Shatz (PDSE, 1997)

An Approach to Object System Modeling by State-Based Object Petri Nets. - A. Newman; Sol M. Shatz; X. Xie (J. Circuits Syst. Comput., 1998)

Formal modeling of synchronization methods for concurrent objects in Ada 95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (SIGAda, 1999)

Compositional Petri net models of advanced tasking in Ada-95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (Comput. Lang., 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)

An Approach To Using Formal Methods In Aspect Orientation. - X. Xie; Sol M. Shatz (PDPTA, 2000)

Extending G-nets to support inheritance modeling in concurrent object-oriented design. - Haiping Xu; Sol M. Shatz (SMC, 2000)

A Framework for Modeling Agent-Oriented Software. - Haiping Xu; Sol M. Shatz (ICDCS, 2001)

An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. - Haiping Xu; Sol M. Shatz (ISADS, 2001)

Editorial. - Mauro Pezzè; Sol M. Shatz (Comput. Syst. Sci. Eng., 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)

An approach for modeling components with customization for distributed software. - X. Xie; Sol M. Shatz (Informatica (Slovenia), 2001)

Tool integration for flexible simulation of distributed algorithms. - Shashank Khanvilkar; Sol M. Shatz (Softw. Pract. Exp., 2001)

Development of class-level and instance-level design models for distributed-object software. - X. Xie; Sol M. Shatz (Comput. Syst. Sci. Eng., 2002)

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. - Haiping Xu; Sol M. Shatz (Autom. Softw. Eng., 2003)

A Framework for Model-Based Design of Agent-Oriented Software. - Haiping Xu; Sol M. Shatz (IEEE Trans. Software Eng., 2003)

Mapping UML Diagrams to a Petri Net Notation for System Simulation. - Zhaoxia Hu; Sol M. Shatz (SEKE, 2004)

A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. - Zhaoxia Hu; Sol M. Shatz (Software Engineering Research and Practice, 2005)

A Security Based Model for Mobile Agent Software Systems. - Haiping Xu; Zhiguo Zhang; Sol M. Shatz (Int. J. Softw. Eng. Knowl. Eng., 2005)

Explicit modeling of semantics associated with composite states in UML statecharts. - Zhaoxia Hu; Sol M. Shatz (Autom. Softw. Eng., 2006)

A Framework for Querying Sensor Networks Using Mobile Devices. - Shourui Tian; Sol M. Shatz; Yang Yu (ICCCN, 2007)

Optimizing Query Injection from Mobile Objects to Sensor Networks. - Shourui Tian; Sol M. Shatz (ISADS, 2007)

Component Based Multi-Agent System Modeling and Analysis: A Case Study. - Jiexin Lian; Sol M. Shatz; Xudong He (Software Engineering Research and Practice, 2007)

Multi-root, Multi-Query Processing in Sensor Networks. - Zhiguo Zhang; Ajay D. Kshemkalyani; Sol M. Shatz (DCOSS, 2008)

A Framework for Agent-Based Trust Management in Online Auctions. - Haiping Xu; Sol M. Shatz; Christopher K. Bates (ITNG, 2008)

A Modeling Methodology for Conflict Control in Multi-Agent Systems. - Jiexin Lian; Sol M. Shatz (Int. J. Softw. Eng. Knowl. Eng., 2008)

Simulation-based analysis of UML statechart diagrams: methods and case studies. - Jiexin Lian; Zhaoxia Hu; Sol M. Shatz (Softw. Qual. J., 2008)

Inference of Online Auction Shills Using Dempster-Shafer Theory. - Fei Dong; Sol M. Shatz; Haiping Xu (ITNG, 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 (ITNG, 2009)

Real-Time Model Checking for Shill Detection in Live Online Auctions. - Haiping Xu; Christopher K. Bates; Sol M. Shatz (Software Engineering Research and Practice, 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)

Combating online in-auction fraud: Clues, techniques and challenges. - Fei Dong; Sol M. Shatz; Haiping Xu (Comput. Sci. Rev., 2009)

Flexible coordinator design for modeling resource sharing in multi-agent systems. - Jiexin Lian; Sol M. Shatz; Xudong He (J. Syst. Softw., 2009)

Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects. - Juzheng Li; Sol M. Shatz (DMS, 2010)

An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. - Fei Dong; Sol M. Shatz; Haiping Xu (SEKE, 2010)

A Multi-State Bayesian Network for Shill Verification in Online Auctions. - Ankit Goel; Haiping Xu; Sol M. Shatz (SEKE, 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)

Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. - Benjamin J. Ford; Haiping Xu; Christopher K. Bates; Sol M. Shatz (J. Comput., 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)

Mobile Sampling of Sensor Field Data Using Controlled Broadcast. - Juzheng Li; Sol M. Shatz; Ajay D. Kshemkalyani (IEEE Trans. Mob. Comput., 2011)

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)

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)