Zongyan Qiu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shengchao Qin

> Home > Persons > Zongyan Qiu

Publications

2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/YangCPZQQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/YangCPZQQ13
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin:
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7(5): 710-728 (2013)
2012
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ZhuXMQQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ZhuXMQQ12
Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187
2011
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/QinCXMQZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/QinCXMQZ11
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/2011
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. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9 [contents]
2010
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangQQC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangQQC10
Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin:
Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66
2008
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/LuoQQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/LuoQQ08
Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2(4): 344-356 (2008)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LuoQQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LuoQQ08
Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158
2006
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/QinCHQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/QinCHQ06
Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2(1): 17-38 (2006)
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/LongQQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/LongQQ03
Quan Long, Zongyan Qiu, Shengchao Qin:
The Equivalence of Statecharts. ICFEM 2003: 125-143
2002
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/QinHQZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/QinHQZ02
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/QinHQZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/QinHQZ02
Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apaqs/QinQH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apaqs/QinQH01
Shengchao Qin, Zongyan Qiu, Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.