Xudong He

	2011
85		Lily Chang, Xudong He: A model transformation approach for verifying multi-agent systems using SPIN. SAC 2011: 37-42
84		Su Liu, Reng Zeng, Xudong He: PIPE+ - A Modeling Tool for High Level Petri Nets. SEKE 2011: 115-121
83		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. SEKE 2011: 308-314
82		Su Liu, Reng Zeng, Xudong He: An Empirical Study on Classification of Non-Functional Requirements. SEKE 2011: 444-449
81		Reng Zeng, Xudong He, Wil M. P. van der Aalst: A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. SERVICES 2011: 169-175
	2010
80		Reng Zeng, Xudong He: Analyzing a Formal Specification of Mondex Using Model Checking. ICTAC 2010: 214-229
79		Lily Chang, Xudong He: A Multi-Agent Model for a Business Continuity Information Network. SEKE 2010: 657-663
78		Junhua Ding, Xudong He: Formal Specification and Analysis of an Agent-Based Medical Image Processing System. International Journal of Software Engineering and Knowledge Engineering 20(3): 311-345 (2010)
	2009
77		Lily Chang, Xudong He: Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. SEKE 2009: 189-193
76		Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li: Modular Analysis of Software Architecture Model. Software Engineering Research and Practice 2009: 17-23
75		Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He: A methodology for evaluating test coverage criteria of high levelPetri nets. Information & Software Technology 51(11): 1520-1533 (2009)
74		Jiexin 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
73		Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He: Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. AST 2008: 71-78
72		Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He: Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC 2008: 376-381
71		Junhua Ding, Lian Mo, Xudong He: An approach for specification construction using property-preserving refinement patterns. SAC 2008: 797-803
70		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
69		Reng Zeng, Jianling Liu, Xudong He: A Formal Specification of Mondex Using SAM. SOSE 2008: 97-102
68		Xudong He: A Formal Framework for Software System Modeling, Analysis and Realization. Software Engineering Research and Practice 2008: 627-633
	2007
67		Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He: An Approach to Validating Translation Correctness From SAM to Java. SEKE 2007: 45-
66		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
65		Yujian 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
64		Yujian Fu, Zhijiang Dong, Xudong He: Modeling, validating and automating composition of web services. ICWE 2006: 217-224
63		Yujian Fu, Zhijiang Dong, Xudong He: Formalizing and validating UML architecture description of web systems. ICWE Workshops 2006: 8
62		Yujian Fu, Zhijiang Dong, Xudong He: A Method for Realizing Software Architecture Design. QSIC 2006: 57-64
61		Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He: Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16
60		Zhijiang Dong, Yujian Fu, Xudong He: A Framework for Component-based System Modeling. SEKE 2006: 290-295
59		Ying Huang, Xudong He: A Method for Modeling Object-Oriented Systems with PZ nets. SEKE 2006: 456-462
58		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
57		Junhua 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
56		Yujian Fu, Zhijiang Dong, Xudong He: An Approach to Validation of Software Architecture Model. APSEC 2005: 375-384
55		Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He: Automated Runtime Validation of Software Architecture Design. ICDCIT 2005: 446-457
54		Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao: Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55
53		Xudong He: A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS 2005
52		Huiqun Yu, Dongmei Liu, Li Yang, Xudong He: Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174
51		Yujian Fu, Zhijiang Dong, Xudong He: A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417
50		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
49		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290
48		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
47		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
46		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420
45		Yi 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)
44		Xudong 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
43		Tianjun Shi, Xudong He: A Methodology for Dependability and Performability Analysis in SAM. DSN 2003: 679-688
42		Hassan Reza, Xudong He: Pattern-Based Software Architecture: A Case Study. ITCC 2003: 592-597
41		Zhijiang Dong, Yujian Fu, Xudong He: Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE 2003: 150-157
40		Hassan Reza, Xudong He: An Integrated Method to Software Architecture. SEKE 2003: 398-405
39		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457
38		Xudong 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
37		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
36		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
35		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
34		Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278
33		Tianjun Shi, Xudong He: Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA 2002: 63-77
32		Xudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002)
31		Hong Zhu, Xudong He: A methodology of testing high-level Petri nets. Information & Software Technology 44(8): 473-489 (2002)
	2001
30		Xudong He: Formalizing UML Semantics. COMPSAC 2001: 277-277
29		Hong Zhu, Xudong He: An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC 2001: 363-
28		Xudong He, Yingjia Ding: Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 196-215
27		Zhijiang Dong, Xudong He: Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. pUML 2001: 99-112
26		Xudong He: PZ nets a formal method integrating Petri nets with Z. Information & Software Technology 43(1): 1-18 (2001)
	2000
25		Xudong He: Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. COMPSAC 2000: 217-222
24		Xudong He: Translating hierarchical predicate transition nets to CC++ programs. Information & Software Technology 42(7): 475-488 (2000)
23		Xudong He, Yi Deng: Specifying Software Architectural Connectors in SAM. International Journal of Software Engineering and Knowledge Engineering 10(4): 411-431 (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
20		William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He: Pattern Based Software Re-engineering: A Case Study. APSEC 1999: 300-308
19		Shikun Zhou, Hongji Yang, Paul Luker, Xudong He: A Useful Approach to Developing Reverse Engineering Metrics. COMPSAC 1999: 320-321
18		Xudong 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
17		William C. Chu, C. P. Hsu, Chih-Wei Lu, Xudong He: A Semi-Formal Approach to Assist Software Design with Reuse. ICSM 1999: 256-264
16		Jiacun 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
15		Xudong He: Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. COMPSAC 1998: 164-171
	1997
14		Xudong 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)
12		Weili Yao, Xudong He: Mapping Petri nets to concurrent programs in CC++. Information & Software Technology 39(7): 485-495 (1997)
	1996
11		Xudong He: A Formal Definition of Hierarchical Predicate Transition Nets. Application and Theory of Petri Nets 1996: 212-229
10		Weili 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
8		Xudong 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
6		Chieh-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)
2		John 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

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page