Year |
Citation |
Score |
2012 |
Chang L, He X, Shatz SM. A methodology for modeling multi-agent systems using nested petri nets International Journal of Software Engineering and Knowledge Engineering. 22: 891-925. DOI: 10.1142/S0218194012500246 |
0.46 |
|
2012 |
Dong F, Shatz SM, Xu H, Majumdar D. Price comparison: A reliable approach to identifying shill bidding in online auctions? Electronic Commerce Research and Applications. 11: 171-179. DOI: 10.1016/J.Elerap.2011.12.003 |
0.585 |
|
2011 |
Li J, Shatz S, Kshemkalyani A. Mobile sampling of sensor field data using controlled broadcast Ieee Transactions On Mobile Computing. 10: 881-896. DOI: 10.1109/Tmc.2010.233 |
0.325 |
|
2010 |
Ford BJ, Xu H, Bates CK, Shatz SM. Visual specification of layered bidding strategies for autonomous bidding agents Journal of Computers. 5: 941-950. DOI: 10.4304/Jcp.5.6.940-950 |
0.584 |
|
2010 |
Dong F, Shatz SM, Xu H. Reasoning under uncertainty for shill detection in online auctions using Dempster-Shafer theory International Journal of Software Engineering and Knowledge Engineering. 20: 943-973. DOI: 10.1142/S0218194010005018 |
0.603 |
|
2009 |
Ford BJ, Xu H, Bates CK, Shatz SM. Model-based specification of flexible and complex bidding strategies in agent-based online auctions Itng 2009 - 6th International Conference On Information Technology: New Generations. 894-900. DOI: 10.1109/ITNG.2009.29 |
0.374 |
|
2009 |
Lian J, Shatz SM, He X. Flexible coordinator design for modeling resource sharing in multi-agent systems Journal of Systems and Software. 82: 1709-1729. DOI: 10.1016/J.Jss.2009.04.054 |
0.58 |
|
2009 |
Dong F, Shatz SM, Xu H. Combating online in-auction fraud: Clues, techniques and challenges Computer Science Review. 3: 245-258. DOI: 10.1016/J.Cosrev.2009.09.001 |
0.599 |
|
2008 |
Lian J, Shatz SM. A modeling methodology for conflict control in multi-agent systems International Journal of Software Engineering and Knowledge Engineering. 18: 263-303. DOI: 10.1142/S0218194008003659 |
0.609 |
|
2008 |
Lian J, Hu Z, Shatz SM. Simulation-based analysis of UML statechart diagrams: Methods and case studies Software Quality Journal. 16: 45-78. DOI: 10.1007/S11219-007-9020-9 |
0.64 |
|
2006 |
Yao S, Shatz SM. Consistency checking of UML dynamic models based on Petri Net techniques Proceedings - 15th International Conference On Computing, Cic 2006. 289-297. DOI: 10.1109/CIC.2006.32 |
0.338 |
|
2005 |
Xu H, Zhang Z, Shatz SM. A security based model for mobile agent software systems International Journal of Software Engineering and Knowledge Engineering. 15: 719-746. DOI: 10.1142/S0218194005002518 |
0.545 |
|
2003 |
Xu H, Shatz SM. A framework for model-based design of agent-oriented software Ieee Transactions On Software Engineering. 29: 15-30. DOI: 10.1109/Tse.2003.1166586 |
0.604 |
|
2003 |
Xu H, Shatz SM. ADK: An agent development kit based on a formal design model for multi-agent systems Automated Software Engineering. 10: 337-365. DOI: 10.1023/A:1025859021913 |
0.344 |
|
2002 |
Xie X, Shatz SM. Development of class-level and instance-level design models for distributed-object software Computer Systems Science and Engineering. 17: 169-181. |
0.352 |
|
2001 |
Saldhana JA, Shatz SM, Hu Z. Formalization of object behavior and interactions from UML models International Journal of Software Engineering and Knowledge Engineering. 11: 643-673. DOI: 10.1142/S021819400100075X |
0.616 |
|
2001 |
Xu H, Shatz SM. An agent-based Petri net model with application to seller/buyer design in electronic commerce Proceedings - 5th International Symposium On Autonomous Decentralized Systems, Isads 2001. 11-18. DOI: 10.1109/ISADS.2001.917390 |
0.345 |
|
2001 |
Khanvilkar S, Shatz SM. Tool integration for flexible simulation of distributed algorithms Software - Practice and Experience. 31: 1363-1380. DOI: 10.1002/Spe.419 |
0.349 |
|
2001 |
Xu H, Shatz SM. A framework for modeling agent-oriented software Proceedings - International Conference On Distributed Computing Systems. 57-64. |
0.364 |
|
1999 |
Gedela RK, Shatz SM, Xu H. Formal modeling of synchronization methods for concurrent objects in Ada 95 Acm Sigada Ada Letters. 211-220. DOI: 10.1145/319295.319325 |
0.579 |
|
1999 |
Sliva VP, Murata T, Shatz SM. Protocol specification design using an object-based Petri net formalism International Journal of Software Engineering and Knowledge Engineering. 9: 97-125. DOI: 10.1142/S0218194099000073 |
0.406 |
|
1999 |
Gedela RK, Shatz SM, Xu H. Compositional Petri net models of advanced tasking in Ada-95 Computer Languages. 25: 55-87. DOI: 10.1016/S0096-0551(99)00014-4 |
0.572 |
|
1999 |
Sliva VP, Murata T, Shatz SM. Protocol specification design using an object-based Petri net formalism International Journal of Software Engineering and Knowledge Engineering. 9: 97-125. |
0.302 |
|
1998 |
Newman A, Shatz SM, Xie X. An approach to object system modeling by state-based object Petri nets Journal of Circuits, Systems and Computers. 8: 1-20. DOI: 10.1142/S0218126698000031 |
0.418 |
|
1998 |
Black C, Shatz SM, Tu S. A query language for automated general analysis of Concurrent Ada programs Computer Systems Science and Engineering. 13: 83-95. |
0.345 |
|
1997 |
Gedela RK, Shatz SM. Modeling of advanced tasking in Ada-95: A Petri net perspective International Workshop On Software Engineering For Parallel and Distributed Systems, Proceedings. 4-14. |
0.313 |
|
1996 |
Shatz SM, Tu S, Murata T, Duri S. An application of Petri net reduction for Ada tasking deadlock analysis Ieee Transactions On Parallel and Distributed Systems. 7: 1307-1322. DOI: 10.1109/71.553301 |
0.396 |
|
1994 |
Duri S, Buy U, Devarapalli R, Shatz SM. Application and experimental evaluation of state space reduction methods for deadlock analysis in ada Acm Transactions On Software Engineering and Methodology. 3: 340-380. DOI: 10.1145/201024.201038 |
0.402 |
|
1992 |
Shatz SM, Wang JP, Goto M. Task Allocation for Maximizing Reliability of Distributed Computer Systems Ieee Transactions On Computers. 41: 1156-1168. DOI: 10.1109/12.165396 |
0.379 |
|
1991 |
Murata T, Bhatia RS, Shatz SM. Markov chain reduction and analysis of GSPN models for task allocation in distributed systems Microelectronics Reliability. 31: 727-746. DOI: 10.1016/0026-2714(91)90011-U |
0.366 |
|
1990 |
Shatz SM, Mai K, Black C, Tu S. Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis Ieee Transactions On Parallel and Distributed Systems. 1: 424-441. DOI: 10.1109/71.80172 |
0.429 |
|
1990 |
Suzuki T, Shatz SM, Murata T. A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets Ieee Transactions On Software Engineering. 16: 523-536. DOI: 10.1109/32.52775 |
0.415 |
|
1990 |
Shatz SM, Kajka PS, Chauhan AS. Formal modeling and automated analysis of the LAPD protocol Computer Networks and Isdn Systems. 18: 293-314. DOI: 10.1016/0169-7552(90)90110-E |
0.358 |
|
1989 |
Murata T, Shenker B, Shatz SM. Detection of Ada static deadlocks using Petri net invariants Ieee Transactions On Software Engineering. 15: 314-326. DOI: 10.1109/32.21759 |
0.304 |
|
1989 |
Shatz SM, Wang JP. Models & Algorithms for Reliability-Oriented Task-Allocation in Redundant Distributed-Computer Systems Ieee Transactions On Reliability. 38: 16-27. DOI: 10.1109/24.24570 |
0.323 |
|
1988 |
Shatz SM. Towards Complexity Metrics for Ada Tasking Ieee Transactions On Software Engineering. 14: 1122-1127. DOI: 10.1109/32.7623 |
0.381 |
|
1988 |
Shatz SM, Cheng WK. A petri net framework for automated static analysis of Ada tasking behavior The Journal of Systems and Software. 8: 343-359. DOI: 10.1016/0164-1212(88)90027-1 |
0.374 |
|
1986 |
Shatz SM, Yau SS. A partitioning algorithm for distributed software systems design Information Sciences. 38: 165-180. DOI: 10.1016/0020-0255(86)90018-6 |
0.37 |
|
1985 |
Shatz SM. Post-Failure Reconfiguration of CSP Programs Ieee Transactions On Software Engineering. 11: 1193-1202. DOI: 10.1109/Tse.1985.231867 |
0.318 |
|
1981 |
Yau SS, Shatz SM, Yang CC. An Approach to Distributed Computing System Software Design Ieee Transactions On Software Engineering. 427-436. DOI: 10.1109/Tse.1981.230845 |
0.376 |
|
Show low-probability matches. |