Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Shengchao Qin
2010 – today
- 2013
[j11]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen: Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013)- 2012
- [j10]Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He: The stochastic semantics and verification for periodic control systems. SCIENCE CHINA Information Sciences 55(12): 2675-2693 (2012)
- [j9]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)
- [j8]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. 77(9): 1006-1036 (2012)
- [c46]Granville Barnett, Shengchao Qin: A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. ICFEM 2012: 38-53
- [c45]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146
- [c44]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu: The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187
- [c43]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira: A Timed CSP Model for the Time-Triggered Language Giotto. SEW 2012: 110-119
- [c42]João F. Ferreira, Guanhua He, Shengchao Qin: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE 2012: 51-58
- [c41]
- [c40]
- [c39]Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin: Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185
- [c38]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247
- [c37]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu: MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149
- [i1]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He: MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012)
- 2011
- [c36]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
- [c35]Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He: Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385
- [c34]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin: Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401
- [c33]Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
- [e3]Shengchao Qin, Zongyan Qiu (Eds.): Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9
- 2010
- [j7]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)
- [c32]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin: Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187
- [c31]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin: Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484
- [c30]Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin: Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
- [e2]Shengchao Qin (Ed.): Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Lecture Notes in Computer Science 6445, Springer 2010, ISBN 978-3-642-16689-1
2000 – 2009
- 2009
- [j6]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: PTSC: probability, time and shared-variable concurrency. ISSE 5(4): 271-284 (2009)
- [c29]Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin: Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181
- [c28]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127
- [e1]Wei-Ngan Chin, Shengchao Qin (Eds.): TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. IEEE Computer Society 2009, ISBN 978-0-7695-3757-3
- 2008
- [j5]Chenguang Luo, Shengchao Qin: Separation Logic for Multiple Inheritance. Electr. Notes Theor. Comput. Sci. 212: 27-40 (2008)
- [j4]Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-like programs with Hoare logic. Frontiers of Computer Science in China 2(4): 344-356 (2008)
- [j3]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008)
- [c27]Chenguang Luo, Guanhua He, Shengchao Qin: A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008: 127-134
- [c26]Florin Craciun, Shengchao Qin, Wei-Ngan Chin: A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146
- [c25]Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin: Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160
- [c24]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Enhancing modular OO verification with separation logic. POPL 2008: 87-99
- [c23]Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
- 2007
- [c22]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364
- [c21]
- [c20]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320
- [c19]Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388
- [c18]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
- [j2]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)
- [c17]Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778
- [c16]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen: Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189
- [c15]Jifeng He, Shengchao Qin, Adnan Sherif: Constructing Property-Oriented Models for Verification. UTP 2006: 85-100
- 2005
- [c14]Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80
- [c13]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
- [c12]Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard: Memory Usage Verification for OO Programs. SAS 2005: 70-86
- 2004
- [c11]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
- [c10]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498
- [c9]Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin: An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203
- [c8]Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186
- [c7]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254
- 2003
- [c6]Shengchao Qin, Wei-Ngan Chin: Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300
- [c5]Shengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340
- [c4]
- 2002
- [j1]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)
- [c3]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
- 2001
- [c2]Shengchao Qin, Zongyan Qiu, Jifeng He: Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-30 21:54 CEST by the dblp team