He, X.

• Xu, Dianxiang; He, Xudong:
  Generation of test requirements from aspectual use cases. 2007.

• Deng, Y.; Wang, J.; He, X.; Tsai, J.:
  Constraint propagation and progressive verification for component-based process model. 2004.

• Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian:
  A Formal Approach to Designing Secure Software Architectures. 2004.

• He, Xudong; Chu, William; Yang, Hongji:
  A New Approach to Verify Rule-Based Systems using Petri Nets. 2003.

• Dong, Zhijiang; Fu, Yujian; He, Xudong:
  Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams - A Case Study. 2003.

• Reza, Hassan; He, Xudong:
  An Integrated Method to Software Architecture. 2003.

• Yu, Huiqun; He, Xudong; Gao, Shu; Deng, Yi:
  Formal Software Architecture Design of Secure Distributed Systems. 2003.

• Shi, Tianjun; He, Xudong:
  A Methodology for Dependability and Performability Analysis In SAM. 2003.

• Shi, Tianjun; He, Xudong:
  Dependability Analysis using SAM. 2003.

• Reza, Hassan; He, Xudong:
  Pattern-Based Software Architecture: A Case Study. 2003.

• He, Xudong; Deng, Y.:
  A Framework for Developing and Analyzing Software Architecture Specifications in SAM. 2002.

• He, Xudong; Deng, Yi:
  A Framework for Developing and Analyzing Software Architecture Specifications in SAM. 2002.

• He, Xudong; Ding, J.; Deng, Y.:
  Analyzing SAM Architectural Specifications Using Model Checking. 2002.

• He, Xudong; Xu, D.; Deng, Y.:
  Schedulability Analysis of Real-Time Systems Using Time Petri Nets. 2002.

• He, Xudong; Zhu, H.:
  A Methodology for Testing High-Level Petri Nets. 2002.

• Shi, T.; He, Xudong:
  Modeling and Analyzing the Software Architecture of A Communication Protocol Using SAM. 2002.

• Shi, Tianjun; He, Xudong:
  Modeling and Analyzing the Software Architecture of A Communication Protocol Using SAM. 2002.

• Xu, Dianxiang; He, Xudong; Deng, Yi:
  Schedulability Analysis of Real-Time Systems Using Time Petri Nets. 2002.

• Yu, H.; He, Xudong; Deng, Y.; Mo, L.:
  A Formal Method for Analyzing Software Architecture Models in SAM. 2002.

• Zhu, Hong; He, Xudong:
  A Methodology for Testing High-Level Petri Nets. 2002.

• Yu, H.; He, Xudong; Gao, S,; Deng, Y.:
  Modeling and Analyzing SMIL Documents in SAM. 2002.

• Yu, Huiqun; He, Xudong; Gao, Shu; Deng, Yi:
  Modeling and Analyzing SMIL Documents in SAM. 2002.

• Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian:
  Formal Analysis of Real-Time Systems with SAM. 2002.

• Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian:
  Formal Analysis of Real-Time Systems with SAM. 2002.

• Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian:
  A Formal Method for Analyzing Software Architecture Models in SAM. 2002.

• He, Xudong; Ding, Junhua; Deng, Yi:
  Analyzing SAM Architectural Specifications Using Model Checking. 2002.

• Reza, H.; He, Xudong:
  Petri Net Patterns: Elements of Reusable Petri Net Specifications. 2002.

• Reza, Hassan; He, Xudong:
  Petri Net Patterns: Elements of Reusable Petri Net Specifications. 2002.

• Dong, Z.; He, Xudong:
  Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. 2001.

• He, Xudong:
  PZ Nets - A Formal Method Integrating Petri Nets with Z. 2001.

• He, X.; Ding, Y.:
  Object Orientation in Hierarchical Predicate Transition Nets. 2001.

• He, Xudong; Liu, X.; Deng, Y.:
  Development of A Distributed Time Petri Net Simulator in the SAM Framework. 2001.

• He, Xudong; Zhu, H.:
  An Observation Theory of Integration Testing for Component-Based Software Development. 2001.

• Chu, William; Lu, Chih-Wei; Yang, Hongji; He, Xudong:
  A formal approach for component retrieval and integration analysis. 2000.

• He, X.:
  Formalizing UML class diagrams - a hierarchical predicate transition net approach. 2000.

• He, X.:
  Translating hierarchical predicate transition nets to CC++ programs. 2000.

• He, Xudong; Deng, Yi:
  Specifying Software Architectural Connectors in SAM. 2000.

• He, Xudong:
  Formalizing Use Case Diagrams in Hierarchical Predicate Transition Nets. 2000.

• Zhu, Hong; He, Xudong:
  A Theory of Testing High-Level Petri Nets. 2000.

• Lewandowski, Scott; He, Xudong:
  Generating Code for Hierarchical Predicate Transition Net Based Designs. 2000.

• Gao, C.; He, X.; Wang, H.; Li, P.:
  Modeling, safety verification and optimization procedures in process systems using hybrid Petri nets. 1999.

• He, Xudong; Chu, W.; Yang, H.; Yang, S.:
  A Reachability Graph Technique for Verifying Rule Based Systems. 1999.

• He, Xudong; Zeng, F.; Deng, Y.:
  Specifying Software Architectural Connectors in SAM. 1999.

• Wang, J.; He, X.; Deng, Y.:
  Introducing software architecture specification and analysis in SAM through an example. 1999.

• He, X.:
  Transformations of hierarchical predicate transition nets: refinements and abstractions. 1998.

• Wang, Jiacun; Deng, Yi; He, Xudong:
  A formal architectural specification model for real-time systems design. 1998.

• Lewandowski, S.; He, X.:
  A Java Framework for Implementing Hierarchical Predicate Transition Nets. 1998.

• Yao, Weili; He, Xudong:
  Mapping Petri Nets to Concurrent Programs in CC++. 1997.

• He, Xudong; Yao, Weili:
  Translating Predicate Transition Nets to CC++ Program Skeletons. 1997.

• Yao, W.; He, X.:
  Mapping Petri nets to parallel programs in CC++. 1996.

• Kan, C.Y.; He, Xudong:
  A Method for Constructing Algebraic Petri Nets. 1996.

• Yao, Weili; He, Xudong:
  Mapping Petri Nets to Parallel Programs in CC++. 1996.

• He, Xudong:
  A Formal Definition of Hierarchical Predicate Transition Nets. 1996.

• He, Xudong; Ding, Yingjia:
  Object-Oriented Specification Using Hierarchical Predicate Transition Nets. 1996.

• Kan, C.Y.; He, Xudong:
  Deriving Algebraic Petri Net Specifications from Structured Analysis - A Case Study. 1995.

• He, Xudong:
  A method for analyzing properties of hierarchical predicate transition nets. 1995.

• He, Xudong:
  PZ Nets - A Formal Method integrating Petri Nets with Z. 1995.

• Kan, C.Y.; He, X.:
  High level algebraic Petri nets. 1995.

• Kan, C.Y.; He, X.:
  Algebraic Petri nets and their applications. 1994.

• He, Xudong:
  Temporal predicate transition nets - a new formalism for specifying and verifying concurrent systems. 1992.

• He, Xudong; Ding, Yingjia:
  A temporal logic approach for analyzing safety properties of predicate transition nets. 1992.

• He, Xudong; Yang, C. H.:
  Structured analysis using hierarchical predicate transition nets. 1992.

• He, Xudong; Lee, John A. N.:
  A Methodology for Constructing Predicate Transition Net Specifications. 1991.

• He, Xudong:
  Specifying and verifying real-time systems using time petri nets and real-time temporal logic. 1991.

• He, Xudong:
  Temporal predicate transition nets and their applications. 1990.

• He, Xudong; Lee, John A.N.:
  Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems. 1990.

• He, Xudong; Lee, John A.N.:
  Deriving temporal logic from predicate transition nt specifications. 1989.

• He, Xudong; Lee, John A.N.:
  A new methodology for writing predicate transition Petri net specifications. 1989.

Back to the Petri Nets Bibliography