Petar Maksimović
Petar Maksimović
Research Fellow @ Imperial College London
Verified email at
Cited by
Cited by
First steps towards probabilistic justification logic
I Kokkinis, P Maksimović, Z Ognjanović, T Studer
Logic Journal of the IGPL 23 (4), 662-687, 2015
JaVerT: JavaScript verification toolchain
J Fragoso Santos, P Maksimović, D Naudžiūnienė, T Wood, P Gardner
Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017
Gillian, part i: a multi-language platform for symbolic execution
J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
JaVerT 2.0: Compositional Symbolic Execution for JavaScript
J Fragoso Santos, P Maksimović, G Sampaio, P Gardner
Proceedings of the ACM on Programming Languages 3 (POPL), 66, 2019
Symbolic Execution for JavaScript
JF Santos, P Maksimović, T Grohens, J Dolby, P Gardner
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
Gillian, Part II: Real-World Verification for JavaScript and C
P Maksimović, SÉ Ayoun, JF Santos, P Gardner
International Conference on Computer Aided Verification, 827-850, 2021
HOCore in Coq
P Maksimović, A Schmitt
International Conference on Interactive Theorem Proving, 278-293, 2015
A logic with conditional probability operators
D Doder, B Marinković, P Maksimović, A Perović
Publications de l'Institut Mathematique 87 (107), 85-96, 2010
LFP: A Logical Framework with External Predicates
F Honsell, M Lenisa, L Liquori, P Maksimovic, I Scagnetto
Proceedings of the seventh international workshop on Logical frameworks and …, 2012
A Program Logic for First-Order Encapsulated WebAssembly
C Watt, P Maksimović, NR Krishnaswami, P Gardner
arXiv preprint arXiv:1811.03479, 2018
An open logical framework
F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic
Journal of Logic and Computation 26 (1), 293-335, 2013
Parameter calibration in the bee colony optimization algorithm
P Maksimović, T Davidović
XI Balcan Conference on Operational Research, BALCOR 2013, 263-272, 2013
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
F Honsell, L Liquori, P Maksimovic, I Scagnetto
arXiv preprint arXiv:1702.07214, 2017
An extension and cooperation mechanism for heterogeneous overlay networks
V Ciancaglini, L Liquori, GN Hoang, P Maksimović
International Conference on Research in Networking, 10-18, 2012
Exact separation logic: Towards bridging the gap between verification and bug-finding
P Maksimović, C Cronjäger, A Lööw, J Sutherland, P Gardner
37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
G Sampaio, J Fragoso Santos, P Maksimović, P Gardner
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
A backward-compatible protocol for inter-routing over heterogeneous overlay networks
GN Hoang, L Liquori, V Ciancaglini, P Maksimovic, HN Chan
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 649-651, 2013
Analyzing the exhaustiveness of the Synapse protocol
B Marinković, V Ciancaglini, Z Ognjanović, P Glavan, L Liquori, ...
Peer-to-Peer Networking and Applications 8 (5), 793-806, 2015
Towards Logic-Based Verification of JavaScript Programs
JF Santos, P Gardner, P Maksimović, D Naudžiūnienė
International Conference on Automated Deduction, 8-25, 2017
Simple characterization of functionally complete one‐element sets of propositional connectives
P Maksimović, P Janičić
Mathematical Logic Quarterly 52 (5), 498-504, 2006
The system can't perform the operation now. Try again later.
Articles 1–20