eNauka - pregled
Pregled prema Autor Subotic, Pavle
Prikaz rezultata 1 do 11 od 11
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2022 | A Static Analysis Framework for Data Science Notebooks | Subotic, Pavle; Milikic, Lazar; Stojic, Milan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Ambit: Verification of Azure RBAC | Kupresanin, Matija; Subotic, Pavle | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2024 | An Abstract Interpretation-Based Data Leakage Static Analysis | Drobnjakovic, Filip; Subotic, Pavle; Urban, Caterina | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects | Boue, Laurent; Kunireddy, Pratap; Subotic, Pavle | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2022 | Building a Join Optimizer for Souffle | Arch, Samuel; Hu, Xiaowen; Zhao, David; Subotic, Pavle; Scholz, Bernhard | Conference Paper | Mp. category will be shown later |
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2025 | Reusable Formal Verification of DAG-Based Consensus Protocols | Bertrand, Nathalie; Ghorpade, Pranav; Rubin, Sasha; Scholz, Bernhard; Subotic, Pavle | Conference Paper | Mp. category will be shown later |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Conference Paper | Mp. category will be shown later |
| 2025 | Static analysis by abstract interpretation against data leakage in machine learning | Urban, Caterina; Subotic, Pavle; Drobnjakovic, Filip | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |