Journals

  1. Dewan Mohammad Moksedul Alam and Xudong He: A Method to Analyze Predicate Transition Nets Using SPIN Model Checker, International Journal of Software Engineering and Knowledge Engineering - IJSEKE,November 2017, Vol. 27, No. 09n10 : pp. 1455-1481.
  2. Xudong He, Zhijiang Dong, Heng Yin, and Yujian Fu: A Framework for Developing Cyber-Physical Systems, International Journal of Software Engineering and Knowledge Engineering - IJSEKE,November 2017, Vol. 27, No. 09n10 : pp. 1361-1386.
  3. Lily Chang and Xudong He: A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets, International Journal of Software Engineering and Knowledge Engineering - IJSEKE, vol.25, no.7, 2015, 1199-1235.
  4. X. He: A Comprehensive Survey of Petri Net Modeling in Software Engineering, International Journal of Software Engineering and Knowledge Engineering - IJSEKE, vol.23, no.5, 2013, 589-626.
  5. Qianmu Li, Ming Zhu, Xudong He, Yong Qi, A Survey of Delay Tolerant Technology in Internet of Things, Advances in Information Sciences and Service Sciences. vol.5, no.6, 2013, 1072-1080.
  6. Lily Chang, Xudong He, and Sol Shatz: A Methodology for Modeling Multi-agent Systems using Nested Petri Nets, International Journal of Software Engineering and Knowledge Engineering - IJSEKE, vol.22, no.7, 2012, 891-926.
  7. Li Qianmu, Hou Jun, LiuTing, He Xudong, Liu Kui, Qi Yong: A Risk Assessment Method on the Implementation of Risk Education, Energy Education Science and Technology Part B, vol. 4, no. SI-1, 2012, 539-543.
  8. Junhua Ding and Xudong He: "Formal Specification and Analysis of an Agent-Based Medical Image Processing System", International Journal of Software Engineering and Knowledge Engineering - IJSEKE , vol. 20, no. 3, pp. 311-345, 2010
  9. 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.
  10. 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.
  11. L. Chang, J. Ding, X. He, S. Shatz: A Formal Approach for Modeling Software Agents Coordination. Comm. of SIWN, vol. 3, 2008, 58-64.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. H. Zhu and X. He: A Methodology for Testing High-Level Petri Nets, Information and Software Technology, vol.44, 2002, 473-489.
  19. 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.
  20. 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.
  21. X. He: "PZ Nets - A Formal Method Integrating Petri Nets with Z", Information and Software Technology , vol.43, no.1, 2001, 1-18.
  22. 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.
  23. 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.
  24. 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.
  25. X. He: Translating Hierarchical Predicate Transition Nets into CC++ Programs, Information and Software Technology, vol.42, no.7, 2000, 475-488.
  26. 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.
  27. 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.
  28. W. Yao and X. He: "Mapping Petri Nets to Concurrent Programs in CC++", Information and Software Technology, vol.39, 1997, 485-495.
  29. C. Kan and X. He: "A Method for Constructing Algebraic Petri Nets", Journal of Systems and Software, vol.35, 1996, 12-27.
  30. 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.
  31. C. Kan and X. He: "High Level Algebraic Petri Nets", Information and Software Technology, vol.37, no.1, 1995, 23-30.
  32. 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.
  33. 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.
  34. J.A.N. Lee and X. He: "A Methodology for Test Selection", Journal of Systems and Software, vol.13, no.3, 1990, 177-185.
  35. 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.
  36. X. He and J.A.N. Lee: "A Comparison of Formal Definitions of Ada Tasking", ADATECH (French), no. 10, November-December, 1989, 34-55.
  37. 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. Xudong He: “A Personal Journey in Petri Nets Research”, “Carl Adam Petri - His Ideas, Personality, and Impact: Personal Stories”, (Wolfgang Reisig ed.), Springer Verlag, 2017 (in press).
  2. Yujian Fu, Zhijiang Dong, Xudong He: Architecture-Centered Integrated Verification, Modern Software Engineering Concepts and Practices: Advanced Approaches, IGI Global, 2011, 104-124.
  3. Yujian Fu, Zhijiang Dong, Phil Bording, Xudong He. "Towards rewriting semantics of software architecture specification", Petri Nets: Applications. Editor: Pawel Pawlewski, INTEH, ISBN: 978-953-307-047-6, Feb 2010.
  4. 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
  5. T. Shi and X. He: Specification and Analysis of Software Architectures, VDM Publishing, Germany, 2007
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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. X. He: “Modeling and Analyzing the Android Permission Framework using High Level Petri Nets”, Proc. of The 2017 IEEE International Conference on Software Quality, Reliability & Security (QRS’17), Prague, July 25 – 29, Czech Republic.
  2. X. He, Z. Dong, H. Yin, and Y. Fu: “A Framework for Developing Cyber Physical Systems”, Proc. of the 29th International Conference on Software Engineering & Knowledge Engineering (SEKE’17), July 5 - July 7, 2017, Pittsburgh, USA (Best Paper Award).
  3. D. Alam, and X. He: “A Method to Analyze High Level Petri Nets using SPIN Model Checker”, Proc. of the 29th International Conference on Software Engineering & Knowledge Engineering (SEKE’17), July 5 - July 7, 2017, Pittsburgh, USA.
  4. Xudong He and Yujian Fu: “Modeling and Analyzing Security Patterns using High Level Petri Nets”, Proc. of the 28th International Conference on Software Engineering and Knowledge Engineering (SEKE16), Redwood, CA, July 1 – 3, 2016.
  5. Xudong He, Reng Zeng, Su Liu, Zhuo Sun, and Kyungmin Bae: “A Term Rewriting Approach to Analyze High Level Petri Nets”, Proc. of the 10th Theoretical Aspects of Software Engineering Conference (TASE 16), Shanghai, China, July 17 – 19, 2016.
  6. Jose Pereyra, Ali Mostafavi, and Xudong He: “Multi-Agent Framework for Complex Adaptive Modeling of Interdependent Critical Infrastructure Systems”, Proc. of the 2016 Construction Research Congress (CRC 16), San Juan, Puerto Rico, May 31 – June 2, 2016.
  7. Fangxiong Xiao, Huaqing Min, Xu Bo, and Xudong He: “A Formal Modeling Method for Cost-Aware Service Composition”, Proc. of the 25th International Conference on Software Engineering and Data Engineering (SEDE 15), San Diego, CA, Oct. 12 – 14, 2015.
  8. Su Liu and Xudong He: "PIPE+Verifier - A Tool for Analyzing High Level Petri Nets", Proc. of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE2015), Pittsburgh, July 6 - 8, 2015 (in press).
  9. Reng Zeng, Zhuo Sun, Su Liu, and Xudong He: A Method for Improving the Precision and Coverage of Atomicity Violation Predictions, Proc. of 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15), London, UK, April 11 - 18, 2015, 116-130.
  10. K. Morris, P. Clarke, X. He, F. Costa, and M. Allison: A Method for Validating Intent Model Behavior in DSVMs, Proc. of the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 15), Daytona Beach, Florida, USA, January 8 - 10, 2015.
  11. M. Allison, K. Morris, P. Clarke, and X. He: A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models, Proc. of the 2015 International Conference on Soft Computing and Software Engineering (SCSE 15), Berkeley, CA, March 3 - 4, 2015.
  12. Su Liu, Reng Zeng, Zhuo Sun, and Xudong He: Bounded Model Checking High Level Petri Nets in PIPE+Verifier, Proc. of International Conference on Formal Engineering Methods (ICFEM 14), LNCS vol. 8829, Luxembourg, Nov. 1 - 5, 2014, 348-363.
  13. Reng Zeng, Zhuo Sun, Su Liu, and Xudong He: McPatom: A Predictive Analysis Tool for Atomicity Violation using Model Checking, Proc. of 19th International SPIN Workshop on Model Checking of Software (SPIN 12), Oxford, UK, 23-24 July 2012, 197-207.
  14. Su Liu, Reng Zeng, Zhuo Sun, and Xudong He: SAMAT - A Tool for Software Architecture Modeling and Analysis, Proc. of the 24th International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, July, 2012, 352-358.
  15. Su Liu, Reng Zeng, Xudong He: PIPE+ - A Modeling Tool for High Level Petri Nets, Proc. of International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami, July 2011, 115 - 121.
  16. Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert: SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems, Proc. of International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami, July 2011, 308 - 314.
  17. Reng Zeng, Xudong He, Wil Aalst: A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition, Proc. of IEEE 2011 Fifth International Workshop on Scientific Workflows (SWF 2011), Washington, D.C., July 2011, 169-175.
  18. Reng Zeng, Xudong He, Jiafei Li, Zheng Liu, W.M.P. van der Aalst: A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining, Proc. of 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 2011), Heraklion, Crete, Greece, June 21-22, 2011.
  19. Lily Chang and Xudong He: A Model Transformation Approach for Verifying Multi-Agent Systems using SPIN, Proc. of 26th ACM Symposium On Applied Computing, Taichung, Taiwan, March, 2011, 37-42.
  20. Reng Zeng, Xudong He: "Analyzing a Formal Specification of Mondex Using Model Checking", Proc. of the International Colloquium on Theoretical Aspects of Computing - ICTAC , pp. 214-229, 2010, 214-229.
  21. Lily Chang, and Xudong He: "A Multi-Agent Model for a Business Continuity Information Network", Proc. of the International Conference on Software Engineering and Knowledge Engineering (SEKE10), San Francisco, July, 2010, 657-663.
  22. Y. Fu, Z. Dong, J. Ding, X. He, V. Atluri, and S. Liu: "Modular Verification of Software Architecture Model", Proc. of the International Conference on Software Engineering Research and Practice (SERP'09), Las Vegas, 2009, 17-23.
  23. 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, 189-193.
  24. X. He: A Formal Framework for Software System Modeling, Analysis and Realization. Proc. of Software Engineering Research and Practice 2008, Las Vegas, July, 2008, 627-633.(Invited Keynote)
  25. R. Zeng, J.Liu, and X. He:"A Formal Specification of Mondex Using SAM", Proc. of Service Oriented System Engineering, Taiwan, Dec. 2008, 97-102.
  26. 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 (QSIC08),Oxford, U.K., Aug., 2008, 376-381.
  27. 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.
  28. 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, 440-447.
  29. 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, 71-78.
  30. 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, Ceara, Brazil, March 16 - 20, 2008,797-803.
  31. 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 Engineering and Knowledge Engineering (SEKE07), Boston, July, 2007, 45-51.
  32. 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, 183-189.
  33. 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, 17-22.
  34. Y. Fu, Z. Dong, and X. He: A Method for Realizing Software Architecture Design, Proc. of the 6th International Conference on Software Quality (QSIC06),Beijing, China., Oct., 2006,57-64.
  35. 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.(Best Paper Nomination)
  36. 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.
  37. Y. Fu, Z. Dong, and X. He: Formalizing and Validating UML Architecture Description of Web Systems, Proc. of Second International Workshop on Model Driven Web Engineering (MDWE'06), Palo Alto, California, U.S.A., July, 2006.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. Z. Dong, Y. Fu, Yue Fu, and X. He: Automated Runtime Validation of Software Architecture Design, Proc. of the Second International Conference on Distributed Computing and Internet Technology, 2005, Bhubaneswar, India, December 22-24, 2005, 446-457.
  44. 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, 375-384.
  45. 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, 47-52.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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 Systems, Shanghai, China, 2005, 47-55.
  51. 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.(Invited Keynote)
  52. 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, 115-121.
  53. 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, 360-365.
  54. 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, 416-420.
  55. 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, 289-290.
  56. H. Reza and X. He: An Integrated Method to Software Architecture, Proc. of SEKE 2003, CA, 2003, 398-405.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. X. He, J. Ding, and Y. Deng: Analyzing SAM Architectural Specifications Using Model Checking, Proc. of SEKE2002, Italy, 2002, 271-274.
  66. 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.
  67. 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.
  68. 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.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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.
  76. 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 (APSEC99), 1999, 300-308.
  77. 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.
  78. 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.
  79. X. He, F. Zeng, and Y. Deng: "Specifying Software Architectural Connectors in SAM", Proc. of 11th International Conf. on Software Engineering and Knowledge Engineering (SEKE99), Kaiserlautern, Germany, 1999, 144-151.(Best Paper Award)
  80. 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 (COMPSAC99), Pheonix, Arizona, 1999, 462-467.
  81. 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.
  82. 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 (SEKE98), San Francisco, 1998, 261-268.
  83. X. He: "Transformations on Hierarchical Predicate Transition Nets: Abstractions and Refinements", Proc. of the 22nd International Computer Software and Application Conference (COMPSAC98), Vienna, Austria, 1998, 164-169.
  84. 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.
  85. 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 (OOMC96), Osaka, Japan, 1996, 72-79.
  86. 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.
  87. 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.
  88. 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.
  89. 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.
  90. 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.
  91. 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 Processing92), Madrid, Spain, 1992, 127-133.
  92. 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.
  93. 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.
  94. 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.
  95. 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.
  96. 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.
  97. 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.
  98. 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.
  99. 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.