еНаука - преглед
Преглед према Аутор Subotic, Pavle
Приказ резултата 1 до 11 од 11
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | A Static Analysis Framework for Data Science Notebooks | Subotic, Pavle; Milikic, Lazar; Stojic, Milan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Ambit: Verification of Azure RBAC | Kupresanin, Matija; Subotic, Pavle | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2024 | An Abstract Interpretation-Based Data Leakage Static Analysis | Drobnjakovic, Filip; Subotic, Pavle; Urban, Caterina | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects | Boue, Laurent; Kunireddy, Pratap; Subotic, Pavle | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2022 | Building a Join Optimizer for Souffle | Arch, Samuel; Hu, Xiaowen; Zhao, David; Subotic, Pavle; Scholz, Bernhard | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2025 | Reusable Formal Verification of DAG-Based Consensus Protocols | Bertrand, Nathalie; Ghorpade, Pranav; Rubin, Sasha; Scholz, Bernhard; Subotic, Pavle | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2025 | Static analysis by abstract interpretation against data leakage in machine learning | Urban, Caterina; Subotic, Pavle; Drobnjakovic, Filip | Научни чланак | 22M22 - Међународни часопис категорије M22 |