 | 2009 |
|---|
| 51 |       | 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: 134-140 |
| 50 |  | 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): 1014-1034 (2009) |
| 49 | | Fei Dong,
Sol M. Shatz,
Haiping Xu:
Combating online in-auction fraud: Clues, techniques and challenges.
Computer Science Review 3(4): 245-258 (2009) |
| 48 | | Jiexin Lian,
Sol M. Shatz,
Xudong He:
Flexible coordinator design for modeling resource sharing in multi-agent systems.
Journal of Systems and Software 82(10): 1709-1729 (2009) |
| 2008 |
|---|
| 47 | | Zhiguo Zhang,
Ajay D. Kshemkalyani,
Sol M. Shatz:
Multi-root, Multi-Query Processing in Sensor Networks.
DCOSS 2008: 432-450 |
| 46 | | Haiping Xu,
Sol M. Shatz,
Christopher K. Bates:
A Framework for Agent-Based Trust Management in Online Auctions.
ITNG 2008: 149-155 |
| 45 | | Jiexin 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) |
| 44 | | Jiexin 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) |
| 2007 |
|---|
| 43 | | Shourui 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 |
| 2006 |
|---|
| 41 | | Zhaoxia Hu,
Sol M. Shatz:
Explicit modeling of semantics associated with composite states in UML statecharts.
Autom. Softw. Eng. 13(4): 423-467 (2006) |
| 2005 |
|---|
| 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 |
| 39 | | Haiping 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) |
| 2004 |
|---|
| 38 | | Zhaoxia Hu,
Sol M. Shatz:
Mapping UML Diagrams to a Petri Net Notation for System Simulation.
SEKE 2004: 213-219 |
| 2003 |
|---|
| 37 | | 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): 337-365 (2003) |
| 36 | | Haiping Xu,
Sol M. Shatz:
A Framework for Model-Based Design of Agent-Oriented Software.
IEEE Trans. Software Eng. 29(1): 15-30 (2003) |
| 2002 |
|---|
| 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) |
| 2001 |
|---|
| 34 | | Haiping Xu,
Sol M. Shatz:
A Framework for Modeling Agent-Oriented Software.
ICDCS 2001: 57-64 |
| 33 | | Haiping 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) |
| 2000 |
|---|
| 28 | | X. Xie,
Sol M. Shatz:
An Approach To Using Formal Methods In Aspect Orientation.
PDPTA 2000 |
| 1999 |
|---|
| 27 | | Ravi 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) |
| 25 | | Vladimir 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) |
| 1998 |
|---|
| 24 | | A. 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) |
| 1997 |
|---|
| 23 | | C. Sashidhar,
Sol M. Shatz:
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software.
COMPSAC 1997: 460-466 |
| 1996 |
|---|
| 22 | | Vladimir P. Sliva,
Tadao Murata,
Sol M. Shatz:
A Method for Applying G-Nets To Communication Protocols.
SEKE 1996: 145-152 |
| 21 | | Sol 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) |
| 1994 |
|---|
| 20 | | 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): 340-380 (1994) |
| 1993 |
|---|
| 19 | | Sastry Duri,
Ugo A. Buy,
R. Devarapalli,
Sol M. Shatz:
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.
ISSTA 1993: 51-60 |
| 1992 |
|---|
| 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) |
| 16 | | Srinivasarao Damerla,
Sol M. Shatz:
Software complexity and ada rendezvous: Metrics based on nondeterminism.
Journal of Systems and Software 17(2): 119-127 (1992) |
| 1990 |
|---|
| 15 | | Shengru Tu,
Sol M. Shatz,
Tadao Murata:
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.
ICDCS 1990: 96-103 |
| 14 | | 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 Distrib. Syst. 1(4): 424-441 (1990) |
| 13 | | 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): 523-536 (1990) |
| 1989 |
|---|
| 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) |
| 11 | | Tadao Murata,
Boris Shenker,
Sol M. Shatz:
Detection of Ada Static Deadlocks Using Petri Net Invariants.
IEEE Trans. Software Eng. 15(3): 314-326 (1989) |
| 1988 |
|---|
| 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) |
| 8 | | Sol M. Shatz:
Towards Complexity Metrics for Ada Tasking.
IEEE Trans. Software Eng. 14(8): 1122-1127 (1988) |
| 7 | | Sol 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) |
| 1986 |
|---|
| 6 | | Boris Shenker,
Tadao Murata,
Sol M. Shatz:
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.
FJCC 1986: 1072-1081 |
| 5 | | Sol M. Shatz,
Stephen S. Yau:
A partitioning algorithm for distributed software systems design.
Inf. Sci. 38(2): 165-180 (1986) |
| 1985 |
|---|
| 4 | | Sol M. Shatz:
Post-Failure Reconfiguration of CSP Programs.
IEEE Trans. Software Eng. 11(10): 1193-1202 (1985) |
| 1984 |
|---|
| 3 | | Sol M. Shatz:
Communication Mechanisms for Programming Distributed Systems.
IEEE Computer 17(6): 21-28 (1984) |
| 1982 |
|---|
| 2 | | Stephen S. Yau,
Sol M. Shatz:
On Communication in the Design of Software Components of Distributed Computer Systems.
ICDCS 1982: 280-287 |
| 1981 |
|---|
| 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) |
