Huiqun Yu

	2012
45		Nianhua Yang, Huiqun Yu, Zhilin Qian, Hua Sun: Modeling and quantitatively predicting software security based on stochastic Petri nets. Mathematical and Computer Modelling 55(1-2): 102-112 (2012)
	2011
44		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: An Approach to Modeling and Analyzing Security Requirements of Service Composition. APSCC 2011: 456-463
43		Huiqun Yu, Dongmei Liu, Guisheng Fan, Liqiong Chen: A Regression Test Technique for Analyzing the Functionalities of Service Composition. SEKE 2011: 578-582
42		Guisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu: An Approach to Handling Failure Recovery in Service Composition and Its Analysis. TASE 2011: 153-160
41		Ting Chen, Huiqun Yu: Bilinear Parings in Property-based attestation. JCP 6(2): 297-304 (2011)
40		Guisheng Fan, Huiqun Yu, Liqiong Chen, Tong Ruan: An Approach to Analyzing Time Constrained Service Composition. JCP 6(8): 1723-1731 (2011)
39		Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian: Scheduling Real-Time Embedded Systems Based on TCPNIA. JSW 6(3): 340-348 (2011)
	2010
38		Guisheng Fan, Huiqun Yu, Chunhua Gu, Liqiong Chen: An Aspect Oriented Approach to Analyzing Fault of Service Composition. APSCC 2010: 149-156
37		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: Aspect Oriented Approach to Building Secure Service Composition. APSEC 2010: 176-185
36		Huiqun Yu, Guisheng Fan, Liqiong Chen, Dongmei Liu: A Fault-Tolerant Strategy for Improving the Reliability of Service Composition. QSIC 2010: 312-317
35		Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian: Mapping UML Activity Diagrams to Analyzable Petri Net Models. QSIC 2010: 369-372
34		Guisheng Fan, Huiqun Yu, Liqiong Chen, Caizhu Yu: An Approach to Analyzing User Preference based Dynamic Service Composition. JSW 5(9): 982-989 (2010)
	2009
33		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: Analyzing Reliability of Time Constrained Service Composition. ACIS-ICIS 2009: 1155-1160
32		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: A Method for Modeling and Analyzing Fault-Tolerant Service Composition. APSEC 2009: 507-514
31		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: An Approach to Analyzing Dynamic Trustworthy Service Composition. ASWC 2009: 261-275
30		Kun Tian, Kendra Cooper, Kang Zhang, Huiqun Yu: A Classification of Aspect Composition Problems. SSIRI 2009: 101-109
	2008
29		Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu: Analyzing BPEL Compositionality Based on Petri Nets. COMPSAC 2008: 373-376
28		Ting-ting Cen, Jian-min Han, Huiqun Yu, Yu Juan: An Efficient Microaggregation Algorithm for Mixed Data. CSSE (3) 2008: 1053-1056
27		Jian-min Han, Ting-ting Cen, Huiqun Yu, Yu Juan: A Multivariate Immune Clonal Selection Microaggregation Algorithm. GrC 2008: 252-256
26		Jian-min Han, Yu Juan, Huiqun Yu, Ting-ting Cen: An Efficient K-anonymization Algorithm Combining C-modes with MDAV. GrC 2008: 257-260
25		Jian-min Han, Xi-yu Li, Huiqun Yu, Jun Tong: An Extended RBAC Model based on Granular Logic. GrC 2008: 261-264
24		Guisheng Fan, Huiqun Yu, Dongmei Liu, Liqiong Chen: Modeling and Analyzing Time Constrains for Service Composition. ICYCS 2008: 124-129
23		Jian-min Han, Huiqun Yu, Yu Juan, Ting-ting Cen: A Complete (alpha, k)-Anonymity Model for Sensitive Values Individuation Preservation. ISECS 2008: 318-323
22		Jian-min Han, Ting-ting Cen, Huiqun Yu: An Improved V-MDAV Algorithm for l-Diversity. ISIP 2008: 733-739
	2006
21		Zhanquan Wang, Huiqun Yu, Haibo Chen: Research of Local Co-location Pattern in Spatial Event Sequences. FSKD 2006: 578-581
20		Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He: Modeling Complex Software Systems Using an Aspect Extension of Object-Z. SEKE 2006: 11-16
	2005
19		Li Yang, Raimund K. Ege, Huiqun Yu: Mediation Systems Modeling and Verification. ICECCS 2005: 322-331
18		Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao: Secure Software Architectures Design by Aspect Orientation. ICECCS 2005: 47-55
17		Li Yang, Raimund K. Ege, Huiqun Yu: Mediation framework modeling and verification by SAM. SAC 2005: 1567-1568
16		Li Yang, Raimund K. Ege, Huiqun Yu: Mediation security specification and enforcement for heterogeneous databases. SAC 2005: 354-358
15		Huiqun Yu, Dongmei Liu, Li Yang, Xudong He: Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174
	2004
14		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Approach to Designing Secure Software Architectures. HASE 2004: 289-290
13		Li Yang, Raimund K. Ege, Huiqun Yu: Enhancing Mediation Security by Aspect-Oriented Approach. SEKE 2004: 155-160
12		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
11		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Integrating Security Administration into Software Architectures Design. SEKE 2004: 416-420
10		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
9		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Formal Software Architecture Design of Secure Distributed Systems. SEKE 2003: 450-457
	2002
8		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: A Formal Method for Analyzing Software Architecture Models in SAM. COMPSAC 2002: 645-652
7		Huiqun Yu, Xudong He, Yi Deng, Lian Mo: Formal Analysis of Real-Time Systems with SAM. ICFEM 2002: 275-286
6		Huiqun Yu, Xudong He, Shu Gao, Yi Deng: Modeling and Analyzing SMIL Documents in SAM. ISMSE 2002: 132-139
	1999
5		Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu: Deciding quasi-reducibility using witnessed test sets. J. Comput. Sci. Technol. 14(2): 146-152 (1999)
	1998
4		Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu: Proving Inductive Theorems Using Witnessed Test Sets. ICFEM 1998: 158-164
3		Huiqun Yu, Guoxin Song, Yongqiang Sun: Completeness of the accumulation calculus. J. Comput. Sci. Technol. 13(1): 25-31 (1998)
	1996
2		Huiqun Yu, Yongqiang Sun: Hybridity in embedded computing systems. J. Comput. Sci. Technol. 11(1): 90-96 (1996)
	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	[12]
2	Ting-ting Cen	[22] [23] [26] [27] [28]
3	Haibo Chen	[21]
4	Liqiong Chen	[24] [29] [31] [32] [33] [34] [36] [37] [38] [40] [42] [43] [44]
5	Ting Chen	[41]
6	Kendra Cooper (Kendra M. L. Cooper)	[12] [30]
7	Yi Deng	[6] [7] [8] [9] [10] [11] [12] [14]
8	Junhua Ding	[10]
9	Raimund K. Ege	[13] [16] [17] [19]
10	Guisheng Fan	[24] [29] [31] [32] [33] [34] [36] [37] [38] [40] [42] [43] [44]
11	Shu Gao	[6] [9] [12] [18]
12	Chunhua Gu	[38] [42]
13	Jian-min Han	[22] [23] [25] [26] [27] [28]
14	Xudong He	[6] [7] [8] [9] [10] [11] [12] [14] [15] [18] [20]
15	Yu Juan	[23] [26] [27] [28]
16	Xi-yu Li	[25]
17	Dongmei Liu	[15] [18] [20] [24] [29] [31] [32] [33] [36] [37] [43] [44]
18	Lian Mo	[7] [8] [11] [14]
19	Paritosh K. Pandya	[1]
20	Zhilin Qian	[35] [39] [45]
21	Tong Ruan	[40]
22	Zhiqing Shao	[4] [5] [20]
23	Tianjun Shi	[10]
24	Guoxin Song	[3] [4] [5]
25	Hua Sun	[35] [39] [45]
26	Yongqiang Sun	[1] [2] [3] [4] [5]
27	Kun Tian	[30]
28	Jun Tong	[25]
29	Zhanquan Wang	[21]
30	Li Yang	[13] [15] [16] [17] [18] [19]
31	Nianhua Yang	[35] [39] [45]
32	Caizhu Yu	[34]
33	Kang Zhang	[30]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page