College of Engineering and Computing
Site Map Contact Login IM CIS Mail Calendar SSH
  Home >> Directory >> Xudong He >> Publications
FIU Home

Publications
    Journals

  1. 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.

  2. 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.

  3. 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.

  4. H. Zhu and X. He: “A Methodology for Testing High-Level Petri Nets”, Information and Software Technology, vol.44, 2002, 473-489.

  5. 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.

  6. 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.

  7. X. He: "PZ Nets - A Formal Method Integrating Petri Nets with Z", Information and Software Technology , vol.43, no.1, 2001, 1-18.

  8. 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.

  9. 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.

  10. 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.

  11. X. He: “Translating Hierarchical Predicate Transition Nets into CC++ Programs”, Information and Software Technology, vol.42, no.7, 2000, 475-488.

  12. 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.

  13. 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.

  14. W. Yao and X. He: "Mapping Petri Nets to Concurrent Programs in CC++", Information and Software Technology, vol.39, 1997, 485-495.

  15. C. Kan and X. He: "A Method for Constructing Algebraic Petri Nets", Journal of Systems and Software, vol.35, 1996, 12-27.

  16. 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.

  17. C. Kan and X. He: "High Level Algebraic Petri Nets", Information and Software Technology, vol.37, no.1, 1995, 23-30.

  18. 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.

  19. 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.

  20. J.A.N. Lee and X. He: "A Methodology for Test Selection", Journal of Systems and Software, vol.13, no.3, 1990, 177-185.

  21. 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.

  22. X. He and J.A.N. Lee: "A Comparison of Formal Definitions of Ada Tasking", ADATECH (French), no. 10, November-December, 1989, 34-55.

  23. 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.

    24. Book Chapters

  24. X. He and J. Tsai: “Distributed Software Testing”, Encyclopedia of Distributed Computing, Kluwer Publishing, 2005 (in press).

  25. 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.

  26. 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.

  27. 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.

  28. X. He and Y. Ding: "Object Orientation in Hierarchical Predicate Transition Nets", Lecture Notes in Computer Science, vol.2001, 2001, 196-215.

    29. Refereed International Conference Proceedings

  29. 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.

  30. 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.

  31. 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.

  32. 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.

  33. 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.

  34. 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.

  35. 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.

  36. 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.

  37. 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.

  38. H. Reza and X. He: “An Integrated Method to Software Architecture”, Proc. of SEKE 2003, CA, 2003, 398-405.

  39. 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.

  40. 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.

  41. 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.

  42. 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.

  43. 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.

  44. 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.

  45. 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.

  46. 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.

  47. X. He, J. Ding, and Y. Deng: “Analyzing SAM Architectural Specifications Using Model Checking”, Proc. of SEKE2002, Italy, 2002, 271-274.

  48. 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.

  49. 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.

  50. 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.

  51. 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.

  52. 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.

  53. 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.

  54. 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.

  55. 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.

  56. 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.

  57. 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.

  58. 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.

  59. 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.

  60. 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.

  61. 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.

  62. 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.

  63. 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.

  64. 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.

  65. 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.

  66. 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.

  67. 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.

  68. 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.

  69. 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.

  70. 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.

  71. 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.

  72. 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.

  73. 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.

  74. 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.

  75. 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.

  76. 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.

  77. 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.

  78. 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.

  79. 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.

  80. 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.

  81. 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.
 
© 2009 School of Computing and Information Sciences @ FIU
[ Prospective Students ]  [ Research, Industry & Grant Agencies ]  [ Enrolled Students ]  [ Services ]  

Undergraduate Info: info-undergrad@cis.fiu.edu
Graduate Info: grad-info@cis.fiu.edu 		Webmaster: webmaster@cis.fiu.edu
Policy