default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSol M. Shatz
Person information
- affiliation: University of Illinois at Chicago, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[j39]Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar:
Price comparison: A reliable approach to identifying shill bidding in online auctions? Electron. Commer. Res. Appl. 11(2): 171-179 (2012)- [j38]Lily Chang, Xudong He, Sol M. Shatz:
A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. Int. J. Softw. Eng. Knowl. Eng. 22(7): 891-926 (2012) - 2011
- [j37]Juzheng Li, Sol M. Shatz, Ajay D. Kshemkalyani:
Mobile Sampling of Sensor Field Data Using Controlled Broadcast. IEEE Trans. Mob. Comput. 10(6): 881-896 (2011) - 2010
- [j36]Fei Dong, Sol M. Shatz, Haiping Xu:
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory. Int. J. Softw. Eng. Knowl. Eng. 20(7): 943-973 (2010) - [j35]Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz:
Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. J. Comput. 5(6): 940-950 (2010) - [j34]Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz:
Dynamic multiroot, multiquery processing based on data sharing in sensor networks. ACM Trans. Sens. Networks 6(3): 25:1-25:38 (2010) - [c31]Juzheng Li, Sol M. Shatz:
Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects. DMS 2010: 82-87 - [c30]Ankit Goel, Haiping Xu, Sol M. Shatz:
A Multi-State Bayesian Network for Shill Verification in Online Auctions. SEKE 2010: 279-285 - [c29]Fei Dong, Sol M. Shatz, Haiping Xu:
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. SEKE 2010: 286-291
2000 – 2009
- 2009
- [j33]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) - [j32]Fei Dong, Sol M. Shatz, Haiping Xu:
Combating online in-auction fraud: Clues, techniques and challenges. Comput. Sci. Rev. 3(4): 245-258 (2009) - [j31]Jiexin Lian, Sol M. Shatz, Xudong He:
Flexible coordinator design for modeling resource sharing in multi-agent systems. J. Syst. Softw. 82(10): 1709-1729 (2009) - [c28]Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz:
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions. ITNG 2009: 894-900 - [c27]Fei Dong, Sol M. Shatz, Haiping Xu:
Inference of Online Auction Shills Using Dempster-Shafer Theory. ITNG 2009: 908-914 - [c26]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 - 2008
- [j30]Jiexin Lian, Sol M. Shatz:
A Modeling Methodology for Conflict Control in Multi-Agent Systems. Int. J. Softw. Eng. Knowl. Eng. 18(3): 263-303 (2008) - [j29]Jiexin Lian, Zhaoxia Hu, Sol M. Shatz:
Simulation-based analysis of UML statechart diagrams: methods and case studies. Softw. Qual. J. 16(1): 45-78 (2008) - [c25]Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz:
Multi-root, Multi-Query Processing in Sensor Networks. DCOSS 2008: 432-450 - [c24]Haiping Xu, Sol M. Shatz, Christopher K. Bates:
A Framework for Agent-Based Trust Management in Online Auctions. ITNG 2008: 149-155 - 2007
- [c23]Shourui Tian, Sol M. Shatz, Yang Yu:
A Framework for Querying Sensor Networks Using Mobile Devices. ICCCN 2007: 1291-1296 - [c22]Shourui Tian, Sol M. Shatz:
Optimizing Query Injection from Mobile Objects to Sensor Networks. ISADS 2007: 196-206 - [c21]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
- [j28]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
- [j27]Haiping Xu, Zhiguo Zhang, Sol M. Shatz:
A Security Based Model for Mobile Agent Software Systems. Int. J. Softw. Eng. Knowl. Eng. 15(4): 719-746 (2005) - [c20]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 - 2004
- [c19]Zhaoxia Hu, Sol M. Shatz:
Mapping UML Diagrams to a Petri Net Notation for System Simulation. SEKE 2004: 213-219 - 2003
- [j26]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) - [j25]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
- [j24]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
- [j23]Mauro Pezzè, Sol M. Shatz:
Editorial. Comput. Syst. Sci. Eng. 16(3): 151-152 (2001) - [j22]John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu:
Formalization of Object Behavior and Interactions from UML Models. Int. J. Softw. Eng. Knowl. Eng. 11(6): 643-673 (2001) - [j21]X. Xie, Sol M. Shatz:
An approach for modeling components with customization for distributed software. Informatica (Slovenia) 25(4) (2001) - [j20]Shashank Khanvilkar, Sol M. Shatz:
Tool integration for flexible simulation of distributed algorithms. Softw. Pract. Exp. 31(14): 1363-1380 (2001) - [c18]Haiping Xu, Sol M. Shatz:
A Framework for Modeling Agent-Oriented Software. ICDCS 2001: 57-64 - [c17]Haiping Xu, Sol M. Shatz:
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. ISADS 2001: 11-18 - 2000
- [c16]X. Xie, Sol M. Shatz:
An Approach To Using Formal Methods In Aspect Orientation. PDPTA 2000 - [c15]Haiping Xu, Sol M. Shatz:
Extending G-nets to support inheritance modeling in concurrent object-oriented design. SMC 2000: 3128-3133
1990 – 1999
- 1999
- [j19]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) - [j18]Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
Protocol Specification Design Using an Object-Based Petri Net Formalism. Int. J. Softw. Eng. Knowl. Eng. 9(1): 97-125 (1999) - [c14]Ravi K. Gedela, Sol M. Shatz, Haiping Xu:
Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda 1999: 211-220 - 1998
- [j17]A. Newman, Sol M. Shatz, X. Xie:
An Approach to Object System Modeling by State-Based Object Petri Nets. J. Circuits Syst. Comput. 8(1): 1-21 (1998) - 1997
- [c13]C. Sashidhar, Sol M. Shatz:
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. COMPSAC 1997: 460-466 - [c12]Ravi K. Gedela, Sol M. Shatz:
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. PDSE 1997: 4-14 - 1996
- [j16]Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri:
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. IEEE Trans. Parallel Distributed Syst. 7(12): 1307-1322 (1996) - [c11]Vladimir P. Sliva, Tadao Murata, Sol M. Shatz:
A Method for Applying G-Nets To Communication Protocols. SEKE 1996: 145-152 - 1994
- [j15]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
- [c10]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
- [j14]Srinivasarao Damerla, Sol M. Shatz:
Software complexity and ada rendezvous: Metrics based on nondeterminism. J. Syst. Softw. 17(2): 119-127 (1992) - [j13]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) - [c9]Christopher Black, Sol M. Shatz, S. Upp:
TQL: A Tasking Query Language for Concurrent Program Analysis. ICDCS 1992: 382-389 - 1990
- [j12]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 Distributed Syst. 1(4): 424-441 (1990) - [j11]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) - [c8]Shengru Tu, Sol M. Shatz, Tadao Murata:
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. ICDCS 1990: 96-103
1980 – 1989
- 1989
- [j10]Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan:
Formal Modeling and Automated Analysis of the LAPD Protocol. Comput. Networks ISDN Syst. 18(4): 293-314 (1989) - [j9]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) - [c7]F. W. Fong, Sol M. Shatz:
Derivation of Petri net models of Ada tasking constructs involving time. COMPSAC 1989: 24-31 - [c6]Sol M. Shatz, Toshinori Suzuki, Tadao Murata:
Automated protocol modeling and verification combining an entity-based specification language and Petri nets. COMPSAC 1989: 580-587 - [c5]Sol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward:
A toolkit for automated support of Ada tasking analysis. ICDCS 1989: 595-602 - 1988
- [j8]Sol M. Shatz:
Superprocesses: a Distributed Program Configuration Concept Supporting. Comput. Syst. Sci. Eng. 3(1): 3-12 (1988) - [j7]Sol M. Shatz, Wing Kai Cheng:
A petri net framework for automated static analysis of Ada tasking behavior. J. Syst. Softw. 8(5): 343-359 (1988) - [j6]Sol M. Shatz:
Towards Complexity Metrics for Ada Tasking. IEEE Trans. Software Eng. 14(8): 1122-1127 (1988) - [c4]Jia-Ping Wang, Sol M. Shatz:
Reliability-oriented task allocation in redundant distributed systems. COMPSAC 1988: 276-283 - [c3]Jia-Ping Wang, Sol M. Shatz:
Task Allocation for Optimized System Reliability. SRDS 1988: 82-90 - 1987
- [j5]Sol M. Shatz, Jia-Ping Wang:
Introduction to Distributed-Software Engineering. Computer 20(10): 23-31 (1987) - 1986
- [j4]Sol M. Shatz, Stephen S. Yau:
A partitioning algorithm for distributed software systems design. Inf. Sci. 38(2): 165-180 (1986) - [c2]Boris Shenker, Tadao Murata, Sol M. Shatz:
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081 - 1985
- [j3]Sol M. Shatz:
Post-Failure Reconfiguration of CSP Programs. IEEE Trans. Software Eng. 11(10): 1193-1202 (1985) - 1984
- [j2]Sol M. Shatz:
Communication Mechanisms for Programming Distributed Systems. Computer 17(6): 21-28 (1984) - 1982
- [c1]Stephen S. Yau, Sol M. Shatz:
On Communication in the Design of Software Components of Distributed Computer Systems. ICDCS 1982: 280-287 - 1981
- [j1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
