English | 繁體

Search in the results

UM

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
Modeling and Verifying PSO Memory Model Using CSP Journal article
Xiao, Lili, Zhu, Huibiao, Xu, Qiwen, Vinh, Phan Cong. Modeling and Verifying PSO Memory Model Using CSP[J]. MOBILE NETWORKS & APPLICATIONS, 2022, 27(5), 2068–2083.
Authors:  Xiao, Lili;  Zhu, Huibiao;  Xu, Qiwen;  Vinh, Phan Cong
Favorite | TC[WOS]:4 TC[Scopus]:5  IF:2.3/2.6 | Submit date：2022/08/05
Formal Methods  Modeling  Partial Store Order (Pso)  Process Algebra Csp  Verification  Weak Memory Model  
Formal Modelling and Verification of the RTPS Behavior Module Conference paper
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu. Formal Modelling and Verification of the RTPS Behavior Module[C]:IEEE, 2021, 127-134.
Authors:  Jiaqi Yin;  Huibiao Zhu;  Yuan Fei;  Qiwen Xu
Favorite | TC[WOS]:1 TC[Scopus]:2 | Submit date：2021/12/08
Csp  Rtps Behavior Module  Modeling  Verification  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
Formalization and verification of RTPS StatefulWriter module using CSP Conference paper
Yin, Jiaqi, Zhu, Huibiao, Fei, Yuan, Xu, Qiwen, Wu, Ruobiao. Formalization and verification of RTPS StatefulWriter module using CSP[C], Pittsburgh:KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019, 147-152.
Authors:  Yin, Jiaqi;  Zhu, Huibiao;  Fei, Yuan;  Xu, Qiwen;  Wu, Ruobiao
Favorite | TC[Scopus]:4 | Submit date：2022/05/23
Csp  Modeling  Pat  Rtps Statefulwriter Module  Verification  
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst Conference paper
Xie, Wanting, Zhu, Huibiao, Xu, Qiwen, IEEE. BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst[C], 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2017, 50-59.
Authors:  Xie, Wanting;  Zhu, Huibiao;  Xu, Qiwen;  IEEE
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2018/10/30
Bigrtimo Calculus  Mobile Systems  Operational Semantics  Algebraic Properties  
Towards a modeling language for cyber-physical systems Conference paper
Zhu, Longfei, Zhao, Yongxin, Zhu, Huibiao, Xu, Qiwen. Towards a modeling language for cyber-physical systems[C]. Springer Verlag, 2013, 394-411.
Authors:  Zhu, Longfei;  Zhao, Yongxin;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[Scopus]:1 | Submit date：2018/11/06