Travelled to:1 × Canada
1 × Cyprus
8 × USA
Collaborated with:S.M.Shatz A.Goel J.Rahme D.Bhalerao A.Li R.Wei D.F.Fitch A.Reddyreddy Y.Cheng X.Zhang H.Chawla M.Zhou F.Dong R.Patel R.K.Gedela
Talks about:base (8) auction (5) model (5) system (4) onlin (4) reliabl (3) servic (3) formal (3) shill (3) secur (3)
Person: Haiping Xu
DBLP: Xu:Haiping
Facilitated 1 volumes:
EdContributed to:
20152014201320122011201020082007
20062005
1999Wrote 13 papers:
- SEKE-2015-RahmeX #scheduling
- Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
- SEKE-2015-XuB #multi #reliability #using
- A Reliable and Secure Cloud Storage Schema Using Multiple Service Providers (HX, DB), pp. 116–121.
- SEKE-2014-XuL14a #ontology #reasoning #semantics #using
- Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
- SEKE-2013-WeiX #analysis #e-commerce #effectiveness #evaluation
- A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce (RW, HX), pp. 287–293.
- SEKE-2012-FitchX #fault tolerance #petri net
- A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
- SEKE-2011-ChawlaXZ #composition #ontology #realtime #reliability #web #web service
- A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition (HC, HX, MZ), pp. 153–158.
- 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-2008-ReddyreddyX #using #xml
- Securing Service-oriented Systems Using State-Based XML Firewall (AR, HX), pp. 512–518.
- SEKE-2007-PatelXG #online #realtime #trust
- Real-Time Trust Management in Agent Based Online Auction Systems (RP, HX, AG), pp. 244–250.
- ICEIS-ISAS-2006-ChengX #approach #behaviour #concurrent #detection #formal method #online
- A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions (YTC, HX), pp. 375–381.
- ICEIS-v3-2005-XuZ #modelling #multi
- A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems (HX, XZ), pp. 246–253.
- 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.