Dejan Jovanovic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
7
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2021 | CAV | Interpolation and Model Checking for Nonlinear Arithmetic. | Dejan Jovanovic, Bruno Dutertre |
| 2020 | CADE | Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. | Stphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre |
| 2020 | CAV | Formal Specification and Verification of Solidity Contracts with Events (Short Paper). | kos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie |
| 2020 | ESOP | SMT-Friendly Formalization of the Solidity Memory Model. | kos Hajdu, Dejan Jovanovic |
| 2020 | ESOP | Verifying Visibility-Based Weak Consistency. | Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic |
| 2018 | CADE | A Separation Logic with Data: Small Models and Automation. | Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher |
| 2018 | FMCAD | The FMCAD 2018 Graduate Student Forum. | Dejan Jovanovic, Andrew Reynolds |
| 2018 | VMCAI | Selfless Interpolation for Infinite-State Model Checking. | Tanja Schindler, Dejan Jovanovic |
| 2017 | LPAR | Abduction by Non-Experts. | Nikolaj S. Bjrner, Dejan Jovanovic, Tancrde Lepoint, Philipp Rmmer, Martin Schf |
| 2017 | VMCAI | Solving Nonlinear Integer Arithmetic with MCSAT. | Dejan Jovanovic |
| 2016 | FMCAD | Property-directed k-induction. | Dejan Jovanovic, Bruno Dutertre |
| 2015 | LPAR | Finding Inconsistencies in Programs with Loops. | Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schf |
| 2014 | CAV | A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. | Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli |
| 2014 | FMCAD | Template-based circuit understanding. | Adri Gascn, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik |
| 2013 | SYNASC | Model-Driven Decision Procedures for Arithmetic. | Leonardo Mendona de Moura, Dejan Jovanovic |
| 2013 | VMCAI | A Model-Constructing Satisfiability Calculus. | Leonardo Mendona de Moura, Dejan Jovanovic |
| 2012 | CADE | Solving Non-linear Arithmetic. | Dejan Jovanovic, Leonardo Mendona de Moura |
| 2011 | CADE | Cutting to the Chase Solving Linear Integer Arithmetic. | Dejan Jovanovic, Leonardo Mendona de Moura |
| 2011 | CAV | CVC4. | Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli |
| 2010 | LPAR | Polite Theories Revisited. | Dejan Jovanovic, Clark W. Barrett |