Zhou Chaochen

19 papers A 2B 1C 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2006 C conf
Program Verification Through Computer Algebra.
ICFEM
Zhou Chaochen
2004 — book
Duration Calculus - A Formal Approach to Real-Time Systems
Zhou Chaochen, Michael R. Hansen
2002 — conf
UNU and UNU/IIST.
10th Anniversary Colloquium of UNU/IIST
Zhou Chaochen
1999 A conf
Completeness of Neighbourhood Logic.
STACS
Rana Barua, Suman Roy, Zhou Chaochen
1999 J jnl
Probabilistic Duration Calculus for Continuous Time.
Formal Aspects Comput.
Dang Van Hung, Zhou Chaochen
1998 J jnl
A computer-aided geometric approach to inverse kinematics.
J. Field Robotics
Hongguang Fu, Lu Yang, Zhou Chaochen
1998 — conf
Duration Calculus, a Logical Approach to Real-Time Systems.
AMAST
Zhou Chaochen
1997 — conf
An Adequate First Order Interval Logic.
COMPOS
Zhou Chaochen, Michael R. Hansen
1997 J jnl
Duration Calculus: Logical Foundations.
Formal Aspects Comput.
Michael R. Hansen, Zhou Chaochen
1995 J jnl
Finite Divergence.
Theor. Comput. Sci.
Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
1993 A conf
Decidability and Undecidability Results for Duration Calculus.
STACS
Zhou Chaochen, Michael R. Hansen, Peter Sestoft
1992 J jnl
A Model for Synchronous Switching Circuits and its Theory of Correctness.
Formal Methods Syst. Des.
Zhou Chaochen, C. A. R. Hoare
1992 — conf
An Extended Duration Calculus for Hybrid Real-Time Systems.
Hybrid Systems
Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
1992 — conf
Duration Specifications for Shared Processors.
FTRTFT
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
1991 J jnl
A Calculus of Durations.
Inf. Process. Lett.
Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn
1991 — conf
Semantics and Completeness of Duration Calculus.
REX Workshop
Michael R. Hansen, Zhou Chaochen
1990 B conf
Specification & Verification of Higher Order Processes.
MFCS
Michael R. Hansen, Zhou Chaochen
1987 — conf
Specifying Communicating Systems with Temporal Logic.
Temporal Logic in Specification
Zhou Chaochen
1982 — conf
Weakest environment of communicating processes.
AFIPS National Computer Conference
Zhou Chaochen