@ARTICLE{
author={Maric Filip M,Scholz Bernhard,Subotic Pavle},
year={2025},
title={Formal Verification of a Fail-Safe Cross-Chain Bridge},
journal={6TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS, FMBC 2025},
volume={129},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bertrand Nathalie,Ghorpade Pranav,Rubin Sasha,Scholz Bernhard,Subotic Pavle},
year={2025},
title={Reusable Formal Verification of DAG-Based Consensus Protocols},
journal={NASA FORMAL METHODS, NFM 2025},
volume={15682},
number={},
pages={138-158},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Urban Caterina,Subotic Pavle,Drobnjakovic Filip},
year={2025},
title={Static analysis by abstract interpretation against data leakage in machine learning},
journal={SCIENCE OF COMPUTER PROGRAMMING},
volume={246},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Drobnjakovic Filip,Subotic Pavle,Urban Caterina},
year={2024},
title={An Abstract Interpretation-Based Data Leakage Static Analysis},
journal={THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024},
volume={14777},
number={},
pages={109-126},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Yu,Mechtaev Sergey,Subotic Pavle,Roychoudhury Abhik},
year={2023},
title={Program Repair Guided by Datalog-Defined Static Analysis},
journal={PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023},
volume={},
number={},
pages={1216-1228},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kupresanin Matija,Subotic Pavle},
year={2023},
title={Ambit: Verification of Azure RBAC},
journal={PROCEEDINGS OF THE 2023 CLOUD COMPUTING SECURITY WORKSHOP, CCSW 2023},
volume={},
number={},
pages={31-40},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Arslanagic Alen,Subotic Pavle,Perez Jorge A},
year={2023},
title={Bit-Vector Typestate Analysis},
journal={FORMAL ASPECTS OF COMPUTING},
volume={35},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Boue Laurent,Kunireddy Pratap,Subotic Pavle},
year={2023},
title={Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects},
journal={2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN},
volume={},
number={},
pages={1-6},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Yu,Subotic Pavle,Letier Emmanuel,Mechtaev Sergey,Roychoudhury Abhik},
year={2023},
title={Efficient SMT-Based Network Fault Tolerance Verification},
journal={FORMAL METHODS, FM 2023},
volume={14000},
number={},
pages={92-100},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Arslanagic Alen,Subotic Pavle,Perez Jorge A},
year={2022},
title={Scalable Typestate Analysis for Low-Latency Environments},
journal={INTEGRATED FORMAL METHODS, IFM 2022},
volume={13274},
number={},
pages={322-340},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Arch Samuel,Hu Xiaowen,Zhao David,Subotic Pavle,Scholz Bernhard},
year={2022},
title={Building a Join Optimizer for Souffle},
journal={LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022)},
volume={13474},
number={},
pages={83-102},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Subotic Pavle,Milikic Lazar,Stojic Milan},
year={2022},
title={A Static Analysis Framework for Data Science Notebooks},
journal={2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022)},
volume={},
number={},
pages={13-22},
document_type={Proceedings Paper},
}