Petar Maksimović

Cited by

	All	Since 2019
Citations	482	355
h-index	13	10
i10-index	15	10

201120122013201420152016201720182019202020212022202320242 3 26 4 12 26 20 28 40 46 60 52 75 78

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
José Fragoso SantosInstituto Superior Técnico, INESC-IDVerified email at tecnico.ulisboa.pt
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Sacha-Élie AyounImperial College LondonVerified email at imperial.ac.uk
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Alan SchmittInria, IRISAVerified email at inria.fr
Ioannis KokkinisUniversity of the AegeanVerified email at aegean.gr
Thomas StuderUniversität BernVerified email at iam.unibe.ch
Théotime GrohensCentro de Regulación GenómicaVerified email at insa-lyon.fr
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com
Dragan DoderUtrecht UniversityVerified email at uu.nl
Aleksandar PerovicFull Professor of Mathematics, University of Belgrade, Faculty of Transport and Traffic EngineeringVerified email at sf.bg.ac.rs
Conrad WattAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Tatjana DavidovicResearch Professor, Mathematical Institute of Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Paola GlavanHigher teaching assistant, Faculty of Mechanical Engineering and Naval Architecture, University ofVerified email at fsb.hr
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs

Petar Maksimović

Research Fellow @ Imperial College London

Verified email at imperial.ac.uk

Program Analysis and Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	57	2020
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	54	2017
First steps towards probabilistic justification logic I Kokkinis, P Maksimović, Z Ognjanović, T Studer Logic Journal of the IGPL 23 (4), 662-687, 2015	54	2015
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	49	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	45	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	36	2021
HOCore in Coq P Maksimović, A Schmitt International Conference on Interactive Theorem Proving, 278-293, 2015	25	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	22	2010
A Program Logic for First-Order Encapsulated WebAssembly C Watt, P Maksimović, NR Krishnaswami, P Gardner arXiv preprint arXiv:1811.03479, 2018	18	2018
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	17	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	15	2023
An open logical framework F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic Journal of Logic and Computation 26 (1), 293-335, 2013	14	2013
Parameter calibration in the bee colony optimization algorithm P Maksimović, T Davidović XI Balcan Conference on Operational Research, BALCOR 2013, 263-272, 2013	13	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	12	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	11	2012
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	7	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	6	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	5	2015
Exact Separation Logic P MAKSIMOVIĆ, C CRONJÄGER, J SUTHERLAND, A LÖÖW, ...	5*
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	4	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors