Sol M. Shatz

70 papers A 6B 8C 6Misc 1Journal 39Unranked 10
YearRankTypeTitle / Venue / Authors
2012 J jnl
A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets.
Int. J. Softw. Eng. Knowl. Eng.
Lily Chang, Xudong He, Sol M. Shatz
2012 J jnl
Price comparison: A reliable approach to identifying shill bidding in online auctions?
Electron. Commer. Res. Appl.
Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar
2011 J jnl
Mobile Sampling of Sensor Field Data Using Controlled Broadcast.
IEEE Trans. Mob. Comput.
Juzheng Li, Sol M. Shatz, Ajay D. Kshemkalyani
2010 C conf
A Multi-State Bayesian Network for Shill Verification in Online Auctions.
SEKE
Ankit Goel, Haiping Xu, Sol M. Shatz
2010 C conf
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions.
SEKE
Fei Dong, Sol M. Shatz, Haiping Xu
2010 J jnl
Dynamic multiroot, multiquery processing based on data sharing in sensor networks.
ACM Trans. Sens. Networks
Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz
2010 J jnl
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory.
Int. J. Softw. Eng. Knowl. Eng.
Fei Dong, Sol M. Shatz, Haiping Xu
2010 — conf
Remote Query Processing in Wireless Sensor Networks using Coordinated Mobile Objects.
DMS
Juzheng Li, Sol M. Shatz
2010 J jnl
Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents.
J. Comput.
Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz
2009 J jnl
Combating online in-auction fraud: Clues, techniques and challenges.
Comput. Sci. Rev.
Fei Dong, Sol M. Shatz, Haiping Xu
2009 J jnl
Flexible coordinator design for modeling resource sharing in multi-agent systems.
J. Syst. Softw.
Jiexin Lian, Sol M. Shatz, Xudong He
2009 — conf
Inference of Online Auction Shills Using Dempster-Shafer Theory.
ITNG
Fei Dong, Sol M. Shatz, Haiping Xu
2009 — conf
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions.
ITNG
Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz
2009 J jnl
Querying sensor networks using ad hoc mobile devices: A two-layer networking approach.
Ad Hoc Networks
Shourui Tian, Sol M. Shatz, Yang Yu, Juzheng Li
2009 — conf
Real-Time Model Checking for Shill Detection in Live Online Auctions.
Software Engineering Research and Practice
Haiping Xu, Christopher K. Bates, Sol M. Shatz
2008 — conf
A Framework for Agent-Based Trust Management in Online Auctions.
ITNG
Haiping Xu, Sol M. Shatz, Christopher K. Bates
2008 J jnl
A Modeling Methodology for Conflict Control in Multi-Agent Systems.
Int. J. Softw. Eng. Knowl. Eng.
Jiexin Lian, Sol M. Shatz
2008 B conf
Multi-root, Multi-Query Processing in Sensor Networks.
DCOSS
Zhiguo Zhang, Ajay D. Kshemkalyani, Sol M. Shatz
2008 J jnl
Simulation-based analysis of UML statechart diagrams: methods and case studies.
Softw. Qual. J.
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
2007 B conf
A Framework for Querying Sensor Networks Using Mobile Devices.
ICCCN
Shourui Tian, Sol M. Shatz, Yang Yu
2007 — conf
Component Based Multi-Agent System Modeling and Analysis: A Case Study.
Software Engineering Research and Practice
Jiexin Lian, Sol M. Shatz, Xudong He
2007 C conf
Optimizing Query Injection from Mobile Objects to Sensor Networks.
ISADS
Shourui Tian, Sol M. Shatz
2006 J jnl
Explicit modeling of semantics associated with composite states in UML statecharts.
Autom. Softw. Eng.
Zhaoxia Hu, Sol M. Shatz
2005 J jnl
A Security Based Model for Mobile Agent Software Systems.
Int. J. Softw. Eng. Knowl. Eng.
Haiping Xu, Zhiguo Zhang, Sol M. Shatz
2005 — conf
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study.
Software Engineering Research and Practice
Zhaoxia Hu, Sol M. Shatz
2004 C conf
Mapping UML Diagrams to a Petri Net Notation for System Simulation.
SEKE
Zhaoxia Hu, Sol M. Shatz
2003 J jnl
A Framework for Model-Based Design of Agent-Oriented Software.
IEEE Trans. Software Eng.
Haiping Xu, Sol M. Shatz
2003 J jnl
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems.
Autom. Softw. Eng.
Haiping Xu, Sol M. Shatz
2002 J jnl
Development of class-level and instance-level design models for distributed-object software.
Comput. Syst. Sci. Eng.
X. Xie, Sol M. Shatz
2001 A conf
A Framework for Modeling Agent-Oriented Software.
ICDCS
Haiping Xu, Sol M. Shatz
2001 C conf
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.
ISADS
Haiping Xu, Sol M. Shatz
2001 J jnl
An approach for modeling components with customization for distributed software.
Informatica (Slovenia)
X. Xie, Sol M. Shatz
2001 J jnl
Editorial.
Comput. Syst. Sci. Eng.
Mauro Pezzè, Sol M. Shatz
2001 J jnl
Formalization of Object Behavior and Interactions from UML Models.
Int. J. Softw. Eng. Knowl. Eng.
John Anil Saldhana, Sol M. Shatz, Zhaoxia Hu
2001 J jnl
Tool integration for flexible simulation of distributed algorithms.
Softw. Pract. Exp.
Shashank Khanvilkar, Sol M. Shatz
2000 Misc conf
An Approach To Using Formal Methods In Aspect Orientation.
PDPTA
X. Xie, Sol M. Shatz
2000 B conf
Extending G-nets to support inheritance modeling in concurrent object-oriented design.
SMC
Haiping Xu, Sol M. Shatz
1999 J jnl
Compositional Petri net models of advanced tasking in Ada-95.
Comput. Lang.
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
1999 — conf
Formal modeling of synchronization methods for concurrent objects in Ada 95.
SIGAda
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
1999 J jnl
Protocol Specification Design Using an Object-Based Petri Net Formalism.
Int. J. Softw. Eng. Knowl. Eng.
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
1998 J jnl
An Approach to Object System Modeling by State-Based Object Petri Nets.
J. Circuits Syst. Comput.
A. Newman, Sol M. Shatz, X. Xie
1997 B conf
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software.
COMPSAC
C. Sashidhar, Sol M. Shatz
1997 — conf
Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective.
PDSE
Ravi K. Gedela, Sol M. Shatz
1996 C conf
A Method for Applying G-Nets To Communication Protocols.
SEKE
Vladimir P. Sliva, Tadao Murata, Sol M. Shatz
1996 J jnl
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.
IEEE Trans. Parallel Distributed Syst.
Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri
1994 J jnl
Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.
ACM Trans. Softw. Eng. Methodol.
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
1993 A conf
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.
ISSTA
Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz
1992 J jnl
Software complexity and ada rendezvous: Metrics based on nondeterminism.
J. Syst. Softw.
Srinivasarao Damerla, Sol M. Shatz
1992 A conf
TQL: A Tasking Query Language for Concurrent Program Analysis.
ICDCS
Christopher Black, Sol M. Shatz, S. Upp
1992 J jnl
Task Allocation for Maximizing Reliability of Distributed Computer Systems.
IEEE Trans. Computers
Sol M. Shatz, Jia-Ping Wang, Masanori Goto
1990 J jnl
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.
IEEE Trans. Software Eng.
Toshinori Suzuki, Sol M. Shatz, Tadao Murata
1990 A conf
Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.
ICDCS
Shengru Tu, Sol M. Shatz, Tadao Murata
1990 J jnl
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.
IEEE Trans. Parallel Distributed Syst.
Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu
1989 A conf
A toolkit for automated support of Ada tasking analysis.
ICDCS
Sol M. Shatz, Khanh Mai, D. Moorthi, J. Woodward
1989 B conf
Automated protocol modeling and verification combining an entity-based specification language and Petri nets.
COMPSAC
Sol M. Shatz, Toshinori Suzuki, Tadao Murata
1989 B conf
Derivation of Petri net models of Ada tasking constructs involving time.
COMPSAC
F. W. Fong, Sol M. Shatz
1989 J jnl
Detection of Ada Static Deadlocks Using Petri Net Invariants.
IEEE Trans. Software Eng.
Tadao Murata, Boris Shenker, Sol M. Shatz
1989 J jnl
Formal Modeling and Automated Analysis of the LAPD Protocol.
Comput. Networks ISDN Syst.
Sol M. Shatz, Peter S. Kajka, Ardaman S. Chauhan
1988 J jnl
A petri net framework for automated static analysis of Ada tasking behavior.
J. Syst. Softw.
Sol M. Shatz, Wing Kai Cheng
1988 B conf
Reliability-oriented task allocation in redundant distributed systems.
COMPSAC
Jia-Ping Wang, Sol M. Shatz
1988 J jnl
Superprocesses: a Distributed Program Configuration Concept Supporting.
Comput. Syst. Sci. Eng.
Sol M. Shatz
1988 B conf
Task Allocation for Optimized System Reliability.
SRDS
Jia-Ping Wang, Sol M. Shatz
1988 J jnl
Towards Complexity Metrics for Ada Tasking.
IEEE Trans. Software Eng.
Sol M. Shatz
1987 J jnl
Introduction to Distributed-Software Engineering.
Computer
Sol M. Shatz, Jia-Ping Wang
1986 J jnl
A partitioning algorithm for distributed software systems design.
Inf. Sci.
Sol M. Shatz, Stephen S. Yau
1986 — conf
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.
FJCC
Boris Shenker, Tadao Murata, Sol M. Shatz
1985 J jnl
Post-Failure Reconfiguration of CSP Programs.
IEEE Trans. Software Eng.
Sol M. Shatz
1984 J jnl
Communication Mechanisms for Programming Distributed Systems.
Computer
Sol M. Shatz
1982 A conf
On Communication in the Design of Software Components of Distributed Computer Systems.
ICDCS
Stephen S. Yau, Sol M. Shatz
1981 J jnl
An Approach to Distributed Computing System Software Design.
IEEE Trans. Software Eng.
Stephen S. Yau, Chen-Chau Yang, Sol M. Shatz