Petar Maksimovic

According to our database1, Petar Maksimovic authored at least 21 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Dagstuhl Artifacts Ser., 2020

Gillian: Compositional Symbolic Execution for All.
CoRR, 2020

Gillian, part i: a multi-language platform for symbolic execution.
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.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

JaVerT 2.0: compositional symbolic execution for JavaScript.
Proc. ACM Program. Lang., 2019

A Program Logic for First-Order Encapsulated WebAssembly.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang., 2018

Plugging-in proof development environments using Locks in LF.
Math. Struct. Comput. Sci., 2018

Symbolic Execution for JavaScript.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

LLF<sub>𝒫</sub>: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.
Log. Methods Comput. Sci., 2017

Towards Logic-Based Verification of JavaScript Programs.
Proceedings of the Automated Deduction - CADE 26, 2017

An open logical framework.
J. Log. Comput., 2016

Analyzing the exhaustiveness of the Synapse protocol.
Peer Peer Netw. Appl., 2015

First steps towards probabilistic justification logic.
Log. J. IGPL, 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

HOCore in Coq.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques).
PhD thesis, 2013

A backward-compatible protocol for inter-routing over heterogeneous overlay networks.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.
Proceedings of the NETWORKING 2012 Workshops, 2012

Open Science Grid Study of the Coupling between Conformation and Water Content in the Interior of a Protein.
J. Chem. Inf. Model., 2008

Simple characterization of functionally complete one-element sets of propositional connectives.
Math. Log. Q., 2006