The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xudong He: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chieh-ying Kan, Xudong He
    Algebraic Petri Nets and Their Applications. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1994, pp:396-403 [Conf]
  2. Xudong He
    A Formal Definition of Hierarchical Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:212-229 [Conf]
  3. William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He
    Pattern Based Software Re-engineering: A Case Study. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:300-308 [Conf]
  4. Yujian Fu, Zhijiang Dong, Xudong He
    An Approach to Validation of Software Architecture Model. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:375-384 [Conf]
  5. Xudong He
    Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2000, pp:217-222 [Conf]
  6. Xudong He
    Formalizing UML Semantics. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:277-277 [Conf]
  7. Xudong He
    A method for analyzing properties of hierarchical predicate transition nets. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:50-55 [Conf]
  8. Xudong He
    Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:164-171 [Conf]
  9. Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang
    A New Approach to Verify Rule-Based Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:462-467 [Conf]
  10. Xudong He, Weili Yao
    Translating hierarchical predicate transition nets to CC++ program skeletons. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:60-65 [Conf]
  11. Weili Yao, Xudong He
    Mapping Petri Nets to Parallel Programs in CC++. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:70-75 [Conf]
  12. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    A Formal Method for Analyzing Software Architecture Models in SAM. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:645-652 [Conf]
  13. Shikun Zhou, Hongji Yang, Paul Luker, Xudong He
    A Useful Approach to Developing Reverse Engineering Metrics. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1999, pp:320-321 [Conf]
  14. Hong Zhu, Xudong He
    An Observational Theory of Integration Testing for Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:363-0 [Conf]
  15. Xudong He, Yingjia Ding
    Object Orientation in Hierarchical Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:196-215 [Conf]
  16. Tianjun Shi, Xudong He
    A Methodology for Dependability and Performability Analysis in SAM. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:679-688 [Conf]
  17. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    A Formal Approach to Designing Secure Software Architectures. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:289-290 [Conf]
  18. Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
    Automated Runtime Validation of Software Architecture Design. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:446-457 [Conf]
  19. Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao
    Secure Software Architectures Design by Aspect Orientation. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:47-55 [Conf]
  20. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    Formal Analysis of Real-Time Systems with SAM. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:275-286 [Conf]
  21. William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He
    A Semi-Formal Approach to Assist Software Design with Reuse. [Citation Graph (0, 0)][DBLP]
    ICSM, 1999, pp:256-264 [Conf]
  22. Yujian Fu, Zhijiang Dong, Xudong He
    Modeling, validating and automating composition of web services. [Citation Graph (0, 0)][DBLP]
    ICWE, 2006, pp:217-224 [Conf]
  23. Xudong He, Yingjia Ding
    A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:127-133 [Conf]
  24. Hassan Reza, Xudong He
    Pattern-Based Software Architecture: A Case Study. [Citation Graph (0, 0)][DBLP]
    ITCC, 2003, pp:592-597 [Conf]
  25. Huiqun Yu, Xudong He, Shu Gao, Yi Deng
    Modeling and Analyzing SMIL Documents in SAM. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:132-139 [Conf]
  26. Yujian Fu, Zhijiang Dong, Xudong He
    A Method for Realizing Software Architecture Design. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:57-64 [Conf]
  27. Zhijiang Dong, Yujian Fu, Xudong He
    Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:150-157 [Conf]
  28. Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov, Kendra Cooper
    Applying Aspect-Orientation in Designing Security Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:360-365 [Conf]
  29. Xudong He, Junhua Ding, Yi Deng
    Model checking software architecture specifications in SAM. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:271-278 [Conf]
  30. Xudong He
    PZ Nets- A Formal Method Integrating Petri Nets with Z. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:173-180 [Conf]
  31. Hassan Reza, Xudong He
    An Integrated Method to Software Architecture. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:398-405 [Conf]
  32. Huiqun Yu, Xudong He, Yi Deng, Lian Mo
    Integrating Security Administration into Software Architectures Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 2004, pp:416-420 [Conf]
  33. Huiqun Yu, Xudong He, Shu Gao, Yi Deng
    Formal Software Architecture Design of Secure Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:450-457 [Conf]
  34. Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He
    Modeling Complex Software Systems Using an Aspect Extension of Object-Z. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:11-16 [Conf]
  35. Ying Huang, Xudong He
    A Method for Modeling Object-Oriented Systems with PZ nets. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:456-462 [Conf]
  36. Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He
    Achieving a Better Middleware Design through Formal Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:463-468 [Conf]
  37. Huiqun Yu, Dongmei Liu, Li Yang, Xudong He
    Formal Aspect-Oriented Modeling and Analysis by Aspect. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:169-174 [Conf]
  38. Yujian Fu, Zhijiang Dong, Xudong He
    A Methodology of Automated Realization of a Software Architecture Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:412-417 [Conf]
  39. Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He
    Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:560-565 [Conf]
  40. Zhijiang Dong, Yujian Fu, Xudong He
    A Framework for Component-based System Modeling. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:290-295 [Conf]
  41. Xudong He, John A. N. Lee
    Deriving Temporal Logic Specifications from Predicate Transition Petri Net. [Citation Graph (0, 0)][DBLP]
    SEKE, 1989, pp:116-121 [Conf]
  42. Zhijiang Dong, Xudong He
    Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:99-112 [Conf]
  43. Xudong He
    A Framework for Ensuring System Dependability from Design to Implementation. [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:- [Conf]
  44. Tianjun Shi, Xudong He
    Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. [Citation Graph (0, 0)][DBLP]
    WICSA, 2002, pp:63-77 [Conf]
  45. Xudong He, Yi Deng
    A Framework for Developing and Analyzing Software Architecture Specifications in SAM. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:111-128 [Journal]
  46. Xudong He, John A. N. Lee
    Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:3, pp:226-246 [Journal]
  47. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
    Constraint Propagation And Progressive Verification For Component-Based Process Model. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:5, pp:471-496 [Journal]
  48. Xudong He
    Translating hierarchical predicate transition nets to CC++ programs. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:7, pp:475-488 [Journal]
  49. Xudong He
    PZ nets a formal method integrating Petri nets with Z. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:1, pp:1-18 [Journal]
  50. Xudong He, William C. Chu, Hongji Yang
    A new approach to verify rule-based systems using petri net. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:10, pp:663-669 [Journal]
  51. Jiacun Wang, Xudong He, Yi Deng
    Introducing software architecture specification and analysis in SAM through an example. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:7, pp:451-467 [Journal]
  52. Hong Zhu, Xudong He
    A methodology of testing high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2002, v:44, n:8, pp:473-489 [Journal]
  53. Weili Yao, Xudong He
    Mapping Petri nets to concurrent programs in CC++. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1997, v:39, n:7, pp:485-495 [Journal]
  54. Weili Yao, William Perrizo, Xudong He
    An Improved Algorithm for Concurrency Control in Distributed Database Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1997, v:103, n:1-4, pp:23-36 [Journal]
  55. Xudong He, Huiqun Yu, Tianjun Shi, Junhua Ding, Yi Deng
    Formally analyzing software architectural specifications using SAM . [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:71, n:1-2, pp:11-29 [Journal]
  56. Chieh-ying Kan, Xudong He
    A Method for Constructing Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:35, n:1, pp:15-27 [Journal]
  57. John A. N. Lee, Xudong He
    A methodology for test selection. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:13, n:3, pp:177-185 [Journal]
  58. William C. Chu, Chih-Wei Lu, Chih-Peng Shiu, Xudong He
    Pattern-based software reengineering: a case study. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2000, v:12, n:2, pp:121-141 [Journal]
  59. William C. Chu, Chih-Wei Lu, Hongji Yang, Xudong He
    A formal approach for component retrieval and integration analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Software Maintenance, 2000, v:12, n:6, pp:325-342 [Journal]
  60. Xudong He, John A. N. Lee
    A Methodology for Constructing Predicate Transition Net Specifications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:8, pp:845-875 [Journal]
  61. Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
    An Approach to Validating Translation Correctness From SAM to Java. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:45-0 [Conf]
  62. Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao
    Modeling and analyzing security protocols in SAM: A case study. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:115-121 [Conf]

  63. Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. [Citation Graph (, )][DBLP]


  64. Analyzing a Formal Specification of Mondex Using Model Checking. [Citation Graph (, )][DBLP]


  65. Formalizing and validating UML architecture description of web systems. [Citation Graph (, )][DBLP]


  66. Mapping Software Architecture Specification to Rewriting Logic (Short Paper). [Citation Graph (, )][DBLP]


  67. An approach for specification construction using property-preserving refinement patterns. [Citation Graph (, )][DBLP]


  68. A Formal Approach for Translating a SAM Architecture to PROMELA. [Citation Graph (, )][DBLP]


  69. Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. [Citation Graph (, )][DBLP]


  70. Component Based Multi-Agent System Modeling and Analysis: A Case Study. [Citation Graph (, )][DBLP]


  71. A Formal Framework for Software System Modeling, Analysis and Realization. [Citation Graph (, )][DBLP]


  72. Modular Analysis of Software Architecture Model. [Citation Graph (, )][DBLP]


  73. A Formal Specification of Mondex Using SAM. [Citation Graph (, )][DBLP]


Search in 0.053secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002