Shengchao Qin

	2012
47		Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)
	2011
46		Shengchao Qin, Zongyan Qiu: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings Springer 2011
45		Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin: A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV 2011: 293-309
44		Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He: Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385
43		Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin: Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401
42		Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
	2010
41		Shengchao Qin: Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings Springer 2010
40		Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin: Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
39		Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin: Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484
38		Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin: Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
37		Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin: Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010)
	2009
36		Wei-Ngan Chin, Shengchao Qin: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China IEEE Computer Society 2009
35		Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin: Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181
34		Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127
33		Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
	2008
32		Chenguang Luo, Guanhua He, Shengchao Qin: A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008: 127-134
31		Florin Craciun, Shengchao Qin, Wei-Ngan Chin: A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146
30		Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin: Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160
29		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Enhancing modular OO verification with separation logic. POPL 2008: 87-99
28		Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
27		Chenguang Luo, Shengchao Qin: Separation Logic for Multiple Inheritance. Electr. Notes Theor. Comput. Sci. 212: 27-40 (2008)
26		Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-like programs with Hoare logic. Frontiers of Computer Science in China 2(4): 344-356 (2008)
25		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
	2007
24		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364
23		Shengchao Qin, Guanhua He: Linking Object-Z with Spec#. ICECCS 2007: 185-196
22		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320
21		Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
20		Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin: Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266
	2006
19		Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
18		Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
17		Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100
16		Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu: From Statecharts to Verilog: a formal approach to hardware/software co-specification. ISSE 2(1): 17-38 (2006)
	2005
15		Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
14		Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen: Verifying safety policies with size properties and alias controls. ICSE 2005: 186-195
13		Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard: Memory Usage Verification for OO Programs. SAS 2005: 70-86
	2004
12		Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
11		Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
10		Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin: An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203
9		Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
8		Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254
	2003
7		Shengchao Qin, Wei-Ngan Chin: Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300
6		Shengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340
5		Quan Long, Zongyan Qiu, Shengchao Qin: The Equivalence of Statecharts. ICFEM 2003: 125-143
	2002
4		Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
3		Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)
	2001
2		Shengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148
1		Shengchao Qin, Jifeng He: Partitioning Program into Hardware and Software. APSEC 2001: 309-316

Coauthor Index

1	Jonathan P. Bowen	[18] [33] [47]
2	Aziem Chawdhary	[42]
3	Wei-Ngan Chin	[6] [7] [8] [10] [13] [14] [16] [20] [22] [24] [29] [30] [31] [34] [35] [36] [37] [38] [39] [40] [43] [44] [45]
4	Florin Craciun	[8] [31] [34] [37] [40] [45]
5	Cristina David	[20] [22] [24] [29] [43]
6	Jin Song Dong	[6] [9] [11] [15] [19] [21] [25]
7	Cristian Gherghina	[43] [45]
8	Ping Hao	[11] [15] [19] [25]
9	Guanhua He	[23] [32] [34] [35] [37] [39] [40] [44]
10	Jifeng He	[1] [2] [3] [4] [12] [16] [17] [18] [33] [47]
11	Siau-Cheng Khoo	[14]
12	Quang Loc Le	[45]
13	Xiaoshan Li	[12]
14	Zhiming Liu	[12]
15	Quan Long	[5]
16	Chenguang Luo	[26] [27] [28] [32] [35] [37] [39] [40] [44]
17	Malcolm Munro	[42]
18	Huu Hai Nguyen	[13] [14] [20] [22] [24] [29] [30]
19	Corneliu Popeea	[14] [30]
20	Zongyan Qiu	[2] [3] [4] [5] [16] [26] [28] [38] [42] [46]
21	Martin C. Rinard	[8] [13]
22	Jeff W. Sanders (Jeffrey W. Sanders)	[47]
23	Adnan Sherif	[17]
24	Jun Sun	[9] [11] [21] [25]
25	Viet-Anh Vu Tran	[10]
26	Razvan Voicu	[45]
27	Hai H. Wang	[21]
28	Shengyi Wang	[38]
29	Wei Xiong	[42]
30	Fan Yang	[47]
31	Wang Yi	[11] [25]
32	Naixiao Zhang	[3] [4]
33	Xian Zhang	[15] [19]
34	Huibiao Zhu	[18] [33] [42] [47]

Last update Thu Feb 16 00:55:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page