Petar Maksimovic

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 22

Top Venues

CoRR

ECOOP

Proc. ACM Program. Lang.

ITP

University of Novi Sad, Serbia (PHD)

Education History

University of Novi Sad, Serbia

PHD

Publications

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner
A hybrid approach to semi-automated Rust verification. CoRR (2024)
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version). CoRR (2024)
Shruti R. Kulkarni, Aaron R. Young, Prasanna Date, Narasinga Rao Miniskar, Jeffrey S. Vetter, Farah Fahim, Benjamin Parpillon, Jennet Dickinson, Nhan Tran, Jieun Yoo, Corrinne Mills, Morris Swartz, Petar Maksimovic, Catherine D. Schuman, Alice Bean
On-Sensor Data Filtering using Neuromorphic Computing for High Energy Physics Experiments. CoRR (2023)
Shruti R. Kulkarni, Aaron R. Young, Prasanna Date, Narasinga Rao Miniskar, Jeffrey S. Vetter, Farah Fahim, Benjamin Parpillon, Jennet Dickinson, Nhan Tran, Jieun Yoo, Corrinne Mills, Morris Swartz, Petar Maksimovic, Catherine D. Schuman, Alice Bean
On-Sensor Data Filtering using Neuromorphic Computing for High Energy Physics Experiments. ICONS (2023)
Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. ECOOP (2023)
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
Exact Separation Logic. CoRR (2022)
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
Gillian: A Multi-Language Platform for Unified Symbolic Analysis. CoRR (2021)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
Gillian, Part II: Real-World Verification for JavaScript and C. CAV (2) (2021)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian, part i: a multi-language platform for symbolic execution. PLDI (2020)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. ECOOP (2020)
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
Gillian: Compositional Symbolic Execution for All. CoRR (2020)
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
A Program Logic for First-Order Encapsulated WebAssembly. ECOOP (2019)
José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner
JaVerT 2.0: compositional symbolic execution for JavaScript. Proc. ACM Program. Lang. 3 (POPL) (2019)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. 28 (9) (2018)
Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
A Program Logic for First-Order Encapsulated WebAssembly. CoRR (2018)
José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
JaVerT: JavaScript verification toolchain. Proc. ACM Program. Lang. 2 (POPL) (2018)
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
Symbolic Execution for JavaScript. PPDP (2018)
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene
Towards Logic-Based Verification of JavaScript Programs. CADE (2017)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. CoRR (2017)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Log. Methods Comput. Sci. 13 (3) (2017)
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
An open logical framework. J. Log. Comput. 26 (1) (2016)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP (2015)
Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer
First steps towards probabilistic justification logic. Log. J. IGPL 23 (4) (2015)
Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. 8 (5) (2015)
Petar Maksimovic, Alan Schmitt
HOCore in Coq. ITP (2015)
Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan
A backward-compatible protocol for inter-routing over heterogeneous overlay networks. SAC (2013)
Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops (2012)
Ana Damjanovic, Benjamin T. Miller, Torre J. Wenaus, Petar Maksimovic, Bertrand García-Moreno E., Bernard R. Brooks
Open Science Grid Study of the Coupling between Conformation and Water Content in the Interior of a Protein. J. Chem. Inf. Model. 48 (10) (2008)
Petar Maksimovic, Predrag Janicic
Simple characterization of functionally complete one-element sets of propositional connectives. Math. Log. Q. 52 (5) (2006)

Petar Maksimovic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petar Maksimovic