| 2008 |
|---|
| 19 | EE | Guisheng Fan,
Huiqun Yu,
Liqiong Chen,
Dongmei Liu:
Analyzing BPEL Compositionality Based on Petri Nets.
COMPSAC 2008: 373-376 |
| 18 | EE | Guisheng Fan,
Huiqun Yu,
Dongmei Liu,
Liqiong Chen:
Modeling and Analyzing Time Constrains for Service Composition.
ICYCS 2008: 124-129 |
| 2006 |
|---|
| 17 | | Huiqun Yu,
Dongmei Liu,
Zhiqing Shao,
Xudong He:
Modeling Complex Software Systems Using an Aspect Extension of Object-Z.
SEKE 2006: 11-16 |
| 2005 |
|---|
| 16 | EE | Li Yang,
Raimund K. Ege,
Huiqun Yu:
Mediation Systems Modeling and Verification.
ICECCS 2005: 322-331 |
| 15 | EE | Huiqun Yu,
Dongmei Liu,
Xudong He,
Li Yang,
Shu Gao:
Secure Software Architectures Design by Aspect Orientation.
ICECCS 2005: 47-55 |
| 14 | EE | Li Yang,
Raimund K. Ege,
Huiqun Yu:
Mediation framework modeling and verification by SAM.
SAC 2005: 1567-1568 |
| 13 | EE | Li Yang,
Raimund K. Ege,
Huiqun Yu:
Mediation security specification and enforcement for heterogeneous databases.
SAC 2005: 354-358 |
| 12 | | Huiqun Yu,
Dongmei Liu,
Li Yang,
Xudong He:
Formal Aspect-Oriented Modeling and Analysis by Aspect.
SEKE 2005: 169-174 |
| 2004 |
|---|
| 11 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Approach to Designing Secure Software Architectures.
HASE 2004: 289-290 |
| 10 | | Li Yang,
Raimund K. Ege,
Huiqun Yu:
Enhancing Mediation Security by Aspect-Oriented Approach.
SEKE 2004: 155-160 |
| 9 | | 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 |
| 8 | | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Integrating Security Administration into Software Architectures Design.
SEKE 2004: 416-420 |
| 7 | 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 |
|---|
| 6 | | Huiqun Yu,
Xudong He,
Shu Gao,
Yi Deng:
Formal Software Architecture Design of Secure Distributed Systems.
SEKE 2003: 450-457 |
| 2002 |
|---|
| 5 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
A Formal Method for Analyzing Software Architecture Models in SAM.
COMPSAC 2002: 645-652 |
| 4 | EE | Huiqun Yu,
Xudong He,
Yi Deng,
Lian Mo:
Formal Analysis of Real-Time Systems with SAM.
ICFEM 2002: 275-286 |
| 3 | EE | Huiqun Yu,
Xudong He,
Shu Gao,
Yi Deng:
Modeling and Analyzing SMIL Documents in SAM.
ISMSE 2002: 132-139 |
| 1998 |
|---|
| 2 | EE | Zhiqing Shao,
Yongqiang Sun,
Guoxin Song,
Huiqun Yu:
Proving Inductive Theorems Using Witnessed Test Sets.
ICFEM 1998: 158-164 |
| 1994 |
|---|
| 1 | | Huiqun Yu,
Paritosh K. Pandya,
Yongqiang Sun:
A Calculus for Hybrid Sampled Data Systems.
FTRTFT 1994: 716-737 |
