Petar Maksimovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml. | Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos |
| 2024 | ECOOP | Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner |
| 2024 | ECOOP | Matching Plans for Frame Inference in Compositional Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Petar Maksimovic, Philippa Gardner |
| 2023 | ECOOP | Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. | Petar Maksimovic, Caroline Cronjger, Andreas Lw, Julian Sutherland, Philippa Gardner |
| 2021 | CAV | Gillian, Part II: Real-World Verification for JavaScript and C. | Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner |
| 2020 | ECOOP | A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. | Gabriela Sampaio, Jos Fragoso Santos, Petar Maksimovic, Philippa Gardner |
| 2020 | PLDI | Gillian, part i: a multi-language platform for symbolic execution. | Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner |
| 2019 | ECOOP | A Program Logic for First-Order Encapsulated WebAssembly. | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
| 2018 | PPDP | Symbolic Execution for JavaScript. | Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner |
| 2017 | CADE | Towards Logic-Based Verification of JavaScript Programs. | Jos Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene |
| 2015 | ITP | HOCore in Coq. | Petar Maksimovic, Alan Schmitt |
| 2013 | SAC | A backward-compatible protocol for inter-routing over heterogeneous overlay networks. | Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan |
| 2012 | Networking | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. | Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic |