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  
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  
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 | View/Download:6/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/11/06
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