Autori: Subotic Pavle
| Naslov | Formal Verification of a Fail-Safe Cross-Chain Bridge (Proceedings Paper) |
| Autori | Maric Filip M  Scholz Bernhard Subotic Pavle
|
| Info | 6TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS, FMBC 2025, (2025), vol. 129 br. , str. - |
| Ispravka | Web of Science Članak Elečas |
     |
| Naslov | Reusable Formal Verification of DAG-Based Consensus Protocols (Proceedings Paper) |
| Autori | Bertrand Nathalie Ghorpade Pranav Rubin Sasha Scholz Bernhard Subotic Pavle |
| Info | NASA FORMAL METHODS, NFM 2025, (2025), vol. 15682 br. , str. 138-158 |
| Projekat | Fantom Foundation; PaVeDyS project [ANR-23-CE48-0005] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Static analysis by abstract interpretation against data leakage in machine learning (Article) |
| Autori | Urban Caterina Subotic Pavle Drobnjakovic Filip |
| Info | SCIENCE OF COMPUTER PROGRAMMING, (2025), vol. 246 br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | An Abstract Interpretation-Based Data Leakage Static Analysis (Proceedings Paper) |
| Autori | Drobnjakovic Filip Subotic Pavle Urban Caterina |
| Info | THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2024, (2024), vol. 14777 br. , str. 109-126 |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Program Repair Guided by Datalog-Defined Static Analysis (Proceedings Paper) |
| Autori | Liu Yu Mechtaev Sergey Subotic Pavle Roychoudhury Abhik |
| Info | PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, (2023), vol. br. , str. 1216-1228 |
| Projekat | Singapore Ministry of Education (MoE) Tier 3 grant "Automated Program Repair" [MOE-MOET32021-0001] |
| Ispravka | Web of Science Članak |
|
|
| Naslov | Ambit: Verification of Azure RBAC (Proceedings Paper) |
| Autori | Kupresanin Matija Subotic Pavle |
| Info | PROCEEDINGS OF THE 2023 CLOUD COMPUTING SECURITY WORKSHOP, CCSW 2023, (2023), vol. br. , str. 31-40 |
| Ispravka | Web of Science Članak |
|
|
| Naslov | Bit-Vector Typestate Analysis (Article) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | FORMAL ASPECTS OF COMPUTING, (2023), vol. 35 br. 3, str. - |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects (Proceedings Paper) |
| Autori | Boue Laurent Kunireddy Pratap Subotic Pavle |
| Info | 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN, (2023), vol. br. , str. 1-6 |
| Ispravka | Web of Science Članak |
|
|
| Naslov | Efficient SMT-Based Network Fault Tolerance Verification (Proceedings Paper) |
| Autori | Liu Yu Subotic Pavle Letier Emmanuel Mechtaev Sergey Roychoudhury Abhik |
| Info | FORMAL METHODS, FM 2023, (2023), vol. 14000 br. , str. 92-100 |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | Scalable Typestate Analysis for Low-Latency Environments (Proceedings Paper) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | INTEGRATED FORMAL METHODS, IFM 2022, (2022), vol. 13274 br. , str. 322-340 |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
