The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sol M. Shatz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Boris Shenker, Tadao Murata, Sol M. Shatz
    Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:1072-1081 [Conf]
  3. Christopher Black, Sol M. Shatz, S. Upp
    TQL: A Tasking Query Language for Concurrent Program Analysis. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:382-389 [Conf]
  4. Shengru Tu, Sol M. Shatz, Tadao Murata
    Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:96-103 [Conf]
  5. Haiping Xu, Sol M. Shatz
    A Framework for Modeling Agent-Oriented Software. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:57-64 [Conf]
  6. Stephen S. Yau, Sol M. Shatz
    On Communication in the Design of Software Components of Distributed Computer Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1982, pp:280-287 [Conf]
  7. 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]
  8. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
    Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:51-60 [Conf]
  9. X. Xie, Sol M. Shatz
    An Approach To Using Formal Methods In Aspect Orientation. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  10. Zhaoxia Hu, Sol M. Shatz
    Mapping UML Diagrams to a Petri Net Notation for System Simulation. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:213-219 [Conf]
  11. Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
    A Method for Applying G-Nets To Communication Protocols. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:145-152 [Conf]
  12. 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]
  13. Ravi K. Gedela, Sol M. Shatz, Haiping Xu
    Formal modeling of synchronization methods for concurrent objects in Ada 95. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1999, pp:211-220 [Conf]
  14. Jia-Ping Wang, Sol M. Shatz
    Task Allocation for Optimized System Reliability. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1988, pp:82-90 [Conf]
  15. 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]
  16. 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]
  17. Ravi K. Gedela, Sol M. Shatz, Haiping Xu
    Compositional Petri net models of advanced tasking in Ada-95. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1999, v:25, n:2, pp:55-87 [Journal]
  18. Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan
    Formal Modeling and Automated Analysis of the LAPD Protocol. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1989, v:18, n:4, pp:293-314 [Journal]
  19. Mauro Pezzè, Sol M. Shatz
    Editorial. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:3, pp:151-152 [Journal]
  20. 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]
  21. 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]
  22. John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu
    Formalization of Object Behavior and Interactions from UML Models. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:6, pp:643-673 [Journal]
  23. Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
    Protocol Specification Design Using an Object-Based Petri Net Formalism. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:1, pp:97-126 [Journal]
  24. 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]
  25. 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]
  26. Sol M. Shatz, Stephen S. Yau
    A partitioning algorithm for distributed software systems design. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1986, v:38, n:2, pp:165-180 [Journal]
  27. 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]
  28. Srinivasarao Damerla, Sol M. Shatz
    Software complexity and ada rendezvous: Metrics based on nondeterminism. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1992, v:17, n:2, pp:119-127 [Journal]
  29. 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]
  30. Shashank Khanvilkar, Sol M. Shatz
    Tool integration for flexible simulation of distributed algorithms. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2001, v:31, n:14, pp:1363-1380 [Journal]
  31. Sol M. Shatz, Jia-Ping Wang, Masanori Goto
    Task Allocation for Maximizing Reliability of Distributed Computer Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1992, v:41, n:9, pp:1156-1168 [Journal]
  32. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
    Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:4, pp:340-380 [Journal]
  33. Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu
    Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1990, v:1, n:4, pp:424-441 [Journal]
  34. Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri
    An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1996, v:7, n:12, pp:1307-1322 [Journal]
  35. Tadao Murata, Boris Shenker, Sol M. Shatz
    Detection of Ada Static Deadlocks Using Petri Net Invariants. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:3, pp:314-326 [Journal]
  36. 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]
  37. 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]
  38. Toshinori Suzuki, Sol M. Shatz, Tadao Murata
    A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:5, pp:523-536 [Journal]
  39. Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz
    An Approach to Distributed Computing System Software Design. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:4, pp:427-436 [Journal]
  40. Haiping Xu, Sol M. Shatz
    A Framework for Model-Based Design of Agent-Oriented Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:1, pp:15-30 [Journal]

  41. Multi-root, Multi-Query Processing in Sensor Networks. [Citation Graph (, )][DBLP]


  42. A Framework for Querying Sensor Networks Using Mobile Devices. [Citation Graph (, )][DBLP]


  43. A Framework for Agent-Based Trust Management in Online Auctions. [Citation Graph (, )][DBLP]


  44. Inference of Online Auction Shills Using Dempster-Shafer Theory. [Citation Graph (, )][DBLP]


  45. Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions. [Citation Graph (, )][DBLP]


  46. Component Based Multi-Agent System Modeling and Analysis: A Case Study. [Citation Graph (, )][DBLP]


  47. Real-Time Model Checking for Shill Detection in Live Online Auctions. [Citation Graph (, )][DBLP]


  48. Querying sensor networks using ad hoc mobile devices: A two-layer networking approach. [Citation Graph (, )][DBLP]


  49. Communication Mechanisms for Programming Distributed Systems. [Citation Graph (, )][DBLP]


Search in 0.038secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002