C. Sashidhar, Sol M. Shatz Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. [Citation Graph (0, 0)][DBLP] COMPSAC, 1997, pp:460-466 [Conf]
Haiping Xu, Sol M. Shatz An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. [Citation Graph (0, 0)][DBLP] ISADS, 2001, pp:11-18 [Conf]
Zhaoxia Hu, Sol M. Shatz A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. [Citation Graph (0, 0)][DBLP] Software Engineering Research and Practice, 2005, pp:361-367 [Conf]
Haiping Xu, Sol M. Shatz ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2003, v:10, n:4, pp:337-365 [Journal]
Zhaoxia Hu, Sol M. Shatz Explicit modeling of semantics associated with composite states in UML statecharts. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2006, v:13, n:4, pp:423-467 [Journal]
Sol M. Shatz Superprocesses: a Distributed Program Configuration Concept Supporting. [Citation Graph (0, 0)][DBLP] Comput. Syst. Sci. Eng., 1988, v:3, n:1, pp:3-12 [Journal]
X. Xie, Sol M. Shatz Development of class-level and instance-level design models for distributed-object software. [Citation Graph (0, 0)][DBLP] Comput. Syst. Sci. Eng., 2002, v:17, n:3, pp:169-181 [Journal]
Haiping Xu, Zhiguo Zhang, Sol M. Shatz A Security Based Model for Mobile Agent Software Systems. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:4, pp:719-746 [Journal]
X. Xie, Sol M. Shatz An approach for modeling components with customization for distributed software. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 2001, v:25, n:4, pp:- [Journal]
A. Newman, Sol M. Shatz, X. Xie An Approach to Object System Modeling by State-Based Object Petri Nets. [Citation Graph (0, 0)][DBLP] Journal of Circuits, Systems, and Computers, 1998, v:8, n:1, pp:1-21 [Journal]
Sol M. Shatz, Wing Kai Cheng A petri net framework for automated static analysis of Ada tasking behavior. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1988, v:8, n:5, pp:343-359 [Journal]
Sol M. Shatz Post-Failure Reconfiguration of CSP Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1985, v:11, n:10, pp:1193-1202 [Journal]
Sol M. Shatz Towards Complexity Metrics for Ada Tasking. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1122-1127 [Journal]