Dianxiang Xu

	2009
43		Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
42		Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from Class State Models. International Journal of Software Engineering and Knowledge Engineering 19(4): 599-623 (2009)
41		Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu: Specifying behavioral semantics of UML diagrams through graph transformations. Journal of Systems and Software 82(2): 292-306 (2009)
	2008
40		Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee: A Systematic Approach for Integrating Fault Trees into System Statecharts. COMPSAC 2008: 120-123
39		Jun Kong, Dianxiang Xu: A UML-Based Framework for Design and Analysis of Dependable Software. COMPSAC 2008: 28-31
38		Dianxiang Xu: Software Security. Wiley Encyclopedia of Computer Science and Engineering 2008
37		Dianxiang Xu, Vivek Goel, Kendall E. Nygard, W. Eric Wong: Aspect-oriented specification of threat-driven security requirements. IJCAT 31(1/2): 131-140 (2008)
36		Dianxiang Xu, Weifeng Xu, W. Eric Wong: Testing Aspect-Oriented Programs with UML Design Models. International Journal of Software Engineering and Knowledge Engineering 18(3): 413-437 (2008)
	2007
35		Dianxiang Xu, Izzat Alsmadi, Weifeng Xu: Model Checking Aspect-Oriented Design Specification. COMPSAC (1) 2007: 491-500
34		Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from UML Protocol State Machines. SEKE 2007: 99-104
	2006
33		Dianxiang Xu, Weifeng Xu: State-based incremental testing of aspect-oriented programs. AOSD 2006: 180-189
32		Dianxiang Xu, Vivek Goel, Kendall E. Nygard: An Aspect-Oriented Approach to Security Requirements Analysis. COMPSAC (2) 2006: 79-82
31		Joshua J. Pauli, Dianxiang Xu: Integrating Functional and Security Requirements with Use Case Decomposition. ICECCS 2006: 57-66
30		Joshua J. Pauli, Dianxiang Xu: Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. SEKE 2006: 392-397
29		Weifeng Xu, Dianxiang Xu: State-based testing of integration aspects. WTAOP 2006: 7-14
28		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)
27		Junhua Ding, Peter J. Clarke, Dianxiang Xu, Xudong He, Yi Deng: A formal model-based approach for developing an interoperable mobile agent system. Multiagent and Grid Systems 2(4): 401-412 (2006)
	2005
26		Dianxiang Xu, Kendall E. Nygard: A threat-driven approach to modeling and verifying secure software. ASE 2005: 342-346
25		Dianxiang Xu, Joshua J. Pauli: Threat-Driven Architectural Design of Secure Information Systems. ICEIS (3) 2005: 136-143
24		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
23		Dianxiang Xu, Vivek Goel: An Aspect-Oriented Approach to Mobile Agent Access Control. ITCC (1) 2005: 668-673
22		Joshua J. Pauli, Dianxiang Xu: Misuse Case-Based Design and Analysis of Secure Software Architecture. ITCC (2) 2005: 398-403
21		Joshua J. Pauli, Dianxiang Xu: Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. MSVVEIS 2005: 89-95
20		Dianxiang Xu, Weifeng Xu, Kendall E. Nygard: A State-Based Approach to Testing Aspect-Oriented Programs. SEKE 2005: 366-371
19		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
18		Wu-Jun Li, Chong-Jun Wang, Dianxiang Xu, Shifu Chen: Illumination Invariant Face Recognition Based on Neural Network Ensemble. ICTAI 2004: 486-490
17		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
16		Sen Cao Richard, Richard A. Volz, Jamison Johnson, Jonathan Whetzel, Dianxiang Xu, Maitreyi Nanjanath: Development of a distributed multi-player computer game for scientific experimentation of team training protocols. The Electronic Library 22(1): 43-54 (2004)
	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		Dianxiang Xu, Richard A. Volz, Michael S. Miller, Jesse Plymale: Human-Agent Teamwork for Distributed Team Training. ICTAI 2003: 602-
13		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		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		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		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		Xiaocong Fan, Dianxiang Xu, Hou Jianmin, Guoliang Zheng: SPLAW: A Computable Agent-Oriented Programming Language. ISORC 1998: 144-145
5		Dianxiang Xu: A logic based language for networked agents. Information & Software Technology 40(8): 435-442 (1998)
4		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	[35]
2	Omar el Ariss	[40]
3	Priti Borse	[17]
4	Shifu Chen	[1] [18]
5	Yuting Chen	[40]
6	Zhaojian Chen	[24]
7	Peter J. Clarke	[19] [27]
8	Zhanqi Cui	[43]
9	Yi Deng	[13] [19] [27]
10	Junhua Ding	[13] [19] [27]
11	Jing Dong	[41]
12	Xiaocong Fan	[3] [6] [8]
13	Vivek Goel	[23] [32] [37]
14	Ken Grigsby	[17]
15	Xudong He	[19] [27]
16	Thomas R. Ioerger	[9] [10] [11] [12] [15]
17	Hou Jianmin	[3] [6]
18	Jamison Johnson	[16]
19	Jun Kong	[39] [41]
20	Yann-Hang Lee	[40]
21	Wu-Jun Li	[18] [24]
22	Xuandong Li	[43]
23	Bin Luo	[24]
24	Michael S. Miller	[9] [14] [15]
25	Maitreyi Nanjanath	[16]
26	Kendall E. Nygard	[17] [20] [26] [28] [32] [37]
27	Joshua J. Pauli	[21] [22] [25] [30] [31]
28	Jesse Plymale	[14]
29	Sen Cao Richard	[16]
30	Richard A. Volz	[9] [10] [11] [12] [14] [15] [16]
31	Chong-Jun Wang	[18] [24]
32	Linzhang Wang	[43]
33	Jonathan Whetzel	[16]
34	W. Eric Wong	[34] [36] [37] [40] [42]
35	Weifeng Xu	[20] [29] [33] [34] [35] [36] [42]
36	John Yen	[9] [10] [12]
37	Jianwen Yin	[9] [13]
38	Kang Zhang	[41]
39	Guoliang Zheng	[2] [3] [6] [8]

Colors in the list of coauthors