- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j25 |      | Lily Chang, Xudong He, Sol M. Shatz: A Methodology for Modeling Multi-Agent Systems using Nested Petri Nets. International Journal of Software Engineering and Knowledge Engineering 22(7): 891-926 (2012) |
| c66 |  | |
| c65 | | |
| 2011 | ||
| c64 | | Lily Chang, Xudong He: A model transformation approach for verifying multi-agent systems using SPIN. SAC 2011: 37-42 |
| c63 | | |
| c62 | | 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 |
| c61 | | |
| c60 | | 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 | ||
| j24 | | 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) |
| c59 | | Reng Zeng, Xudong He: Analyzing a Formal Specification of Mondex Using Model Checking. ICTAC 2010: 214-229 |
| c58 | | Lily Chang, Xudong He: A Multi-Agent Model for a Business Continuity Information Network. SEKE 2010: 657-663 |
| 2009 | ||
| j23 | | 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) |
| j22 | | 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) |
| c57 | | Lily Chang, Xudong He: Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach. SEKE 2009: 189-193 |
| c56 | | 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 |
| 2008 | ||
| c55 | | 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 |
| c54 | | Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He: Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC 2008: 376-381 |
| c53 | | Junhua Ding, Lian Mo, Xudong He: An approach for specification construction using property-preserving refinement patterns. SAC 2008: 797-803 |
| c52 | | 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 |
| c51 | | Xudong He: A Formal Framework for Software System Modeling, Analysis and Realization. Software Engineering Research and Practice 2008: 627-633 |
| c50 | | |
| 2007 | ||
| j21 | | 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) |
| c49 | | Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He: An Approach to Validating Translation Correctness From SAM to Java. SEKE 2007: 45- |
| c48 | | 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 |
| 2006 | ||
| j20 | | 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) |
| c47 | | Yujian Fu, Zhijiang Dong, Xudong He: Formalizing and validating UML architecture description of web systems. ICWE Workshops 2006: 8 |
| c46 | | Yujian Fu, Zhijiang Dong, Xudong He: Modeling, validating and automating composition of web services. ICWE 2006: 217-224 |
| c45 | | Yujian Fu, Zhijiang Dong, Xudong He: A Method for Realizing Software Architecture Design. QSIC 2006: 57-64 |
| c44 | | Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He: Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16 |
| c43 | | Zhijiang Dong, Yujian Fu, Xudong He: A Framework for Component-based System Modeling. SEKE 2006: 290-295 |
| c42 | | Ying Huang, Xudong He: A Method for Modeling Object-Oriented Systems with PZ nets. SEKE 2006: 456-462 |
| c41 | | 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 |
| 2005 | ||
| c40 | | Yujian Fu, Zhijiang Dong, Xudong He: An Approach to Validation of Software Architecture Model. APSEC 2005: 375-384 |
| c39 | | Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He: Automated Runtime Validation of Software Architecture Design. ICDCIT 2005: 446-457 |
| c38 | | Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao: Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55 |
| c37 | | Huiqun Yu, Dongmei Liu, Li Yang, Xudong He: Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174 |
| c36 | | Yujian Fu, Zhijiang Dong, Xudong He: A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417 |
| c35 | | 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 |
| c34 | | Junhua Ding, Zhengfan Dai, Jiacun Wang, Xudong He: Formally modeling and analyzing a secure mobile agent finder. SMC 2005: 47-52 |
| c33 | | Xudong He: A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS 2005 |
| 2004 | ||
| j19 | | 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) |
| j18 | | 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) |
| c32 | | |
| c31 | | 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 |
| c30 | | 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 |
| c29 | | |
| 2003 | ||
| j17 | | 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) |
| c28 | | Tianjun Shi, Xudong He: A Methodology for Dependability and Performability Analysis in SAM. DSN 2003: 679-688 |
| c27 | | |
| c26 | | Zhijiang Dong, Yujian Fu, Xudong He: Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE 2003: 150-157 |
| c25 | | |
| c24 | | |
| 2002 | ||
| j16 | | Xudong He, Yi Deng: A Framework for Developing and Analyzing Software Architecture Specifications in SAM. Comput. J. 45(1): 111-128 (2002) |
| j15 | | Hong Zhu, Xudong He: A methodology of testing high-level Petri nets. Information & Software Technology 44(8): 473-489 (2002) |
| c23 | | Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652 |
| c22 | | Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286 |
| c21 | | Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139 |
| c20 | | Xudong He, Junhua Ding, Yi Deng: Model checking software architecture specifications in SAM. SEKE 2002: 271-278 |
| c19 | | Tianjun Shi, Xudong He: Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. WICSA 2002: 63-77 |
| 2001 | ||
| j14 | | Xudong He: PZ nets a formal method integrating Petri nets with Z. Information & Software Technology 43(1): 1-18 (2001) |
| c18 | | |
| c17 | | Hong Zhu, Xudong He: An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC 2001: 363- |
| c16 | | Xudong He, Yingjia Ding: Object Orientation in Hierarchical Predicate Transition Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 196-215 |
| c15 | | Zhijiang Dong, Xudong He: Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. pUML 2001: 99-112 |
| 2000 | ||
| j13 | | Xudong He, Yi Deng: Specifying Software Architectural Connectors in SAM. International Journal of Software Engineering and Knowledge Engineering 10(4): 411-431 (2000) |
| j12 | | Xudong He: Translating hierarchical predicate transition nets to CC++ programs. Information & Software Technology 42(7): 475-488 (2000) |
| j11 | | 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) |
| j10 | | 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) |
| c14 | | Xudong He: Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. COMPSAC 2000: 217-222 |
| 1999 | ||
| j9 | | 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) |
| c13 | | William C. Chu, Chih-Wei Lu, J. P. Shiu, Xudong He: Pattern Based Software Re-engineering: A Case Study. APSEC 1999: 300-308 |
| c12 | | Shikun Zhou, Hongji Yang, Paul Luker, Xudong He: A Useful Approach to Developing Reverse Engineering Metrics. COMPSAC 1999: 320-321 |
| c11 | | 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 |
| c10 | | 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 |
| 1998 | ||
| c9 | | Xudong He: Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions. COMPSAC 1998: 164-171 |
| 1997 | ||
| j8 | | Weili Yao, Xudong He: Mapping Petri nets to concurrent programs in CC++. Information & Software Technology 39(7): 485-495 (1997) |
| j7 | | Weili Yao, William Perrizo, Xudong He: An Improved Algorithm for Concurrency Control in Distributed Database Systems. Inf. Sci. 103(1-4): 23-36 (1997) |
| c8 | | Xudong He, Weili Yao: Translating hierarchical predicate transition nets to CC++ program skeletons. COMPSAC 1997: 60-65 |
| 1996 | ||
| j6 | | Chieh-ying Kan, Xudong He: A Method for Constructing Algebraic Petri Nets. Journal of Systems and Software 35(1): 15-27 (1996) |
| c7 | | Xudong He: A Formal Definition of Hierarchical Predicate Transition Nets. Application and Theory of Petri Nets 1996: 212-229 |
| c6 | | |
| 1995 | ||
| j5 | | Chieh-ying Kan, Xudong He: High-level algebraic Petri nets. Information & Software Technology 37(1): 23-30 (1995) |
| j4 | | Chieh-ying Kan, Xudong He: Deriving algebraic Petri net specifications from structured analysis - a case study. Information & Software Technology 37(8): 411-434 (1995) |
| c5 | | Xudong He: A method for analyzing properties of hierarchical predicate transition nets. COMPSAC 1995: 50-55 |
| c4 | | |
| 1994 | ||
| c3 | | Chieh-ying Kan, Xudong He: Algebraic Petri Nets and Their Applications. ACM Conference on Computer Science 1994: 396-403 |
| 1992 | ||
| c2 | | Xudong He, Yingjia Ding: A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. IFIP Congress (1) 1992: 127-133 |
| 1991 | ||
| j3 | | Xudong He, John A. N. Lee: A Methodology for Constructing Predicate Transition Net Specifications. Softw., Pract. Exper. 21(8): 845-875 (1991) |
| 1990 | ||
| j2 | | 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) |
| j1 | | John A. N. Lee, Xudong He: A methodology for test selection. Journal of Systems and Software 13(3): 177-185 (1990) |
| 1989 | ||
| c1 | | Xudong He, John A. N. Lee: Deriving Temporal Logic Specifications from Predicate Transition Petri Net. SEKE 1989: 116-121 |
Colors in the list of coauthors
Last update Mon May 20 20:30:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page