Deng, Y.

• 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.

• Deng, Yi; Wang, Jiacun; Tsai, Jeffrey J.P.; Beznosov, Konstantin:
  An Approach for Modeling and Analysis of Security System Architectures. 2003.

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

• Xu, Dianxiang; Yin, Jianwen; Deng, Yi; Ding, Junhua:
  A Formal Architectural Model for Logical Agent Mobility. 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.

• 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.

• 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.

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

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

• Wang, J.; Deng, Y.; Xu, G.:
  Reachability analysis of real-time systems using time Petri nets. 2000.

• Xu, D.; Deng, Y.:
  Modeling mobile agent systems with high level Petri nets. 2000.

• Xu, Dianxiang; Deng, Yi:
  Modeling Mobile Agent Systems with High Level Petri Nets. 2000.

• Wang, Jiacun; Deng, Yi; Zhou, MengChu:
  Compositional time Petri nets and reduction rules. 2000.

• Deng, Y.; Yang, C.R.:
  Architecture-driven modeling of real-time concurrent systems with applications in FMS. 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.

• Wang, J.; Jin, C.; Deng, Y.:
  Performance analysis of traffic networks based on stochastic timed Petri net models. 1999.

• Wang, J.; Zhou, MengChu; Deng, Y.:
  Throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Wang, Jiacun; Deng, Yi:
  Incremental modeling and verification of flexible manufacturing systems. 1999.

• Wang, Jiacun; Zhou, MengChu; Deng, Yi:
  Modeling and throughput analysis of discrete event systems based on stochastic Petri nets. 1999.

• Deng, Y.; Wang, J.:
  Integrated architectural modeling and analysis for high-assurance command and control system design. 1998.

• Deng, Yi; Wang, Jiacun; Sinha, Rakesh:
  Integrated architecture modeling of real-time concurrent systems with applications in FMS. 1998.

• Wang, J.; Deng, Y.:
  Component-level reduction rules for time Petri nets with application in C2 systems. 1998.

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

• Deng, Y.; Lu, S.; Evangelist, M.:
  A formal approach for architectural modeling and prototyping of distributed real-time systems. 1997.

• Deng, Y.; Chang, S.K.; de Figueiredo, J.C.A.; Perkusich, A.:
  Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. 1993.

Back to the Petri Nets Bibliography