Chaochen Zhou

Publication Activity (10 Years)

Years Active: 1992-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Constraint Satisfaction Problems

Top Venues

Publications

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