@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={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},
}