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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
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

2019
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

2018
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

2017
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

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

2015
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

2013
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

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

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

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


  Loading...