@ARTICLE{
author={Popovic Miroslav V|0000-0001-8385-149X,Popovic Marko M|0000-0002-1957-0092,Kordic Branislav A|,Zhu Huibiao|},
year={2023},
title={Complete Formal Verification of the PSTM Transaction Scheduler},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={20},
number={1},
pages={307-327},
document_type={Article},
} 

@ARTICLE{
author={Li Peimu|,Yin Jiaqi|,Zhu Huibiao|,Xiao Lili|,Popovic Miroslav V|0000-0001-8385-149X},
year={2022},
title={Formal Analysis and Verification of DPSTM v2 Architecture Using CSP},
journal={2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022)},
volume={},
number={},
pages={872-877},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Ailun|,Zhu Huibiao|,Popovic Miroslav V|0000-0001-8385-149X,Xiang Shuangqing|,Zhang Lei|},
year={2020},
title={Formal analysis and verification of the PSTM architecture using CSP},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={165},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Xu Chao|,Wu Xi|,Zhu Huibiao|,Popovic Miroslav V|0000-0001-8385-149X},
year={2019},
title={Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP},
journal={2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)},
volume={},
number={},
pages={240-247},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Ailun|,Popovic Miroslav V|0000-0001-8385-149X,Zhu Huibiao|},
year={2017},
title={Formalization and Verification of the PSTM Architecture},
journal={2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017)},
volume={},
number={},
pages={427-435},
document_type={Proceedings Paper},
}