• Publications
  • Influence
Real-Time Model Checking for Shill Detection in Live Online Auctions
TLDR
In this paper, we introduce a dynamic auction model (DAM) for real-time detection of shilling behaviors in live online auctions. Expand
  • 32
  • 9
  • PDF
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
TLDR
The advent of multi-agent systems has brought us opportunities for the development of complex software that will serve as the infrastructure for advanced distributed applications. Expand
  • 39
  • 7
  • PDF
A Real-Time Self-Adaptive Classifier for Identifying Suspicious Bidders in Online Auctions
TLDR
We introduce a Real-Time Self-Adaptive Classifier (RT-SAC) for identifying suspicious bidders in online auctions using an incremental neural network approach. Expand
  • 24
  • 7
  • PDF
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory
TLDR
This paper describes the design of a decision support system for shill detection in online auctions, and shows that it can be used to detect shills effectively and efficiently. Expand
  • 31
  • 6
  • PDF
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
TLDR
We present a procedure for formal modeling and verifying DRBD for computer-based systems and present an algorithm that automatically converts a model into a colored Petri net. Expand
  • 104
  • 5
  • PDF
Combating online in-auction fraud: Clues, techniques and challenges
The number of Internet auction shoppers is rapidly growing. However, online auction customers may suffer from auction fraud, sometimes without even noticing it. In-auction fraud differs from pre- andExpand
  • 62
  • 5
  • PDF
A Framework for Model-Based Design of Agent-Oriented Software
TLDR
In this paper, we customize the basic G-net model to define a so-called "agent-based G-nets" that can serve as a generic model for agent design. Expand
  • 65
  • 3
  • PDF
Part family formation for GT applications based on fuzzy mathematics
Group Technology (GT) is one of the key issues in a successful implementation of flexible manufacturing systems ( FMSs). The objective of GT is, through the use of a part-family (PF) formationExpand
  • 111
  • 3
A Multi-State Bayesian Network for Shill Verification in Online Auctions
TLDR
In this paper, we introduce a novel approach for verifying shill bidders using a multi-state Bayesian network, which supports reasoning under uncertainty. Expand
  • 17
  • 3
  • PDF
Inference of Online Auction Shills Using Dempster-Shafer Theory
TLDR
We present a shilling behavior detection and verification approach for online auction systems. Expand
  • 26
  • 2
  • PDF