Journals

  1. Jiexin Lian, Sol M. Shatz, Xudong He: "Flexible coordinator design for modeling resource sharing in multi-agent systems", Journal of Systems and Software, Vol. 82, Issue 10, October 2009,1709 – 1729.
  2. J. Ding, P. Clarke, G. Argote, and X. He: “A Methodology for Evaluating Test Adequacy Coverage Criteria of High Level Petri Nets”, Information and Software Technology, vol.51, 2009, 1520-1533.
  3. J. Ding and X. He: “Formal Specification and Analysis of an Agent-Based Medical Image Processing System”, International Journal of Software Engineering and Knowledge Engineering, 2009.
  4. Y. Fu, Z. Dong, and X. He: “An Evolutional Software Architecture Model”, International Journal of Software Architecture, 2009.
  5. L. Chang, J. Ding, X. He, S. Shatz: “A Formal Approach for Modeling Software Agents Coordination”. Comm. of SIWN, vol. 3, 2008, 58-64.
  6. Y Fu, Z. Dong, and X. He: “A Translator of Software Architecture Design from SAM to Java”. International Journal of Software Engineering and Knowledge Engineering, vol. 17, no.6, 2007, 709-755.
  7. J. Ding, P. Clarke, D. Xu, and X. He: “A Formal Model-Based Approach for Developing An Interoperable Mobile Agent System”, The Multi-Agent and Grid Systems – An International Journal, 2006.
  8. J. Ding, D. Xu, Y. Deng, and X. He: “Modeling and Analyzing a Mobile Agent-based Clinic Information System”, International Journal of Intelligent Control Systems, vol. 10, no. 2, June 2005, 143-151.
  9. Y. Deng, J. Wang, X. He, and J. Tsai: “Constraint Propagation and Progressive Verification for Component-based Process Model”, International Journal of Software Engineering and Knowledge Engineering, vol.14, no.5, 2004, 471-496.
  10. X. He, H. Yu, T. Shi, J. Ding, and Y. Deng: “Formally Analyzing Software Architectural Specifications Using SAM”, Journal of Systems and Software, vol.71, no.1-2, 2004, 11-29.
  11. X. He, W. Chu, and H. Yang: “A New Approach to Verify Rule-Based Systems using Petri Nets”, Information and Software Technology, vol.45, no.10, 2003, 663-670.
  12. H. Zhu and X. He: “A Methodology for Testing High-Level Petri Nets”, Information and Software Technology, vol.44, 2002, 473-489.
  13. D. Xu, X. He, and Y. Deng: “Schedulability Analysis of Real-Time Systems Using Time Petri Nets”, IEEE Transaction on Software Engineering, vol.28, no.10, 2002, 984-996.
  14. X. He and Y. Deng: “A Framework for Developing and Analyzing Software Architecture Specifications in SAM”, The Computer Journal, vol.45, no.1, 2002, 111-128.
  15. X. He: "PZ Nets - A Formal Method Integrating Petri Nets with Z", Information and Software Technology , vol.43, no.1, 2001, 1-18.
  16. W. Chu, C. Lu, H. Yang, and X. He: “A Formal Approach for Component Retrieval and Integration Analysis”, Journal of Software Maintenance, vol.12, no.6, 2000, 325-342.
  17. X. He and Y. Deng: “Specifying Software Architectural Connectors in SAM”, International Journal of Software Engineering and Knowledge Engineering, vol.10, no.4, 2000, 411-431.
  18. W. Chu, C. Lu, C. Shiu and X. He: “Pattern Based Software Re-engineering: A Case Study”, Journal of Software Maintenance, vol.12, no.2, 2000, 121-141.
  19. X. He: “Translating Hierarchical Predicate Transition Nets into CC++ Programs”, Information and Software Technology, vol.42, no.7, 2000, 475-488.
  20. J. Wang, X. He, and Y. Deng,: “Introducing Architectural Specification and Analysis in SAM through An Example”, Information and Software Technology, vol. 41, 1999, 451-467.
  21. W. Yao, W. Perrizo and X. He: "An Improved Algorithm for Concurrency Control in Distributed Database Systems", Information Sciences, vol.103, no.1-4, 1997, 23-36.
  22. W. Yao and X. He: "Mapping Petri Nets to Concurrent Programs in CC++", Information and Software Technology, vol.39, 1997, 485-495.
  23. C. Kan and X. He: "A Method for Constructing Algebraic Petri Nets", Journal of Systems and Software, vol.35, 1996, 12-27.
  24. C. Kan and X. He: "Deriving Algebraic Petri Nets Specifications from Structured Analysis - A Case Study", Information and Software Technology, vol.37, no.8, 1995, 411-434.
  25. C. Kan and X. He: "High Level Algebraic Petri Nets", Information and Software Technology, vol.37, no.1, 1995, 23-30.
  26. X. He: "Temporal Predicate Transition Nets - A New Formalism for Specifying and Verifying Concurrent Systems", International Journal of Computer Mathematics, vol.45, no.1/2, 1992, 171-184.
  27. X. He and J.A.N. Lee: "A Methodology for Constructing Predicate Transition Net Specifications", Software - Practice & Experience, vol. 21, no.8, 1991, 845-875.
  28. J.A.N. Lee and X. He: "A Methodology for Test Selection", Journal of Systems and Software, vol.13, no.3, 1990, 177-185.
  29. X. He and J.A.N. Lee: "Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems", Formal Aspects of Computing, vol.2, no.3, 1990, 226-246.
  30. X. He and J.A.N. Lee: "A Comparison of Formal Definitions of Ada Tasking", ADATECH (French), no. 10, November-December, 1989, 34-55.
  31. X. He and J. Xu: "The Design of the Static Denotational Semantics of XCY", Journal of Computer Research and Development (Chinese), no.7, 1985, 50-55.

Book and Book Chapters

  1. Zhijiang Dong, Yujian Fu, Xudong He and Yue Fu:"Formalizing and Validating UML Architecture Description of Service-Oriented Applications", Petri Net, Theory and Applications, I-Tech Education and Publishing, Vienna, Austria, 2008, 497-524
  2. T. Shi and X. He: “Specification and Analysis of Software Architectures”, VDM Publishing, Germany, 2007
  3. X. He, H. Yu, Y. Deng: “Formal Methods for Specifying and Analyzing Complex Software Systems”, Advances in Machine Laerning Application in Software Engineering (ed. Du Zhang and Jeffrey Tsai), Idea Group Publishing, 2007, Chapter 13, 319-345.
  4. X. He: “Formalizing and Analyzing UML Use Case Diagrams using Hierarchical Predicate Transition Nets”, Software Evolution with UML and XML (ed. Hongji Yang), The Idea Group Publishing, 2005, 151-179.
  5. H. Zhu and X. He: “A Methodology for Component Integration Testing”, Testing Commercial-off-the-Shelf Components and Systems (eds. Sami Beydeda and Volker Gruhn), Springer, 2005, 239-272.
  6. X. He and T. Murata: “High-Level Petri Nets – Extensions, Analysis, and Applications”, Electrical Engineering Handbook (ed. Wai-Kai Chen), Elsevier Academic Press, 2005, 459-476.
  7. X. He and Y. Ding: "Object Orientation in Hierarchical Predicate Transition Nets", Lecture Notes in Computer Science, vol.2001, 2001, 196-215.

Refereed Conference Papers

  1. Yujian Fu, Zhijiang Dong, Xudong He: "Modular Verification of Software Architecture Model", Proc. of the International Conference on Software Engineering Research and Practice (SERP'09), Las Vegas, 2009
  2. Lily Chang, and Xudong He: "Towards Adaptable BDI Agent: a Formal Aspect-Oriented Modeling Approach", Proc. of the International Conference on Software Engineering and Knowledge Engineering (SEKE09), Boston, July, 2009.
  3. R. Zeng, J.Liu, and X. He:"A Formal Specification of Mondex Using SAM", Proc. of Service Oriented System Engineering, Taiwan, Dec. 2008
  4. Y. Fu, Z. Dong, J. Ding, and X. He:"Mapping Software Architecture Specification to Rewriting Logic", Proc. of the 8th International Conference on Software Quality (QSIC’08),Oxford, U.K., Aug., 2008
  5. L. Chang, X. He, J. Lian, and S. Shatz: "Applying a Nested Petri Net Modeling Paradigm to Coordination of Sensor Networks with Mobile Agents", Proc. of Workshop on Petri Nets and Distirbuted Systems 2008, Xian, China, June, 2008, 132-145
  6. G. Argote, P. Clarke, X. He, Y. Fu, and L. Shi: "A Formal Approach for Translating a SAM Architecture to PROMELA", Proc. of the International Conference on Software Engineering and Knowledge Engineering (SEKE08), San Francisco, July, 2008.
  7. J. Ding, G. Argote, P. Clarke, and X. He: “Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin”, Proc. of the 3rd Workshop on Automation of Software Testing, Leipzig, Germany, 11 May 2008.
  8. J. Ding, L. Mo, and X. He: “An Approach for Specification Construction Using Property Preserving Refinement Patterns”, Proc. of the 23rd ACM Symposium on Applied Computing, Fortaleza, Ceará, Brazil, March 16 – 20, 2008.
  9. Y. Fu, Z. Dong, G. Argote, L. Shi, and X. He: “An Approach to Validating Translation Correctness from SAM to Java”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering (SEKE07), Boston, July, 2007.
  10. A. Lian, S. Shatz, and X. He: “Component Based Multi-Agent System Modeling and Analysis: A Case Study”, Proc. of the 2007 International Conference on Software Engineering Research and Practice (SERP'07), Las Vegas, June 25-28, 2007.
  11. D. Xu and X. He: “Generation of Test Requirements from Aspectual Use Cases”, Proc. of the 3rd Workshop on Testing of Aspect-Oriented Programs (WTAOP07), March 12-13, 2007 Vancouver, British Columbia, Canada.
  12. Y. Fu, Z. Dong, and X. He: “A Method for Realizing Software Architecture Design”, Proc. of the 6th International Conference on Software Quality (QSIC’06),Beijing, China., Oct., 2006.
  13. Y. Fu, Z. Dong, and X. He: “Modeling, Validating and Automating Composition of Web Services”, Proc. of the 6th International Conference on Web Engineering, Palo Alto, California, U.S.A., July, 2006, 217-224.
  14. Y. Huang, and X. He: “A Method for Modeling Object-Oriented Systems with PZ Nets”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering (SEKE06), San Francisco, 2006, 456-462.
  15. H. Yu, D. Liu, Z. Shao, and X. He: “Modeling Complex Software Systems using As Aspect-oriented Extension of Object-Z”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering (SEKE06), San Francisco, 2006, 11-16.
  16. W. Sun, T. Shi, G. Argote, Y. Deng, and X. He: “Achieving Better System Design through Formal Modeling and Analysis”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering (SEKE06), San Francisco, 2006, 463-468.
  17. Z. Dong, Y. Fu, and X. He: “A Framework for Component-Based System Modeling”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering (SEKE06), San Francisco, 2006, 290-295.
  18. Y. Fu, Z. Dong, and X. He: “An Approach to Web Services oriented Modeling and Validation”, Proc. of International Workshop on Service-Oriented Software Engineering, Shanghai, China, May, 2006.
  19. Z. Dong, Y. Fu, and X. He: “UML Consistency Checking through Transformation based Petri Net Framework”, Proc. of Workshop on Consistency in Model Driven Engineering, Germany, Nov. 2005.
  20. Y. Fu, Z. Dong, and X. He: “An Approach to Validation of Software Architecture”, Proc. of the 12th Asia-Pacific Software Engineering Conference, Taiwan, Dec. 2005.
  21. J. Ding, Z. Dai, J. Wang, and X. He: “Formally Modeling and Analyzing a Secure Mobile Agent Finder”, Proc. of the IEEE Conference on System, Man, and Cybernetics, Hawaii, 2005.
  22. Z. Dong, Y. Fu, and X. He: “An Integrated Run-Time Monitoring Framework for Software Architecture Verification”, Proc. of the 9th IASTED International Conference on Software Engineering and Applications, Phoenix, Nov. 2005.
  23. H. Yu, D. Liu, L. Yang, X. He : “Formal Aspect-oriented Modeling and Analysis by AspectZ”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering, Taipei, Taiwan, 2005, 175-180.
  24. Y. Fu, Z. Dong, and X. He: “A Methodology of Automated Realization of A Software Architecture Design”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering, Taipei, Taiwan, 2005, 412-417.
  25. J. Ding, D. Xu, Y. Deng, P. Clarke, X. He: “Design of an Interoperable Mobile Agent System based on predicate Transition Net Model”, Proc. of the International Conference on Software Engineeering and Knowledge Engineering, Taipei, Taiwan, 2005, 560-565.
  26. H. Yu, D. Liu, X. He, L. Yang, and S. Gao: “Secure Software Architecture Design by Aspect-Orientation”, Proc. of the 10th IEEE Conference on Engineering Complex Computer Syetsms, Shanghai, China, 2005.
  27. X. He: “A Framework for Ensuring System Dependability from Design to Implementation”, Proc. of the 3rd International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems, Miami, 2005, 3-12.
  28. Z. Dai, X. He, J. Ding, and S. Gao: “Modeling and Analyzing Security Protocols in SAM: A Case Study”, Proc. of IASTED International Conference on Software Engineering and Applications (SEA 2004), Cambridge, MA, 2004.
  29. S. Gao, Y. Deng, H. Yu, X. He, K. Beznosov, K. Cooper: “Applying Aspect-Orientation in Designing Security Systems - A Case Study”, Proc. of International Conference on Software Engineeering and Knowledge Engineering 2004, Banff, Canada, 2004.
  30. H. Yu, X. He, Y. Deng, L. Mo: “Integrating Security Administration into Software Architecture Design”, Proc. of International Conference on Software Engineeering and Knowledge Engineering 2004, Banff, Canada, 2004.
  31. H. Yu, X. He, Y. Deng, L. Mo: “A Formal Approach to Design Secure Software Architectures”, Proc. of IEEE High Assurance Systems Engineering Conference, Tampa, FL, 2004.
  32. H. Reza and X. He: “An Integrated Method to Software Architecture”, Proc. of SEKE 2003, CA, 2003, 398-405.
  33. Z. Dong, Y. Fu, and X. He: “Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams – A Case Study”, Proc. of SEKE 2003, California, 2003, 150-157.
  34. H. Yu, X. He, S. Gao, and Y. Deng: “Formal Software Architecture Design of Secure Distributed Systems”, Proc. of SEKE 2003, California, 2003, 450-457.
  35. H. Reza and X. He: “Pattern-Based Software Architecture: A Case Study”, Proc. of the IEEE International Conference on Information Technology: Coding and Computing, Las Vegas, 2003, 592-597.
  36. T. Shi and X. He: “Dependeability Analysis using SAM”, Proc. of the ICSE Workshop on Software Architectures for Dependable Systems, May 3, Portland, Oregon, USA, 2003, 37-42.
  37. T. Shi and X. He: “A Methodology for Dependability and Performability Analysis In SAM”, Proc. of The International Conference on Dependable Systems and Networks, San Francisco, CA, June 2003, 679-688.
  38. H. Yu, X. He, , S. Gao and Y. Deng: “Modeling and Analyzing SMIL Documents in SAM”, Proc. of MSE2002, Newport Beach, California, Dec. 2002, 132-139.
  39. H. Yu, X. He, Y. Deng, and L. Mo: “Formal Analysis of Real-Time Systems with SAM”, Proc. of the 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, vol.2495, October, Shanghai, China, 2002, 275-286.
  40. H. Yu, X. He, Y. Deng, and L. Mo: “A Formal Method for Analyzing Software Architecture Models in SAM”, Proc. of COMPSAC2002, Oxford, U.K., 2002, 645-652.
  41. X. He, J. Ding, and Y. Deng: “Analyzing SAM Architectural Specifications Using Model Checking”, Proc. of SEKE2002, Italy, 2002, 271-274.
  42. H. Reza and X. He: “Petri Net Patterns: Elements of Reusable Petri Net Specifications”, Proc. of the 2002 International Conference on Software Engineering Research and Practice, Las Vegas, July, 2002, 173-179.
  43. T. Shi and X. He: “Modeling and Analyzing the Software Architecture of A Communication Protocol Using SAM”, Software Architecture- System Design, Development and Maintenance (eds. J. Bosch, M. Gentleman, C. Hofmeister, and J. Kuusela), Kluwer Academic Publishers, 2002, 63-78.
  44. Z. Dong and X. He: “Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets”, Lecture Notes in Informatics, vol. P-7, 2001, 99-112.
  45. X. Liu, Y. Deng, and X. He: “Development of A Distributed Time Petri Net Simulator in the SAM Framework”, Proc. of the Symp. On Performance Evaluation of Computer and Telecommunication Systems, Orlando, 2001, 223-230.
  46. H. Zhu and X. He: “An Observation Theory of Integration Testing for Component-Based Software Development”, Proc. of the 25th International Computer Software and Application Conference (COMPSAC'2001), Chicago, 2001, 363-370.
  47. H. Zhu and X. He: “Constructions of Behavior Observation Schemes in Software Testing”, Proc. Of the 5th High Assurance Computer Systems (HASE2000), New Mexico, Nov. 2000, 7-16.
  48. X. He: “Formalizing Class Diagrams Using Hierarchical Predicate Transition Nets”, Proc. of the 24th International Computer Software and Application Conference (COMPSAC'2000), Taiwan, Oct., 2000, 217-222.
  49. S. Lewandowski and X. He: “Automating the Generation of Code for A Hierarchical Predicate Transition Net Based Design”, Proc. of the 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, July, 2000, 15-22.
  50. H. Zhu and X. He: “A Theory of Testing High-Level Petri Nets”, Proc. of the IFIP 16th World Computer Congress, Beijing, China, August, 2000, 443-450.
  51. X. He: “Formalizing Use Case Diagrams in Hierarchical Predicate Transition Nets”, Proc. of the IFIP 16th World Computer Congress, Beijing, China, August, 2000, 484-491.
  52. W. Chu, C. Lu, C. Shiu and X. He: “Pattern Based Software Re-engineering: A Case Study”, Proc. of the Asia Pacific Software Engineering Conference (APSEC’99), 1999, 300-308.
  53. S. Zhou, H. Yang, P. Luker, W. Chu, and X.He: "A Useful Approach to Developing Reverse Engineering Metrics", Proc. of the 23rd International Computer Software and Application Conference (COMPSAC'99), Pheonix, 1999, 320-321.
  54. W. Chu, J.Shiu, C. Lu, and X. He: "A Semi-Formal Approach to Assist Software Design with Reuse", Proc. of International Conference on Software Maintenance (ICSM'99), Oxford, England, 1999, 256-264.
  55. X. He, F. Zeng, and Y. Deng: "Specifying Software Architectural Connectors in SAM", Proc. of 11th International Conf. on Software Engineering and Knowledge Engineering (SEKE’99), Kaiserlautern, Germany, 1999, 144-151.
  56. X. He, W. Chu, H. Yang, and S. Yang: “A Reachability Graph Technique for Verifying Rule Based Systems”, Proc. of the 23rd International Computer Software and Application Conference (COMPSAC’99), Pheonix, Arizona, 1999.
  57. J. Wang, Y. Deng, and X. He: “A Formal Architectural Specification Model for Real-Time Systems”, Proc. of the IASTED Conference on Software Engineering , Las Vegas, 1998, 11-14.
  58. S. Lewandowski and X. He: “A Java Framework for Implementing Hierarchical Predicate Transition Nets”, Proc. of the 10th International Conference on Software Engineering and Knowledge Engineering (SEKE’98), San Francisco, 1998, 261-268.
  59. X. He: "Transformations on Hierarchical Predicate Transition Nets: Abstractions and Refinements", Proc. of the 22nd International Computer Software and Application Conference (COMPSAC’98), Vienna, Austria, 1998, 164-169.
  60. X. He and W. Yao: "From Hierarchical Predicate Transition Nets to CC++ Program Skeletons - Translation Architecture and Rules", Proc. of the 21th Annual International Compouter Software and Applications Conference (COMPSAC'97), Washington, D.C., 1997, 64-69.
  61. X. He and Y. Ding: "Object-Oriented Specification using Hierarchical Predicate Transition Nets", Proc. of 2nd International Workshop on Object-Oriented Programming and Models of Concurrency (OOMC’96), Osaka, Japan, 1996, 72-79.
  62. W. Yao and X. He: "Mapping Petri Nets to Parallel Programs in CC++", Proc. of the 20th Annual International Compouter Software and Applications Conference (COMPSAC'96), Seoul, Korea, 1996, 70-75.
  63. X. He: "A Formal Definition of Hierarchical Predicate Transition Nets", Proc. of the 17th International Conference on Application and Theory of Petri Nets (ICATPN'96), Lecture Notes in Computer Science, vol. 1091, Osaka, Japan, 1996, 212-229.
  64. X. He: "A Method for Analyzing Properties of Hierarchical Predicate Transition Nets", Proc. of the 19th Annual International Computer Software and Applications Conference (COMPSAC'95), Dallas, TX, August, 1995, 50-55.
  65. X. He: "PZ Nets - A Formal Method Integrating Petri Nest with Z", Proc. of the 7th International Conference on Software Engineering and Knowledge Engineering (SEKE'95), Rockvill, MD, June, 1995, 173-180.
  66. C. Kan and X. He: "Algebraic Petri Nets and Their Applications", Proc. of the ACM Annual Computing Science Conference (CSC'94), Phoenix, Arizona, March, 1994, 396-403.
  67. X. He and Y. Ding: "A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets", Proc. of the 12th IFIP World Computer Congress (Information Processing’92), Madrid, Spain, 1992, 127-133.
  68. X. He and C.H. Yang: "Structured Analysis Using Hierarchical Predicate Transition Nets", Proc. of the 16th Int'l Computer Software and Applications Conf. (COMPSAC'92), Chicago, 1992, 212-217.
  69. X. He: "Specifying and Verifying Real-Time Systems Using Time Petri Nets and Real-Time Temporal Logic", Proc. of the 6th Annual Conference on Computer Assurance (COMPASS'91), Gaithersburg, MD, June, 1991, 135-140.
  70. X. He: "Temporal Predicate Transition Nets and Their Applications", Proc. of the 14th Int'l Computer Software and Applications Conference (COMPSAC'90), Chicago, 1990, 261-266.
  71. X. He and J.A.N. Lee: "A New Methodology for Writing Predicate Transition Petri Nets Specifications", Proc. of the 1st Annual Symposium on Parallel and Distributed Processing, Dallas, Texas, May , 1989, 26-27.
  72. X. He and J.A.N. Lee: "Deriving Temporal Logic Specifications from Predicate Transition Petri Net Specifications", Proc. of the 1st Int'l Conference on Software Engineering and Knowledge Engineering (SEKE90), Chicago, June, 1989, 116-121.
  73. X. He, R. Iyengar and J. Roach: "A Systematic Study of Unification", Proc. of the 3rd International Symposium on Knowledge Engineering, Madrid, Spain, Oct. 1988, 27-36.
  74. X. He and J.A.N. Lee: "A Strategy for Integrating Formalisms in Software Development", Proc. of the 6th Annual CIPS Edmonton Computer Conference, Edmonton, Canada, Nov. 1988, 33-42.
  75. X. He, R. Russell and J.W. Dickey: "Workload Analysis Expert System and Optimizer", Proc. of the 7th International Conference on Cybernetics and Systems, London, Sept. 1987, 68-73.