timed csp
Recently Published Documents

TOTAL DOCUMENTS

42

(FIVE YEARS 1)

H-INDEX

11

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP

Journal of Ubiquitous Systems and Pervasive Networks ◽

10.5383/juspn.11.01.001 ◽

2019 ◽

Vol 11 (1) ◽

pp. 01-09

Author(s):

Ming Zhu ◽

Xiaoliu Cui ◽

Guodong Fan

Keyword(s):

Response Time ◽

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Download Full-text

Model checking Timed CSP

10.29007/6fqk ◽

2018 ◽

Author(s):

Philip Armstrong ◽

Gavin Lowe ◽

Joël Ouaknine ◽

Bill Roscoe

Keyword(s):

Model Checking ◽

Discrete Time ◽

Timed Csp ◽

Though Timed CSP was developed 25 years ago and the CSP-basedrefinement checker FDR was first released 20 years ago, there has never beena version of this tool for Timed CSP. In this paper we report on the creation ofsuch a version, based on the digitisation results of Ouaknine} andthe associated development of discrete-time versions of Timed CSP withassociated models.

Download Full-text

Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP

Procedia Computer Science ◽

10.1016/j.procs.2018.10.148 ◽

2018 ◽

Vol 141 ◽

pp. 48-55 ◽

Author(s):

Ming Zhu ◽

Jing Li ◽

Guodong Fan ◽

Kunsheng Zhao

Keyword(s):

Response Time ◽

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Download Full-text

Formal Verification of Behavioral AADL Models by Stateful Timed CSP

IEEE Access ◽

10.1109/access.2017.2770323 ◽

2017 ◽

Vol 5 ◽

pp. 27421-27438 ◽

Author(s):

Feng Zhang ◽

Yongwang Zhao ◽

Dianfu Ma ◽

Wensheng Niu

Keyword(s):

Formal Verification ◽

Download Full-text

Model Checking of Real-time System Based on Timed CSP

10.14257/astl.2014.79.03 ◽

2014 ◽

Author(s):

Jing Guo ◽

Zhong-wei Xu ◽

Meng Mei

Keyword(s):

Model Checking ◽

Real Time ◽

Time System ◽

Real Time System ◽

Download Full-text

Modeling and Verifying the TTCAN Protocol Using Timed CSP

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.8 ◽

2014 ◽

Author(s):

Qinwen Ran ◽

Xi Wu ◽

Xin Li ◽

Jianqi Shi ◽

Jian Guo ◽

...

Keyword(s):

Download Full-text

Modeling and verifying hierarchical real-time systems using stateful timed CSP

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2430536.2430537 ◽

2013 ◽

Vol 22 (1) ◽

pp. 1-29 ◽

Author(s):

Jun Sun ◽

Yang Liu ◽

Jin Song Dong ◽

Yan Liu ◽

Ling Shi ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Timed Csp ◽

Download Full-text

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_13 ◽

2013 ◽

pp. 182-198 ◽

Author(s):

Yuanjie Si ◽

Jun Sun ◽

Yang Liu ◽

Ting Wang

Keyword(s):

Model Checking ◽

Symmetry Reduction ◽

Download Full-text

A Timed CSP Model for the Time-Triggered Language Giotto

2012 35th Annual IEEE Software Engineering Workshop ◽

10.1109/sew.2012.18 ◽

2012 ◽

Author(s):

Yanhong Huang ◽

Yongxin Zhao ◽

Shengchao Qin ◽

Guanhua He ◽

Joao F. Ferreira

Keyword(s):

Download Full-text

Checking noninterference in Timed CSP

Formal Aspects of Computing ◽

10.1007/s00165-012-0251-6 ◽

2012 ◽

Vol 25 (1) ◽

pp. 3-35 ◽

Author(s):

A. W. Roscoe ◽

Jian Huang

Keyword(s):

Download Full-text