Author image not provided
 Jinsong Dong

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article7.50
Citation Count15
Publication count2
Publication years2012-2013
Available for download1
Average downloads per article466.00
Downloads (cumulative)466
Downloads (12 Months)52
Downloads (6 Weeks)4
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


2 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 2 of 2
Sort by:

1 published by ACM
March 2013 ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 22 Issue 1, February 2013
Publisher: ACM
Bibliometrics:
Citation Count: 10
Downloads (6 Weeks): 4,   Downloads (12 Months): 52,   Downloads (Overall): 466

Full text available: PDFPDF
Modeling and verifying complex real-time systems are challenging research problems. The de facto approach is based on Timed Automata, which are finite state automata equipped with clock variables. Timed Automata are deficient in modeling hierarchical complex systems. In this work, we propose a language called Stateful Timed CSP and an ...
Keywords: PAT, Stateful Timed CSP, Zone Abstraction, Non-Zenoness

2
July 2012 ICECCS '12: Proceedings of the 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 4

Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is hence interesting to reason parametrically, by considering that the delays are parameters (unknown constants) ...
Keywords: CSP, parametric timed verification, model checking, robustness, refinement



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us