Sol M. Shatz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

47EEZhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz: Multi-root, Multi-Query Processing in Sensor Networks. DCOSS 2008: 432-450
46EEHaiping Xu, Sol M. Shatz, Christopher K. Bates: A Framework for Agent-Based Trust Management in Online Auctions. ITNG 2008: 149-155
45EEJiexin Lian, Sol M. Shatz: A Modeling Methodology for Conflict Control in Multi-Agent Systems. International Journal of Software Engineering and Knowledge Engineering 18(3): 263-303 (2008)
44EEJiexin Lian, Zhaoxia Hu, Sol M. Shatz: Simulation-based analysis of UML statechart diagrams: methods and case studies. Software Quality Journal 16(1): 45-78 (2008)
43EEShourui Tian, Sol M. Shatz, Yang Yu: A Framework for Querying Sensor Networks Using Mobile Devices. ICCCN 2007: 1291-1296
42 Jiexin Lian, Sol M. Shatz, Xudong He: Component Based Multi-Agent System Modeling and Analysis: A Case Study. Software Engineering Research and Practice 2007: 183-189
41EEZhaoxia Hu, Sol M. Shatz: Explicit modeling of semantics associated with composite states in UML statecharts. Autom. Softw. Eng. 13(4): 423-467 (2006)
40 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: 361-367
39EEHaiping Xu, Zhiguo Zhang, Sol M. Shatz: A Security Based Model for Mobile Agent Software Systems. International Journal of Software Engineering and Knowledge Engineering 15(4): 719-746 (2005)
38 Zhaoxia Hu, Sol M. Shatz: Mapping UML Diagrams to a Petri Net Notation for System Simulation. SEKE 2004: 213-219
37EEHaiping Xu, Sol M. Shatz: ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. Autom. Softw. Eng. 10(4): 337-365 (2003)
36EEHaiping Xu, Sol M. Shatz: A Framework for Model-Based Design of Agent-Oriented Software. IEEE Trans. Software Eng. 29(1): 15-30 (2003)
35 X. Xie, Sol M. Shatz: Development of class-level and instance-level design models for distributed-object software. Comput. Syst. Sci. Eng. 17(3): 169-181 (2002)
34EEHaiping Xu, Sol M. Shatz: A Framework for Modeling Agent-Oriented Software. ICDCS 2001: 57-64
33EEHaiping Xu, Sol M. Shatz: An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. ISADS 2001: 11-18
32 Mauro Pezzè, Sol M. Shatz: Editorial. Comput. Syst. Sci. Eng. 16(3): 151-152 (2001)
31 X. Xie, Sol M. Shatz: An approach for modeling components with customization for distributed software. Informatica (Slovenia) 25(4): (2001)
30 John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu: Formalization of Object Behavior and Interactions from UML Models. International Journal of Software Engineering and Knowledge Engineering 11(6): 643-673 (2001)
29 Shashank Khanvilkar, Sol M. Shatz: Tool integration for flexible simulation of distributed algorithms. Softw., Pract. Exper. 31(14): 1363-1380 (2001)
28 X. Xie, Sol M. Shatz: An Approach To Using Formal Methods In Aspect Orientation. PDPTA 2000
27EERavi K. Gedela, Sol M. Shatz, Haiping Xu: Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda 1999: 211-220
26 Ravi K. Gedela, Sol M. Shatz, Haiping Xu: Compositional Petri net models of advanced tasking in Ada-95. Comput. Lang. 25(2): 55-87 (1999)
25EEVladimir P. Sliva, Tadao Murata, Sol M. Shatz: Protocol Specification Design Using an Object-Based Petri Net Formalism. International Journal of Software Engineering and Knowledge Engineering 9(1): 97-126 (1999)
24EEA. Newman, Sol M. Shatz, X. Xie: An Approach to Object System Modeling by State-Based Object Petri Nets. Journal of Circuits, Systems, and Computers 8(1): 1-21 (1998)
23EEC. Sashidhar, Sol M. Shatz: Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. COMPSAC 1997: 460-466
22 Vladimir P. Sliva, Tadao Murata, Sol M. Shatz: A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152
21EESol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri: An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. IEEE Trans. Parallel Distrib. Syst. 7(12): 1307-1322 (1996)
20EESastry 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): 340-380 (1994)
19EESastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz: Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. ISSTA 1993: 51-60
18 Christopher Black, Sol M. Shatz, S. Upp: TQL: A Tasking Query Language for Concurrent Program Analysis. ICDCS 1992: 382-389
17 Sol M. Shatz, Jia-Ping Wang, Masanori Goto: Task Allocation for Maximizing Reliability of Distributed Computer Systems. IEEE Trans. Computers 41(9): 1156-1168 (1992)
16EESrinivasarao Damerla, Sol M. Shatz: Software complexity and ada rendezvous: Metrics based on nondeterminism. Journal of Systems and Software 17(2): 119-127 (1992)
15 Shengru Tu, Sol M. Shatz, Tadao Murata: Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS 1990: 96-103
14EESol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu: Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. IEEE Trans. Parallel Distrib. Syst. 1(4): 424-441 (1990)
13EEToshinori 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): 523-536 (1990)
12 Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan: Formal Modeling and Automated Analysis of the LAPD Protocol. Computer Networks and ISDN Systems 18(4): 293-314 (1989)
11EETadao Murata, Boris Shenker, Sol M. Shatz: Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Trans. Software Eng. 15(3): 314-326 (1989)
10 Jia-Ping Wang, Sol M. Shatz: Task Allocation for Optimized System Reliability. SRDS 1988: 82-90
9 Sol M. Shatz: Superprocesses: a Distributed Program Configuration Concept Supporting. Comput. Syst. Sci. Eng. 3(1): 3-12 (1988)
8EESol M. Shatz: Towards Complexity Metrics for Ada Tasking. IEEE Trans. Software Eng. 14(8): 1122-1127 (1988)
7EESol M. Shatz, Wing Kai Cheng: A petri net framework for automated static analysis of Ada tasking behavior. Journal of Systems and Software 8(5): 343-359 (1988)
6 Boris Shenker, Tadao Murata, Sol M. Shatz: Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081
5EESol M. Shatz, Stephen S. Yau: A partitioning algorithm for distributed software systems design. Inf. Sci. 38(2): 165-180 (1986)
4 Sol M. Shatz: Post-Failure Reconfiguration of CSP Programs. IEEE Trans. Software Eng. 11(10): 1193-1202 (1985)
3EESol M. Shatz: Communication Mechanisms for Programming Distributed Systems. IEEE Computer 17(6): 21-28 (1984)
2 Stephen S. Yau, Sol M. Shatz: On Communication in the Design of Software Components of Distributed Computer Systems. ICDCS 1982: 280-287
1 Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz: An Approach to Distributed Computing System Software Design. IEEE Trans. Software Eng. 7(4): 427-436 (1981)

Coauthor Index

1Christopher K. Bates [46]
2Christopher Black [14] [18]
3Ugo A. Buy [19] [20]
4Ardaman S. Chauhan [12]
5Wing Kai Cheng [7]
6Srinivasarao Damerla [16]
7R. Devarapalli [19] [20]
8Sastry Duri [19] [20] [21]
9Ravi K. Gedela [26] [27]
10Masanori Goto [17]
11Xudong He [42]
12Zhaoxia Hu [30] [38] [40] [41] [44]
13Peter S. Kajka [12]
14Shashank Khanvilkar [29]
15Ajay D. Kshemkalyani [47]
16Jiexin Lian [42] [44] [45]
17Khanh Mai [14]
18Tadao Murata [6] [11] [13] [15] [21] [22] [25]
19A. Newman [24]
20Mauro Pezzè [32]
21John Anil Saldhana [30]
22C. Sashidhar [23]
23Boris Shenker [6] [11]
24Vladimir P. Sliva [22] [25]
25Toshinori Suzuki [13]
26Shourui Tian [43]
27Shengru Tu [14] [15] [21]
28S. Upp [18]
29Jia-Ping Wang [10] [17]
30X. Xie [24] [28] [31] [35]
31Haiping Xu [26] [27] [33] [34] [36] [37] [39] [46]
32Chen-Chau Yang [1]
33Stephen S. Yau [1] [2] [5]
34Yang Yu [43]
35Zhiguo Zhang [39] [47]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)