Huiqun Yu

	2009
22		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: Analyzing Reliability of Time Constrained Service Composition. ACIS-ICIS 2009: 1155-1160
21		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: A Method for Modeling and Analyzing Fault-Tolerant Service Composition. APSEC 2009: 507-514
20		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: An Approach to Analyzing Dynamic Trustworthy Service Composition. ASWC 2009: 261-275
	2008
19		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: Analyzing BPEL Compositionality Based on Petri Nets. COMPSAC 2008: 373-376
18		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		Li Yang, Raimund K. Ege, Huiqun Yu: Mediation Systems Modeling and Verification. ICECCS 2005: 322-331
15		Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao: Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55
14		Li Yang, Raimund K. Ege, Huiqun Yu: Mediation framework modeling and verification by SAM. SAC 2005: 1567-1568
13		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		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		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		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
4		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
3		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
	1998
2		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

Coauthor Index

1	Konstantin Beznosov	[9]
2	Liqiong Chen	[18] [19] [20] [21] [22]
3	Kendra Cooper	[9]
4	Yi Deng	[3] [4] [5] [6] [7] [8] [9] [11]
5	Junhua Ding	[7]
6	Raimund K. Ege	[10] [13] [14] [16]
7	Guisheng Fan	[18] [19] [20] [21] [22]
8	Shu Gao	[3] [6] [9] [15]
9	Xudong He	[3] [4] [5] [6] [7] [8] [9] [11] [12] [15] [17]
10	Dongmei Liu	[12] [15] [17] [18] [19] [20] [21] [22]
11	Lian Mo	[4] [5] [8] [11]
12	Paritosh K. Pandya	[1]
13	Zhiqing Shao	[2] [17]
14	Tianjun Shi	[7]
15	Guoxin Song	[2]
16	Yongqiang Sun	[1] [2]
17	Li Yang	[10] [12] [13] [14] [15] [16]