Si Liu
发表
Peter Csaba Ölveczky,
José Meseguer,
Si Liu,
2016
.
Si Liu,
siliu,
2019
.
P. C. Ölveczky,
J. Meseguer,
D. Basin,
2022,
Proc. ACM Program. Lang..
Xian-He Sun,
Si Liu,
Xiaowen Li,
2015,
2015 IEEE International Conference on Big Data (Big Data).
Indranil Gupta,
José Meseguer,
Si Liu,
2014,
ICFEM.
Carl A. Gunter,
Wei Yang,
Qi Wang,
2019,
CCS.
Michael E. Papka,
Xian-He Sun,
Rajkumar Kettimuthu,
2016,
2016 IEEE International Conference on Big Data (Big Data).
Indranil Gupta,
José Meseguer,
Si Liu,
2015,
Leibniz Trans. Embed. Syst..
Si Liu,
2022,
ACM Trans. Softw. Eng. Methodol..
Si Liu,
2022,
ACM Trans. Softw. Eng. Methodol..
Lei Liang,
Si Liu,
Si Liu,
2021,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Peter Csaba Ölveczky,
José Meseguer,
Qi Wang,
2020,
NFM.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2019,
Formal Aspects of Computing.
Peter Csaba Ölveczky,
José Meseguer,
Min Zhang,
2019,
TACAS.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018,
FASE.
Indranil Gupta,
José Meseguer,
Rakesh B. Bobba,
2017,
Assured Cloud Computing.
Peter Csaba Ölveczky,
Indranil Gupta,
José Meseguer,
2018
.
Si Liu,
Xi Wu,
Lei Chen,
2012,
2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.
Si Liu,
Yongxin Zhao,
Huibiao Zhu,
2011,
2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Qin Li,
Si Liu,
Qian Wang,
2011,
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.
Qin Li,
Si Liu,
Yongxin Zhao,
2010,
UTP.
Rajkumar Kettimuthu,
Sungwook Chung,
Eun-Sung Jung,
2019,
IEICE Trans. Inf. Syst..
M. Papka,
R. Kettimuthu,
Eun-Sung Jung,
2022
.