@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,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},
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,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},
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,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},
}