Selected Publications

 

Journal Articles

  1. Jun Kong, Dianxiang Xu, and Xiaoqin Zeng. UML-based Modeling and Analysis of Security Threats. International Journal of Software Engineering and Knowledge Engineering, to appear.
  2. Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang, Aspect-Oriented Modeling and Verification with Finite State Machines, Journal of Computer Science and Technology, 24(5): 949-961, Sept. 2009.
  3. Dianxiang Xu, Weifeng Xu, and W. Eric Wong, Automated Test Code Generation from Class State Models, International Journal of Software Engineering and Knowledge Engineering, 19(4): 599-623, June 2009.
  4. Jun Kong, Kang Zhang, Jing Dong, and Dianxiang Xu, Specifying Behavioral Semantics of UML Diagrams through Graph Transformations, Journal of Systems and Software, 82(2): 292-306 (2009).
  5. Dianxiang Xu, Weifeng Xu, and W. Eric Wong, Testing Aspect-Oriented Programs with UML Design Models, International Journal of Software Engineering and Knowledge Engineering, Vol. 18, No. 3, pp. 413-437, May 2008.
  6. Dianxiang Xu, Vivek Goel, Kendall Nygard, and W. Eric Wong. Aspect-Oriented Specification of Threat-Driven Security Requirements, International Journal of Computer Applications in Technology, Special Issue on Concern Oriented Software Evolution. Vol. 31, Nos. 1/2, pp. 131-140, 2008. 
  7. Martin C. Lundell, Dianxiang Xu, Denver Tolliver, and Kendall E. Nygard. A Multi-Agent Design for Sense and Respond Logistics Simulation, World Review of Intermodal Transportation Research, Special Issue on Computer Simulation in Transportation Research, Vol. 1, No. 4, 2007, pp. 459-471.
  8. Junhua Ding, Peter J. Clarke, Dianxiang Xu, Yi Deng, Xudong He. A Formal Model-Based Approach for Developing an Interoperable Mobile Agent System. Multi-Agent and Grid Systems: An International Journal. Special Issue on Agent-oriented Software Development Methodologies, Volume 2, Number 4, pp. 401-412, 2006.
  9. Dianxiang Xu and Joshua Pauli. Threat-Driven Design and Analysis of Secure Software Architectures. Journal of Information Assurance and Security, Vol.1, No. 3, pp. 171-180, 2006.
  10. 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.
  11. Dianxiang Xu, Richard A. Volz, Michael S. Miller, and Jesse Plymale. Knowledge-Based Human-Agent Teamwork for Distributed Training. International Journal of Intelligent Control and Systems. Vol. 11, No. 1, pp. 1-10, March 2006.
  12. Junhua Ding, Dianxiang Xu, Xudong He, and Yi Deng. Modeling and Analyzing a Mobile Agent-based Clinical Information System. International Journal of Intelligent Control and Systems. Vol. 10, No. 2, pp.143-151, June 2005.
  13. Sen Cao, Richard. A. Volz, Jamison Johnson, Maitreyi Nanjanath, Jonathan Whetzel, and Dianxiang Xu, Development of a Distributed Multi-Player Computer Game for Scientific Experiment of Team-Training Protocols, The Electronic Library – The Int. J. for the Applications of Technology in Information Environments. Vol. 22 No. 1, pp. 43-54, 2004.
  14. 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, January 2003. 
  15. Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, and John Yen,  Modeling and Analyzing Multi-Agent Behaviors Using Predicate/Transition Nets, International Journal of Software Engineering and Knowledge Engineering, vol. 13, no. 1, pp.103-124, February 2003.
  16. 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.
  17. Xiaocong Fan, Dianxiang Xu, Jianmin Hou, and Guoliang Zheng, Reasoning about Concurrent Actions in Multi-Agent Systems, Journal of Computer Science and Technology, vol.14, no.4, pp. 422-428, July 1999.
  18. Dianxiang Xu, Guoliang Zheng, and Xiaocong Fan, A Logic Based Language for Networked Agents, Information and Software Technology, vol.40, no.8, pp. 435-442, August 1998.
  19. Dianxiang Xu, Towards an Object-Oriented Logic Framework for Knowledge Based Systems, Knowledge Based Systems, vol.10, no.6, pp. 351-358, April 1998.
  20. Dianxiang Xu and Guoliang Zheng, Towards a Declarative Semantics of Inheritance with Exceptions, Journal of Computer Science and Technology, Vol.11, No.1, pp. 61-71, 1996.

 

Book Chapters

  1. Dianxiang Xu, Software Security, Wiley Encyclopedia of Computer Science and Engineering, B. W. Wah (Editor-In-Chief), Volume 5, pages 2703-2716, John Wiley & Sons, Inc., Hoboken, NJ, January 2009.

 

Conference and Workshop Papers

  1. Sathish Pinagapani, Dianxiang Xu, and Jun Kong, A Comparative Study of Access Control Languages, Proc. of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI’09), Shanghai, China, July 8-10, 2009.
  2. Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu, Security Test Generation using Threat Trees, Fourth International Workshop on the Automation of Software Test (AST’09), in conjunction with ICSE'09, Vancouver, Canada, May 18-19, 2009.
  3. Weifeng Xu and Dianxiang Xu, Automated Evaluation of Runtime Object States Against Model-Level States for State-Based Test Execution, The 5th Workshop on Advances in Model Based Testing (A-MOST’09), in conjunction with ICST'09, Denver, Colorado, USA, April 1st, 2009.
  4. Zhanqi Cui, Linzhang Wang, Xuandong Li, and Dianxiang Xu. Modeling and Integrating Aspects with UML Activity Diagrams, Proc. of the 24th ACM Symposium on Applied Computing (SAC’09), Software Engineering Track, March 8-12, 2009, Hawaii, USA.
  5. Omar El-Ariss,  Dianxiang Xu,  W. Eric Wong,  Yuting Chen, Yann-Hang Lee, A Systematic Approach for Integrating Fault Trees into System Statecharts, Proc. of the 32nd IEEE Computer Software and Applications Conference (COMPSAC 2008), July 2008, Turku, Finland.
  6. Jun Kong and Dianxiang Xu. A UML-based Framework for Design and Analysis of Secure Software, Proc. of the 32nd IEEE Computer Software and Applications Conference (COMPSAC 2008), July 2008, Turku, Finland.
  7. Martin Lundell, Dianxiang Xu, Jonathan Pikalek, and Kendall E. Nygard, Multi-agent Designs for Ambient Systems, Proc. of the First International Conference on Ambient Media and Systems (Ambi-sys'08), Quebec City, Canada, Feb. 2008.
  8. Dianxiang Xu, Weifeng Xu, and W. Eric Wong. Automated Test Code Generation from UML Protocol State Machines, Proc. of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), Boston, July 2007.
  9. Dianxiang Xu, Izzat Alsmadi, and Weifeng Xu, Model Checking Aspect-Oriented Design Specification, Proc. of the 31st IEEE International Computer Software and Applications Conference (COMPSAC'07), Vol. 1. pp. 491-500, Beijing, July 2007.
  10. Linzhang Wang, W. Eric Wong, and Dianxiang Xu. A Threat Model Driven Approach for Security Testing, The 3rd International Workshop on Software Engineering for Secure Systems (SESS'07), in conjunction with ICSE’07. May 2007, Minneapolis.
  11. Dianxiang Xu and Xudong He. Generation of Test Requirements from Aspectual Use Cases. Proc. of the Third Workshop on Testing Aspect-Oriented Programs (WTAOP’07). In conjunction with AOSD’07, pp. 17-22, March 2007, Vancouver, Canada. ACM Press.
  12. Dianxiang Xu, Vivek Goel, and Kendall Nygard. An Aspect-Oriented Approach to Security Requirements Analysis. Proc. of the 30th IEEE International Computer Software and Applications Conference (COMPSAC'06), pp. 79-82, Chicago, Sept. 2006.
  13. Josh Pauli and Dianxiang Xu. Integrating Functional and Security Requirements with Use Case Decomposition. Proc. of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’06), pp. 57-66, USA, August 2006.
  14. Weifeng Xu and Dianxiang Xu. State-Based Testing of Integration Aspects. Second Workshop on Testing of Aspect-Oriented Programs (WTAOP’06). In conjunction with ISSTA’06, July 2006, USA. ACM Press.
  15. Josh Pauli and Dianxiang Xu. Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems. Proc. of the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE'06), CA., USA, July 2006.
  16. 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, March 20-24, 2006. Bonn, Germany. (Slides)
  17. Dianxiang Xu and Kendall Nygard. A Threat-Driven Approach to Modeling and Verifying Secure Software. Proc. of the 2005 IEEE/ACM International Conference on Automated Software Engineering (ASE'05), pp. 342-346, November 7-11, 2005. California, USA.
  18. Dianxiang Xu, Weifeng Xu, and Kendall Nygard. A State-Based Approach to Testing Aspect-Oriented Programs. Proc. of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pp. 366-371, July 14-16, Taiwan.
  19. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He. Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. Proc. of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pp. 560-565, July 14-16, Taiwan.
  20. Josh Pauli and Dianxiang Xu. Threat-Driven Architectural Design of Secure Information Systems. Proc. of the 7th International Conference on Enterprise Information Systems (ICEIS’05), pp. 136-143. Miami, May 2005.
  21. Josh Pauli and Dianxiang Xu. Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. Proc. of the 3rd International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS’05), pp. 89-95, Miami, May 2005. INSTICC Press.
  22. Wujun Li, Chongjun Wang, Dianxiang Xu, Bin Luo, and Zhaoqian Chen. A Study on Illumination Invariant Face Recognition Methods Based on Multiple Eigenspaces. Proc. of the Second International Symposium on Neural Networks (ISNN'05), China, May 2005. LNCS 3497, Springer-Verlag.
  23. Dianxiang Xu and Vivek Goel. An Aspect-Oriented Approach to Mobile Agent Access Control. Proc. of the International Conference on Information Technology: Coding and Computing (ITCC’05), Vol. I, pp. 668-673. IEEE Computer Society, April 2005.
  24. Josh Pauli and Dianxiang Xu. Misuse Case-Based Design and Analysis of Secure Software Architecture. Proc. of the International Conference on Information Technology: Coding and Computing (ITCC’05), Vol. II, pp. 398-403, IEEE Computer Society, April 2005.
  25. Weifeng Xu and Dianxiang Xu. A Model-Based Approach to Test Generation for Aspect-Oriented Programs. First Workshop on Testing Aspect-Oriented Programs (WTAOP'05). In conjunction with AOSD'05, Chicago, March 2005.
  26. Wujun Li, Chongjun Wang, Dianxiang Xu, and Shifu Chen. Illumination Invariant Face Recognition Based on Neural Network Ensemble. Proc. of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI04), pp.486-490, IEEE Computer Society, Nov. 2004.
  27. Dianxiang Xu, Priti Borse, Ken Grigsby, and Kendall. E. Nygard. A Petri Net Based Software Architecture for UAV Simulation. Proc. of the  International Conference on Software Engineering Research and Practice (SERP04), pp. 227-232, June 2004.
  28. Dianxiang Xu, Richard A. Volz, and Michael S. Miller, and Jesse Plymale. Human-Agent Teamwork for Distributed Team Training, Proc. of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI03), pp. 602-607, IEEE Computer Society, Sacramento, Nov. 2003.
  29. Sen Cao, Richard. A. Volz, Jamison Johnson, Maitreyi Nanjanath, Jonathan Whetzel, and Dianxiang Xu, Development of a Distributed Multi-Player Computer Game for Scientific Experiment of Team-Training Protocols, Proc. of the 2nd International Conference on Application and Development of Computer Games (ADCOG’03), Hong Kong, January 2003.
  30. Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, and John Yen,  Modeling and Verifying Multi-Agent Behaviors Using Predicate/Transition Nets, Proc. of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE'02), pp.193-200, Italy, July 2002.
  31. John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, and Richard A. Volz, CAST: Collaborative Agents for Simulating Teamwork, Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI '01), pp. 1135-1142, Seattle, August 2001.
  32. Dianxiang Xu and Yi Deng, Modeling Mobile Agent Systems with High Level Petri Nets, Proc. of the IEEE International Conference on Systems, Man, and Cybernetics (SMC'00), pp. 3177-3182, Nashville, October 2000.