Travelled to:
1 × Canada
4 × USA
Collaborated with:
H.Xu Z.Hu F.Dong A.Goel R.K.Gedela V.P.Sliva T.Murata S.Duri U.A.Buy R.Devarapalli
Talks about:
auction (3) method (3) state (2) shill (2) onlin (2) net (2) ada (2) relationship (1) synchron (1) protocol (1)
Person: Sol M. Shatz
DBLP: Shatz:Sol_M=
Contributed to:
Wrote 6 papers:
- SEKE-2010-DongSX #empirical #evaluation #online #process
- An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions (FD, SMS, HX), pp. 286–291.
- SEKE-2010-GoelXS #multi #network #online #verification
- A Multi-State Bayesian Network for Shill Verification in Online Auctions (AG, HX, SMS), pp. 279–285.
- SEKE-2004-HuS #diagrams #petri net #simulation #uml
- Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
- SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling
- Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
- SEKE-1996-SlivaMS #communication #protocol
- A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
- ISSTA-1993-DuriBDS #ada #analysis #concurrent #reduction #using
- Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking (SD, UAB, RD, SMS), pp. 51–60.