Chaochen Zhou

According to our database, Chaochen Zhou authored at least 33 papers between 1982 and 2013.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2013

Super-Dense Computation in Verification of Hybrid CSP Processes.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2010

Recent advances in program verification through computer algebra.

Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia

Frontiers Comput. Sci. China, 2010

A Calculus for Hybrid CSP.

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2007

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.

Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Program Verification Through Computer Algebra.

Zhou Chaochen

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Program Verification by Using DISCOVERER.

Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou

Proceedings of the Verified Software: Theories, 2005

2004

Duration Calculus - A Formal Approach to Real-Time Systems

Zhou Chaochen, Michael R. Hansen

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-06784-0, 2004

2002

UNU and UNU/IIST.

Zhou Chaochen

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2000

Completeness of neighbourhood logic.

Rana Barua, Suman Roy, Chaochen Zhou

J. Log. Comput., 2000

1999

Probabilistic Duration Calculus for Continuous Time.

Dang Van Hung, Zhou Chaochen

Formal Aspects Comput., 1999

1998

A computer-aided geometric approach to inverse kinematics.

Hongguang Fu, Lu Yang, Zhou Chaochen

J. Field Robotics, 1998

An overview of Duration Calculus.

Chaochen Zhou

J. Comput. Sci. Technol., 1998

Duration Calculus, a Logical Approach to Real-Time Systems.

Zhou Chaochen

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Duration Calculus: Logical Foundations.

Michael R. Hansen, Zhou Chaochen

Formal Aspects Comput., 1997

An Adequate First Order Interval Logic.

Zhou Chaochen, Michael R. Hansen

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995

Finite Divergence.

Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen

Theor. Comput. Sci., 1995

A Case Study of Optimization.

Weidong He, Chaochen Zhou

Comput. J., 1995

A Formal Description of Hybrid Systems.

Chaochen Zhou, Ji Wang, Anders P. Ravn

Proceedings of the Hybrid Systems III: Verification and Control, 1995

A Duration Calculus with Infinite Intervals.

Chaochen Zhou, Dang Van Hung, Xiaoshan Li

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

Linear Duration Invariants.

Chaochen Zhou

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

A Formal Proof of the Deadline Driven Scheduler.

Zheng Yuhua, Chaochen Zhou

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Formal Design of Hybrid Systems.

Xinyao Yu, Ji Wang, Chaochen Zhou, Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Decidability and Undecidability Results for Duration Calculus.

Zhou Chaochen, Michael R. Hansen, Peter Sestoft

Proceedings of the STACS 93, 1993

Duration Calculi: An Overview (Invited Paper).

Chaochen Zhou

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

A Model for Synchronous Switching Circuits and its Theory of Correctness.

Zhou Chaochen, C. A. R. Hoare

Formal Methods Syst. Des., 1992

An Extended Duration Calculus for Hybrid Real-Time Systems.

Zhou Chaochen, Anders P. Ravn, Michael R. Hansen

Proceedings of the Hybrid Systems, 1992

Duration Specifications for Shared Processors.

Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

Specification Of Embedded, Real-time Systems.

Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

A Calculus of Durations.

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn

Inf. Process. Lett., 1991

Semantics and Completeness of Duration Calculus.

Michael R. Hansen, Zhou Chaochen

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Specification & Verification of Higher Order Processes.

Michael R. Hansen, Zhou Chaochen

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1987

Specifying Communicating Systems with Temporal Logic.

Zhou Chaochen

Proceedings of the Temporal Logic in Specification, 1987

1982

Weakest environment of communicating processes.

Zhou Chaochen

Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982