×
验证码:
换一张
Forgotten Password?
Stay signed in
Login With UMPASS
English
|
繁體
Login With UMPASS
Log In
ALL
ORCID
TI
AU
PY
SU
KW
TY
JN
DA
IN
PB
FP
ST
SM
Study Hall
Image search
Paste the image URL
Home
Faculties & Institutes
Scholars
Publications
Subjects
Statistics
News
Search in the results
Faculties & Institutes
Faculty of Scien... [4]
Authors
XU QIWEN [4]
Document Type
Conference paper [4]
Journal article [2]
Date Issued
2022 [1]
2021 [2]
2019 [1]
2017 [1]
2013 [1]
Language
英語English [6]
Source Publication
Formal Aspects o... [1]
Lecture Notes in... [1]
MOBILE NETWORKS ... [1]
Proceedings - 20... [1]
Proceedings of t... [1]
Indexed By
SCIE [2]
CPCI-S [1]
Funding Organization
Funding Project
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-6 of 6
Help
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Submit date Ascending
Submit date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
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