Petar Maksimovic

According to our database, Petar Maksimovic authored at least 28 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Hybrid Approach to Semi-automated Rust Verification.

Sacha-Élie Ayoun, Xavier Denis, Petar Maksimovic, Philippa Gardner

Proc. ACM Program. Lang., 2025

2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

CoRR, 2024

Matching Plans for Frame Inference in Compositional Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.

Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Exact Separation Logic.

Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2022

2021

Gillian: A Multi-Language Platform for Unified Symbolic Analysis.

Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2021

Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.

José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

JaVerT 2.0: compositional symbolic execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Gabriela Cunha Sampaio, Philippa Gardner

Proc. ACM Program. Lang., 2019

A Program Logic for First-Order Encapsulated WebAssembly.

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

JaVerT: JavaScript verification toolchain.

José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner

Proc. ACM Program. Lang., 2018

Plugging-in proof development environments using Locks in LF.

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Math. Struct. Comput. Sci., 2018

Symbolic Execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

LLF_𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Log. Methods Comput. Sci., 2017

Towards Logic-Based Verification of JavaScript Programs.

José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene

Proceedings of the Automated Deduction - CADE 26, 2017

2016

An open logical framework.

Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic

J. Log. Comput., 2016

2015

Analyzing the exhaustiveness of the Synapse protocol.

Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic

Peer-to-Peer Netw. Appl., 2015

First steps towards probabilistic justification logic.

Ioannis Kokkinis, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer

Log. J. IGPL, 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.

Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

HOCore in Coq.

Petar Maksimovic, Alan Schmitt

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2013

A backward-compatible protocol for inter-routing over heterogeneous overlay networks.

Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.

Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic

Proceedings of the NETWORKING 2012 Workshops, 2012

2006

Simple characterization of functionally complete one-element sets of propositional connectives.

Petar Maksimovic, Predrag Janicic

Math. Log. Q., 2006