Petar Maksimović is a Research Fellow with the group and the Academic Program Manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS).

He also holds the position of Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.

Group Publications

  1. Gillian, Part II: Real-World Verification for JavaScript and C

    Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 827–850

  2. Gillian, Part I: A Multi-language Platform for Symbolic Execution

    Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20), June 15–20, 2020, London, UK

  3. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

    34th European Conference on Object-Oriented Programming (ECOOP 2020)

  4. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

    PACMPL, vol. 3( POPL)

  5. A Program Logic for First-Order Encapsulated WebAssembly

    33rd European Conference on Object-Oriented Programming (ECOOP 2019), pp. 9:1–9:30

  6. Symbolic Execution for JavaScript

    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14

  7. JaVerT: JavaScript Verification Toolchain

    PACMPL, vol. 2(POPL), pp. 50:1–50:33

  8. Towards Logic-based Verification of JavaScript Programs

    Proceedings of 26th Conference on Automated Deduction (CADE 26)