UM

Browse/Search Results:  1-7 of 7 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Model checking bounded continuous-time Extended Linear Duration Invariants Conference paper
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
Authors:  An J.;  Zhan N.;  Li X.;  Zhang M.;  Yi W.
Favorite | View/Download:5/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/02/14
Duration calculus  ELDI  Model checking  Quantified linear real arithmetic  Timed automata  
QRDChecker: A model checking tool for QRDC Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 3,Page: 355-364
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Finitary property  Interval temporal logic  Model checking  Reactive system  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite | View/Download:2/0 | TC[WOS]:3 TC[Scopus]:0 | Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite | View/Download:3/0 | TC[WOS]:2 TC[Scopus]:0 | Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic  
Rigorous design of a fault diagnosis and isolation algorithm Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Gao J.;  Xu Q.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Towards a formal semantics of verilog using duration calculus Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Schneider G.;  Xu Q.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04
Compositional reasoning using the assumption-commitment paradigm Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Xu Q.;  Swarup M.
Favorite | View/Download:3/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/04/04