| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar |
Price comparison: A reliable approach to identifying shill bidding in online auctions?  |
Electronic Commerce Research and Applications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juzheng Li, Sol M. Shatz, Ajay D. Kshemkalyani |
Mobile Sampling of Sensor Field Data Using Controlled Broadcast. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz |
Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. |
JCP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz |
Dynamic multiroot, multiquery processing based on data sharing in sensor networks. |
TOSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ankit Goel, Haiping Xu, Sol M. Shatz |
A Multi-State Bayesian Network for Shill Verification in Online Auctions. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juzheng Li, Sol M. Shatz |
Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects. |
DMS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Combating online in-auction fraud: Clues, techniques and challenges. |
Computer Science Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiexin Lian, Sol M. Shatz, Xudong He |
Flexible coordinator design for modeling resource sharing in multi-agent systems. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Inference of Online Auction Shills Using Dempster-Shafer Theory. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Shill bidding, shill verification, auction fraud, Dempster-Shafer theory, online auctions |
| 1 | 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 |
DBLP DOI BibTeX RDF |
software agent, Online auction, bidding strategy, UML activity diagram, rule-based model |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jiexin Lian, Sol M. Shatz |
A Modeling Methodology for Conflict Control in Multi-Agent Systems. |
International Journal of Software Engineering and Knowledge Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiexin Lian, Zhaoxia Hu, Sol M. Shatz |
Simulation-based analysis of UML statechart diagrams: methods and case studies. |
Software Quality Journal |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, UML statecharts, Design analysis |
| 1 | Haiping Xu, Sol M. Shatz, Christopher K. Bates |
A Framework for Agent-Based Trust Management in Online Auctions. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Shilling behavior, Multi-agent system, Communication protocol, Trust management, Online auction |
| 1 | Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz |
Multi-root, Multi-Query Processing in Sensor Networks. |
DCOSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shourui Tian, Sol M. Shatz, Yang Yu |
A Framework for Querying Sensor Networks Using Mobile Devices. |
ICCCN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shourui Tian, Sol M. Shatz |
Optimizing Query Injection from Mobile Objects to Sensor Networks. |
ISADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiexin Lian, Sol M. Shatz, Xudong He |
Component Based Multi-Agent System Modeling and Analysis: A Case Study. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
| 1 | Haiping Xu, Zhiguo Zhang, Sol M. Shatz |
A Security Based Model for Mobile Agent Software Systems. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Zhaoxia Hu, Sol M. Shatz |
Mapping UML Diagrams to a Petri Net Notation for System Simulation. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz |
A Framework for Model-Based Design of Agent-Oriented Software. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model |
| 1 | Haiping Xu, Sol M. Shatz |
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
agent-oriented G-net model, agent development kit (ADK), multi-agent system, intelligent agent, model-based development |
| 1 | X. Xie, Sol M. Shatz |
Development of class-level and instance-level design models for distributed-object software. |
Comput. Syst. Sci. Eng. |
2002 |
DBLP BibTeX RDF |
|
| 1 | X. Xie, Sol M. Shatz |
An approach for modeling components with customization for distributed software. |
Informatica (Slovenia) |
2001 |
DBLP BibTeX RDF |
|
| 1 | Shashank Khanvilkar, Sol M. Shatz |
Tool integration for flexible simulation of distributed algorithms. |
Softw., Pract. Exper. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Pezzè, Sol M. Shatz |
Editorial. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz |
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. (PDF / PS) |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz |
A Framework for Modeling Agent-Oriented Software. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | X. Xie, Sol M. Shatz |
An Approach To Using Formal Methods In Aspect Orientation. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Compositional Petri net models of advanced tasking in Ada-95. |
Comput. Lang. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Formal modeling of synchronization methods for concurrent objects in Ada 95. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods |
| 1 | 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Sashidhar, Sol M. Shatz |
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
Transparency, RPC, Distributed Software, Callbacks |
| 1 | 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. |
1996 |
DBLP DOI BibTeX RDF |
deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking |
| 1 | Vladimir P. Sliva, Tadao Murata, Sol M. Shatz |
A Method for Applying G-Nets To Communication Protocols. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1994 |
DBLP DOI BibTeX RDF |
concurrency analysis, experimental evaluation, deadlock detection, automatic analysis, Ada tasking, state space explosion |
| 1 | Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Sol M. Shatz, Jia-Ping Wang, Masanori Goto |
Task Allocation for Maximizing Reliability of Distributed Computer Systems. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
quantitative problem model, performance evaluation, distributed processing, software design, task allocation, storage allocation, distributed computer systems, system reliability, reliability theory |
| 1 | Srinivasarao Damerla, Sol M. Shatz |
Software complexity and ada rendezvous: Metrics based on nondeterminism. |
Journal of Systems and Software |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Black, Sol M. Shatz, S. Upp |
TQL: A Tasking Query Language for Concurrent Program Analysis. |
ICDCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1990 |
DBLP DOI BibTeX RDF |
conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net |
| 1 | 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. |
1990 |
DBLP DOI BibTeX RDF |
Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking |
| 1 | Shengru Tu, Sol M. Shatz, Tadao Murata |
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. |
ICDCS |
1990 |
DBLP BibTeX RDF |
|
| 1 | Tadao Murata, Boris Shenker, Sol M. Shatz |
Detection of Ada Static Deadlocks Using Petri Net Invariants. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow |
| 1 | Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan |
Formal Modeling and Automated Analysis of the LAPD Protocol. |
Computer Networks and ISDN Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sol M. Shatz |
Towards Complexity Metrics for Ada Tasking. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
concurrently active rendezvous, representative distributed programming language, Petri net graph model, Ada rendezvous, rendezvous graph, software engineering, software engineering, computational complexity, Ada, distributed processing, directed graphs, communication complexity, software complexity, complexity metrics, Ada tasking |
| 1 | Sol M. Shatz, Wing Kai Cheng |
A petri net framework for automated static analysis of Ada tasking behavior. |
Journal of Systems and Software |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Sol M. Shatz |
Superprocesses: a Distributed Program Configuration Concept Supporting. |
Comput. Syst. Sci. Eng. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jia-Ping Wang, Sol M. Shatz |
Task Allocation for Optimized System Reliability. |
SRDS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Sol M. Shatz, Stephen S. Yau |
A partitioning algorithm for distributed software systems design. |
Inf. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Shenker, Tadao Murata, Sol M. Shatz |
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. |
FJCC |
1986 |
DBLP BibTeX RDF |
|
| 1 | Sol M. Shatz |
Post-Failure Reconfiguration of CSP Programs. |
IEEE Trans. Software Eng. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Sol M. Shatz |
Communication Mechanisms for Programming Distributed Systems. |
IEEE Computer |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen S. Yau, Sol M. Shatz |
On Communication in the Design of Software Components of Distributed Computer Systems. |
ICDCS |
1982 |
DBLP BibTeX RDF |
|
| 1 | Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz |
An Approach to Distributed Computing System Software Design. |
IEEE Trans. Software Eng. |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")