Bio
Dr. Xu joined Boise State University in August 2013. His prior teaching and research experience has included posts at Dakota State University, North Dakota State University, Texas A&M University, Florida International University, and Nanjing University. He is a senior member of the IEEE.
Education
- Ph.D. Computer Science, Nanjing University, 1995
-
M.S. Computer Science, Nanjing University, 1992
-
B.S. Computer Science, Nanjing University, 1989
Publications
- Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu, Automated Security Test Generation with Formal Threat Models, IEEE Transactions on Dependable and Secure Computing, Vol. 9, No.4, July/August 2012, pp. 525-539.
-
Omar El Ariss, Dianxiang Xu, and W. Eric Wong. Integrating Safety Analysis with Functional Modeling, IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems and Humans, Vol. 41, No. 4, pp. 610-624, July 2011.
-
Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang. Testing Aspect-Oriented Programs with Finite State Machines, Journal of Software Testing, Verification and Reliability, 22: 267-293, 2012.
-
Dianxiang Xu and Kendall E. Nygard. Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. IEEE Transactions on Software Engineering. Vol. 32, No. 4, pp. 265-278, April 2006.
-
Dianxiang Xu, Jianwen Yin, Yi Deng, and Junhua Ding, A Formal Architectural Model for Logical Agent Mobility, IEEE Transactions on Software Engineering, Vol.29, No.1, pp. 31-45, 2003.
-
Dianxiang Xu, Xudong He, and Yi Deng, Compositional Schedulability Analysis of Real Time Systems Using Time Petri Nets, IEEE Transactions on Software Engineering, vol.28, no.10, pp. 984-996, October 2002.
-
Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. A Model-Based Approach to Automated Testing of Access Control Policies. Proc. of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT’12), pp. 209-218, Newark, USA, June 2012.
-
Dianxiang Xu, A Tool for Automated Test Code Generation from High-Level Petri Nets, Proc. of the 32nd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2011), LNCS 6709, pp. 308–317, Newcastle Upon TYNE, UK, June 2011. Springer-Verlag Berlin Heidelberg.
-
Dianxiang Xu and Weifeng Xu. State-Based Incremental Testing of Aspect-Oriented Programs. Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD’06), pp. 180-189. Bonn, Germany. ACM Press, March 2006.
-
Dianxiang Xu and Kendall Nygard. A Threat-Driven Approach to Modeling and Verifying Secure Software. Proc. of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE’05), pp. 342-346. California, USA. ACM Press, November 2005.
Areas Of Interest
- Software security, software engineering, security policy, software testing, computer forensics.