Dianxiang Xu

2009
41	EE	Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
40	EE	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
39	EE	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
38	EE	Jun Kong, Dianxiang Xu: A UML-Based Framework for Design and Analysis of Dependable Software. COMPSAC 2008: 28-31
37	EE	Dianxiang Xu: Software Security. Wiley Encyclopedia of Computer Science and Engineering 2008
36	EE	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)
35	EE	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
34	EE	Dianxiang Xu, Izzat Alsmadi, Weifeng Xu: Model Checking Aspect-Oriented Design Specification. COMPSAC (1) 2007: 491-500
33		Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from UML Protocol State Machines. SEKE 2007: 99-104
2006
32	EE	Dianxiang Xu, Weifeng Xu: State-based incremental testing of aspect-oriented programs. AOSD 2006: 180-189
31	EE	Dianxiang Xu, Vivek Goel, Kendall E. Nygard: An Aspect-Oriented Approach to Security Requirements Analysis. COMPSAC (2) 2006: 79-82
30	EE	Joshua J. Pauli, Dianxiang Xu: Integrating Functional and Security Requirements with Use Case Decomposition. ICECCS 2006: 57-66
29		Joshua J. Pauli, Dianxiang Xu: Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. SEKE 2006: 392-397
28	EE	Weifeng Xu, Dianxiang Xu: State-based testing of integration aspects. WTAOP 2006: 7-14
27	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)
26	EE	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
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	[34]
2	Omar el Ariss	[39]
3	Priti Borse	[16]
4	Shifu Chen	[1] [17]
5	Yuting Chen	[39]
6	Zhaojian Chen	[23]
7	Peter J. Clarke	[18] [26]
8	Zhanqi Cui	[41]
9	Yi Deng	[13] [18] [26]
10	Junhua Ding	[13] [18] [26]
11	Jing Dong	[40]
12	Xiaocong Fan	[3] [6] [8]
13	Vivek Goel	[22] [31] [36]
14	Ken Grigsby	[16]
15	Xudong He	[18] [26]
16	Thomas R. Ioerger	[9] [10] [11] [12] [15]
17	Hou Jianmin	[3] [6]
18	Jun Kong	[38] [40]
19	Yann-Hang Lee	[39]
20	Wu-Jun Li	[17] [23]
21	Xuandong Li	[41]
22	Bin Luo	[23]
23	Michael S. Miller	[9] [14] [15]
24	Kendall E. Nygard	[16] [19] [25] [27] [31] [36]
25	Joshua J. Pauli	[20] [21] [24] [29] [30]
26	Jesse Plymale	[14]
27	Richard A. Volz	[9] [10] [11] [12] [14] [15]
28	Chong-Jun Wang	[17] [23]
29	Linzhang Wang	[41]
30	W. Eric Wong	[33] [35] [36] [39]
31	Weifeng Xu	[19] [28] [32] [33] [34] [35]
32	John Yen	[9] [10] [12]
33	Jianwen Yin	[9] [13]
34	Kang Zhang	[40]
35	Guoliang Zheng	[2] [3] [6] [8]

Colors in the list of coauthors