Dianxiang Xu

2007
32	EE	Dianxiang Xu, Izzat Alsmadi, Weifeng Xu: Model Checking Aspect-Oriented Design Specification. COMPSAC (1) 2007: 491-500
31		Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from UML Protocol State Machines. SEKE 2007: 99-104
2006
30	EE	Dianxiang Xu, Weifeng Xu: State-based incremental testing of aspect-oriented programs. AOSD 2006: 180-189
29	EE	Dianxiang Xu, Vivek Goel, Kendall E. Nygard: An Aspect-Oriented Approach to Security Requirements Analysis. COMPSAC (2) 2006: 79-82
28	EE	Joshua J. Pauli, Dianxiang Xu: Integrating Functional and Security Requirements with Use Case Decomposition. ICECCS 2006: 57-66
27		Joshua J. Pauli, Dianxiang Xu: Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. SEKE 2006: 392-397
26	EE	Dianxiang Xu, Kendall E. Nygard: Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. IEEE Trans. Software Eng. 32(4): 265-278 (2006)
2005
25	EE	Dianxiang Xu, Kendall E. Nygard: A threat-driven approach to modeling and verifying secure software. ASE 2005: 342-346
24		Dianxiang Xu, Joshua J. Pauli: Threat-Driven Architectural Design of Secure Information Systems. ICEIS (3) 2005: 136-143
23	EE	Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Bin Luo, Zhaojian Chen: A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. ISNN (2) 2005: 131-136
22	EE	Dianxiang Xu, Vivek Goel: An Aspect-Oriented Approach to Mobile Agent Access Control. ITCC (1) 2005: 668-673
21	EE	Joshua J. Pauli, Dianxiang Xu: Misuse Case-Based Design and Analysis of Secure Software Architecture. ITCC (2) 2005: 398-403
20		Joshua J. Pauli, Dianxiang Xu: Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. MSVVEIS 2005: 89-95
19		Dianxiang Xu, Weifeng Xu, Kendall E. Nygard: A State-Based Approach to Testing Aspect-Oriented Programs. SEKE 2005: 366-371
18		Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He: Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE 2005: 560-565
2004
17	EE	Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen: Illumination Invariant Face Recognition Based on Neural Network Ensemble. ICTAI 2004: 486-490
16		Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E. Nygard: A Petri Net Based Software Architecture for UAV Simulation. Software Engineering Research and Practice 2004: 227-234
2003
15		Dianxiang Xu, Michael S. Miller, Richard A. Volz, Thomas R. Ioerger: Collaborative Agents for C2 Teamwork Simulation. IC-AI 2003: 723-729
14	EE	Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale: Human-Agent Teamwork for Distributed Team Training. ICTAI 2003: 602-
13	EE	Dianxiang Xu, Jianwen Yin, Yi Deng, Junhua Ding: A Formal Architectural Model for Logical Agent Mobility. IEEE Trans. Software Eng. 29(1): 31-45 (2003)
12	EE	Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen: Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets. International Journal of Software Engineering and Knowledge Engineering 13(1): 103-124 (2003)
2002
11		Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger: Generating Parallel Based on Planning Graph Analysis of Predicate/Transition Nets. IC-AI 2002: 440-446
10	EE	Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen: Modeling and verifying multi-agent behaviors using predicate/transition nets. SEKE 2002: 193-200
2001
9		John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz: CAST: Collaborative Agents for Simulating Teamwork. IJCAI 2001: 1135-1144
1999
8	EE	Xiaocong Fan, Dianxiang Xu, Guoliang Zheng: Reasoning about Inheritance and Cloning Behaviors of Software Agents. TOOLS (31) 1999: 77-82
7		Dianxiang Xu: A Type System of Logic Objects. SIGPLAN Notices 34(2): 52-56 (1999)
1998
6	EE	Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng: SPLAW: A Computable Agent-Oriented Programming Language. ISORC 1998: 144-145
5	EE	Dianxiang Xu: A logic based language for networked agents. Information & Software Technology 40(8): 435-442 (1998)
4	EE	Dianxiang Xu: Towards an object-oriented logic framework for knowledge based systems. Knowl.-Based Syst. 10(6): 351-357 (1998)
3		Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng: SPLAW: A Computable Language for Agent-oriented Programming. SIGPLAN Notices 33(1): 61-69 (1998)
1995
2		Dianxiang Xu, Guoliang Zheng: Logical Objects with Constraints. SIGPLAN Notices 30(1): 5-10 (1995)
1994
1		Shifu Chen, Dianxiang Xu: KBMDL: A Knowledge Based Model Description Language for Decision Support. ICTAI 1994: 696-699

Coauthor Index

1	Izzat Alsmadi	[32]
2	Priti Borse	[16]
3	Shifu Chen	[1] [17]
4	Zhaojian Chen	[23]
5	Peter J. Clarke	[18]
6	Yi Deng	[13] [18]
7	Junhua Ding	[13] [18]
8	Xiaocong Fan	[3] [6] [8]
9	Vivek Goel	[22] [29]
10	Ken Grigsby	[16]
11	Xudong He	[18]
12	Thomas R. Ioerger	[9] [10] [11] [12] [15]
13	Hou Jianmin	[3] [6]
14	Wu-Jun Li	[17] [23]
15	Bin Luo	[23]
16	Michael S. Miller	[9] [14] [15]
17	Kendall E. Nygard	[16] [19] [25] [26] [29]
18	Joshua J. Pauli	[20] [21] [24] [27] [28]
19	Jesse Plymale	[14]
20	Richard A. Volz	[9] [10] [11] [12] [14] [15]
21	Chong-Jun Wang	[17] [23]
22	W. Eric Wong	[31]
23	Weifeng Xu	[19] [30] [31] [32]
24	John Yen	[9] [10] [12]
25	Jianwen Yin	[9] [13]
26	Guoliang Zheng	[2] [3] [6] [8]

Colors in the list of coauthors