| 2008 |
|---|
| 18 | | M. A. Karim Sadiq,
Haiping Xu,
Jaroslav Zendulka,
Adegboyega K. Ojo:
International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008
ISRST 2008 |
| 17 | EE | Haiping Xu,
Sol M. Shatz,
Christopher K. Bates:
A Framework for Agent-Based Trust Management in Online Auctions.
ITNG 2008: 149-155 |
| 16 | | Abhinay Reddyreddy,
Haiping Xu:
Securing Service-oriented Systems Using State-Based XML Firewall.
SEKE 2008: 512-518 |
| 15 | EE | Haiping Xu,
Mihir M. Ayachit,
Abhinay Reddyreddy:
Formal modelling and analysis of XML firewall for service-oriented systems.
IJSN 3(3): 147-160 (2008) |
| 2007 |
|---|
| 14 | EE | Xiaoqin Zhang,
Haiping Xu,
Bhavesh Shrestha:
Developing multi-agent systems with automatic agent generation and dynamic task allocation mechanisms.
AAMAS 2007: 209 |
| 13 | | Jan Bergandy,
Paul L. Bergstein,
Boleslaw Mikolajczak,
Haiping Xu:
Designing Software Engineering Option within Computer Science Bachelor of Science Program.
FECS 2007: 290-296 |
| 12 | | Rinkesh Patel,
Haiping Xu,
Ankit Goel:
Real-Time Trust Management in Agent Based Online Auction Systems.
SEKE 2007: 244-250 |
| 2006 |
|---|
| 11 | | Mihir M. Ayachit,
Haiping Xu:
A petri net based XML firewall security model for web services invocation.
Communication, Network, and Information Security 2006: 61-67 |
| 10 | | Xiaoqin Zhang,
Haiping Xu:
Towards Automated Development of Multi-Agent Systems Using RADE.
IC-AI 2006: 44-50 |
| 9 | | Yi-Tsung Cheng,
Haiping Xu:
A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions.
ICEIS (3) 2006: 375-381 |
| 2005 |
|---|
| 8 | | Haiping Xu,
Xiaoqin Zhang:
A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems.
ICEIS (3) 2005: 246-253 |
| 7 | EE | Haiping Xu,
Zhiguo Zhang,
Sol M. Shatz:
A Security Based Model for Mobile Agent Software Systems.
International Journal of Software Engineering and Knowledge Engineering 15(4): 719-746 (2005) |
| 2003 |
|---|
| 6 | EE | Haiping Xu,
Sol M. Shatz:
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems.
Autom. Softw. Eng. 10(4): 337-365 (2003) |
| 5 | EE | Haiping Xu,
Sol M. Shatz:
A Framework for Model-Based Design of Agent-Oriented Software.
IEEE Trans. Software Eng. 29(1): 15-30 (2003) |
| 2001 |
|---|
| 4 | EE | Haiping Xu,
Sol M. Shatz:
A Framework for Modeling Agent-Oriented Software.
ICDCS 2001: 57-64 |
| 3 | EE | Haiping Xu,
Sol M. Shatz:
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce.
ISADS 2001: 11-18 |
| 1999 |
|---|
| 2 | EE | Ravi K. Gedela,
Sol M. Shatz,
Haiping Xu:
Formal modeling of synchronization methods for concurrent objects in Ada 95.
SIGAda 1999: 211-220 |
| 1 | | Ravi K. Gedela,
Sol M. Shatz,
Haiping Xu:
Compositional Petri net models of advanced tasking in Ada-95.
Comput. Lang. 25(2): 55-87 (1999) |
