Concepedia

Petar Maksimović

PM

Statistics

Publications

6

Citations

144

H-Index

6

Active since

2010

Affiliations

Imperial College London(Current)

London Institute for Mathematical Sciences

Petar Maksimović is an author at Imperial College London specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningProgram AnalysisSoftware TestingSoftware AnalysisSoftware Engineering

Publications per year

2010–2020

6

Publications

6

First steps towards probabilistic justification logic

Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović et al. · Logic Journal of IGPL · 2015 · 31 citations

Probabilistic Ontology, Probability Logic, Engineering +11

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

José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al. · 2020 · 29 citations · Full text

Program Checking, Engineering, Verification +20

JaVerT: JavaScript verification toolchain

José Fragoso Santos, Petar Maksimović, Daiva Naudžiūnienė et al. · Proceedings of the ACM on Programming Languages · 2017 · 28 citations · Full text

Engineering, Verification, Dynamic Nature +20

JaVerT 2.0: compositional symbolic execution for JavaScript

José Fragoso Santos, Petar Maksimović, Gabriela Sampaio et al. · Proceedings of the ACM on Programming Languages · 2019 · 24 citations · Full text

Engineering, Verification, Javert 2.0 +19

Symbolic Execution for JavaScript

José Fragoso Santos, Petar Maksimović, Théotime Grohens et al. · 2018 · 20 citations · Full text

Program Checking, Engineering, Verification +17

1–5 of 6