dblp.uni-trier.dewww.uni-trier.de

Xudong He Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Gonzalo Argote-Garcia [57] [66] [69]
2Konstantin Beznosov [46]
3Lily Chang [73]
4William C. Chu (William Cheng-Chung Chu) [17] [18] [20] [21] [22] [37]
5Peter J. Clarke [49] [56] [69]
6Kendra Cooper [46]
7Zhengfan Dai [47]
8Yi Deng [16] [31] [33] [34] [35] [36] [38] [43] [44] [45] [46] [48] [49] [56] [57]
9Junhua Ding [33] [43] [47] [49] [56] [70] [71]
10Yingjia Ding [5] [27]
11Zhijiang Dong [26] [40] [50] [54] [55] [59] [61] [62] [63] [64] [66] [71]
12Yue Fu [54]
13Yujian Fu [40] [50] [54] [55] [59] [61] [62] [63] [64] [66] [69] [71]
14Shu Gao [34] [38] [46] [47] [53]
15C. P. Hsu [17]
16Ying Huang [58]
17Chieh-ying Kan [6] [9]
18John A. N. Lee [1] [2] [3] [4]
19Jiexin Lian [65] [72]
20Dongmei Liu [51] [53] [60]
21Jianling Liu [68]
22Chih-Wei Lu [17] [20] [21] [22]
23Paul Luker [19]
24Lian Mo [35] [36] [45] [48] [70]
25William Perrizo [13]
26Hassan Reza [39] [41]
27Zhiqing Shao [60]
28Sol M. Shatz [65] [72]
29Leyuan Shi [66] [69]
30Tianjun Shi [32] [42] [43] [57]
31Chih-Peng Shiu [22]
32J. P. Shiu [20]
33Weixiang Sun [57]
34Jeffrey J. P. Tsai [44]
35Jiacun Wang [16] [44]
36Dianxiang Xu [49] [56]
37Hongji Yang [18] [19] [21] [37]
38Li Yang [51] [53]
39Stephen J. H. Yang [18]
40Weili Yao [10] [12] [13] [14]
41Huiqun Yu [34] [35] [36] [38] [43] [45] [46] [48] [51] [53] [60]
42Reng Zeng [68]
43Shikun Zhou [19]
44Hong Zhu [28] [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)