UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-6 of 6 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
The rely/guarantee approach to verifying concurrent BPEL programs Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012,Volume: 7504 LNCS,Page: 172-187
Authors:  Zhu H.;  Xu Q.;  Ma C.;  Qin S.;  Qiu Z.
Favorite |  | TC[WOS]:0 TC[Scopus]:1 | Submit date:2019/04/04
Rate monotonic scheduling re-analysed Journal article
Information Processing Letters, 2010,Volume: 110,Issue: 6,Page: 226-231
Authors:  Xu Q.;  Zhan N.
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Real Time Systems  Schedulability Conditions  Scheduling  
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions  
QRDChecker:一个 QRDC 模型检验工具 Journal article
软件学报, 2005,Volume: 16,Issue: 03,Page: 355-364
Authors:  裴玉;  徐启文;  李宣东;  郑国梁
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/03
模型检验  有限性性质  反应式系统  时段时序逻辑  
Completeness of temporal logics over infinite intervals Journal article
Discrete Applied Mathematics, 2004,Volume: 136,Issue: 1,Page: 87-103
Authors:  Wang H.;  Xu Q.
Favorite |  | TC[WOS]:6 TC[Scopus]:7 | Submit date:2019/04/04
Completeness  Henkin's Construction  Interval Temporal Logic  
Checking interval based properties for reactive systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Venice, Italy, 1 11, 2004 - 1 13, 2004
Authors:  Yu, Pei;  Qiwen, Xu
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/11/06