Search Results - "Zhou Chaochen"

Probabilistic duration calculus for continuous time by VAN HUNG, D, ZHOU CHAOCHEN

“…This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed to be written as formulas in…”
Get full text

Recent advances in program verification through computer algebra by Yang, Lu, Zhou, Chaochen, Zhan, Naijun, Xia, Bican

“…In this paper, we summarize the results on program verification through semi-algebraic systems (SASs) solving that we have obtained, including automatic…”
Get full text

Message from the QSIC 2012 General Chair

“…Presents the welcome message from the conference proceedings…”
Get full text

Duration calculus : Logical foundations by HANSEN, M. R, CHAOCHEN, Z

“…The Duration Calculus (abbreviated DC) represents a logical approach for formal design of real-time systems, where real numbers are used to model time and…”
Get full text

An overview of Duration Calculus by Zhou, Chaochen

Get full text

Specification Of Embedded, Real-time Systems by Skakkebaek, J.U., Ravn, A.P., Rischel, H., Zhou Chaochen

“…An approach to requirements specification and subsequent verification of designs for embedded, real-time systems is presented. A system is given by a…”
Get full text

Completeness of neighbourhood logic by Barua, R, Roy, S, Chaochen, Z

“…This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL…”
Get full text

Finite divergence by Hansen, Michael R., Pandya, Paritosh K., Chaochen, Zhou

“…Real-time and hybrid systems have been studied so far under the assumption of finite variability. In this paper, we consider models in which systems exhibiting…”
Get full text

Denote CSP with temporal formulas by Zhou, Chaochen, Liu, Xinxin

Get full text

A model for synchronous switching circuits and its theory of correctness by Zhou, Chaochen, Hoare, C. A. R.

“…Following Bryant, an algorithm is given for translating a switching circuit design into a program that simulates its dynamic behavior. A theory of assertions…”
Get full text

A computer-aided geometric approach to inverse kinematics by Hongguang, Fu, Lu, Yang, Chaochen, Zhou

“…This paper presents a geometric approach to solving the inverse kinematics for three‐joint placeable robotic manipulators. The distinct feature of this…”
Get full text