| 2008 |
|---|
| 70 | EE | Yujian Fu,
Zhijiang Dong,
Junhua Ding,
Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
QSIC 2008: 376-381 |
| 69 | EE | Junhua Ding,
Lian Mo,
Xudong He:
An approach for specification construction using property-preserving refinement patterns.
SAC 2008: 797-803 |
| 68 | | 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 |
| 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 |
| 64 | EE | 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 |
|---|
| 63 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
Modeling, validating and automating composition of web services.
ICWE 2006: 217-224 |
| 62 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
Formalizing and validating UML architecture description of web systems.
ICWE Workshops 2006: 8 |
| 61 | EE | Yujian 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 |
| 56 | EE | 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 |
|---|
| 55 | EE | Yujian Fu,
Zhijiang Dong,
Xudong He:
An Approach to Validation of Software Architecture Model.
APSEC 2005: 375-384 |
| 54 | EE | Zhijiang Dong,
Yujian Fu,
Yue Fu,
Xudong He:
Automated Runtime Validation of Software Architecture Design.
ICDCIT 2005: 446-457 |
| 53 | EE | Huiqun 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 |
|---|
| 48 | EE | Huiqun 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 |
| 44 | EE | 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) |
| 43 | EE | 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 |
|---|
| 42 | EE | Tianjun Shi,
Xudong He:
A Methodology for Dependability and Performability Analysis in SAM.
DSN 2003: 679-688 |
| 41 | EE | Hassan 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 |
| 37 | EE | 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 |
|---|
| 36 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM.
COMPSAC 2002: 645-652 |
| 35 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Formal Analysis of Real-Time Systems with SAM.
ICFEM 2002: 275-286 |
| 34 | EE | Huiqun Yu,
Xudong He,
Shu Gao,
Yi Deng:
Modeling and Analyzing SMIL Documents in SAM.
ISMSE 2002: 132-139 |
| 33 | EE | Xudong 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 |
| 31 | EE | Xudong 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 |
|---|
| 29 | EE | Xudong He:
Formalizing UML Semantics.
COMPSAC 2001: 277-277 |
| 28 | EE | Hong Zhu,
Xudong He:
An Observational Theory of Integration Testing for Component-Based Software Development.
COMPSAC 2001: 363- |
| 27 | EE | Xudong 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 |
|---|
| 24 | EE | Xudong 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 |
|---|
| 20 | EE | William C. Chu,
Chih-Wei Lu,
J. P. Shiu,
Xudong He:
Pattern Based Software Re-engineering: A Case Study.
APSEC 1999: 300-308 |
| 19 | EE | Shikun Zhou,
Hongji Yang,
Paul Luker,
Xudong He:
A Useful Approach to Developing Reverse Engineering Metrics.
COMPSAC 1999: 320-321 |
| 18 | EE | 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 | EE | 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 | EE | 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 | EE | Xudong He:
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions.
COMPSAC 1998: 164-171 |
| 1997 |
|---|
| 14 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
