Petar Maksimovic

32 papers A* 1A 6B 1C 1Misc 1Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2025 J jnl
A Hybrid Approach to Semi-automated Rust Verification.
Proc. ACM Program. Lang.
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2024 J jnl
A hybrid approach to semi-automated Rust verification.
CoRR
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).
Dagstuhl Artifacts Ser.
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).
CoRR
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Matching Plans for Frame Inference in Compositional Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner
2023 A conf
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.
ECOOP
Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner
2022 J jnl
Exact Separation Logic.
CoRR
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
2021 — conf
Gillian, Part II: Real-World Verification for JavaScript and C.
CAV (2)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
2021 J jnl
Gillian: A Multi-Language Platform for Unified Symbolic Analysis.
CoRR
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
2020 J jnl
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Dagstuhl Artifacts Ser.
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
2020 A conf
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.
ECOOP
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
2020 A* conf
Gillian, part i: a multi-language platform for symbolic execution.
PLDI
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
2020 J jnl
Gillian: Compositional Symbolic Execution for All.
CoRR
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
2019 A conf
A Program Logic for First-Order Encapsulated WebAssembly.
ECOOP
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2019 J jnl
JaVerT 2.0: compositional symbolic execution for JavaScript.
Proc. ACM Program. Lang.
José Fragoso Santos, Petar Maksimovic, Gabriela Cunha Sampaio, Philippa Gardner
2018 J jnl
A Program Logic for First-Order Encapsulated WebAssembly.
CoRR
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2018 J jnl
JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang.
José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
2018 J jnl
Plugging-in proof development environments using Locks in LF.
Math. Struct. Comput. Sci.
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2018 C conf
Symbolic Execution for JavaScript.
PPDP
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
2017 J jnl
LLF
CoRR
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017 J jnl
LLF
Log. Methods Comput. Sci.
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017 A conf
Towards Logic-Based Verification of JavaScript Programs.
CADE
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene
2016 J jnl
An open logical framework.
J. Log. Comput.
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
2015 J jnl
Analyzing the exhaustiveness of the Synapse protocol.
Peer-to-Peer Netw. Appl.
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
2015 J jnl
First steps towards probabilistic justification logic.
Log. J. IGPL
Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer
2015 — conf
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
LFMTP
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2015 B conf
HOCore in Coq.
ITP
Petar Maksimovic, Alan Schmitt
2013 Misc conf
A backward-compatible protocol for inter-routing over heterogeneous overlay networks.
SAC
Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan
2012 — conf
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.
Networking Workshops
Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic
2006 J jnl
Simple characterization of functionally complete one-element sets of propositional connectives.
Math. Log. Q.
Petar Maksimovic, Predrag Janicic