Chaochen Zhou

15 papers B 2C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2013 — conf
Super-Dense Computation in Verification of Hybrid CSP Processes.
FACS
Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
2010 B conf
A Calculus for Hybrid CSP.
APLAS
Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou
2010 J jnl
Recent advances in program verification through computer algebra.
Frontiers Comput. Sci. China
Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia
2007 C conf
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.
ICTAC
Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
2005 — conf
Program Verification by Using DISCOVERER.
VSTTE
Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou
2000 J jnl
Completeness of neighbourhood logic.
J. Log. Comput.
Rana Barua, Suman Roy, Chaochen Zhou
1998 J jnl
An overview of Duration Calculus.
J. Comput. Sci. Technol.
Chaochen Zhou
1995 J jnl
A Case Study of Optimization.
Comput. J.
Weidong He, Chaochen Zhou
1995 B conf
A Duration Calculus with Infinite Intervals.
FCT
Chaochen Zhou, Dang Van Hung, Xiaoshan Li
1995 — conf
A Formal Description of Hybrid Systems.
Hybrid Systems
Chaochen Zhou, Ji Wang, Anders P. Ravn
1994 — conf
A Formal Proof of the Deadline Driven Scheduler.
FTRTFT
Zheng Yuhua, Chaochen Zhou
1994 — conf
Formal Design of Hybrid Systems.
FTRTFT
Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya
1994 — conf
Linear Duration Invariants.
FTRTFT
Chaochen Zhou
1993 — conf
Duration Calculi: An Overview (Invited Paper).
Formal Methods in Programming and Their Applications
Chaochen Zhou
1992 — conf
Specification Of Embedded, Real-time Systems.
RTS
Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou