Dejan Jovanović
Title
Cited by
Cited by
Year
Cvc4
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...
International Conference on Computer Aided Verification, 171-177, 2011
9062011
Solving non-linear arithmetic
D Jovanović, L De Moura
International Joint Conference on Automated Reasoning, 339-354, 2012
2442012
A Model-Constructing Satisfiability Calculus
L de Moura, D Jovanovic
Verification, Model Checking, and Abstract Interpretation, 1-12, 2013
952013
Cutting to the Chase: Solving Linear Integer Arithmetic
D Jovanović, L de Moura
Journal of automated reasoning 51 (1), 79-108, 2013
672013
Logical analysis of hash functions
D Jovanović, P Janičić
International Workshop on Frontiers of Combining Systems, 200-215, 2005
522005
A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors
L Hadarean, K Bansal, D Jovanovic, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 2014
452014
The design and implementation of the model constructing satisfiability calculus
D Jovanovic, C Barrett, L De Moura
2013 Formal Methods in Computer-Aided Design, 173-180, 2013
392013
Safety envelope for security
A Tiwari, B Dutertre, D Jovanović, T de Candia, PD Lincoln, J Rushby, ...
Proceedings of the 3rd international conference on High confidence networkedá…, 2014
382014
Property-directed k-induction
D Jovanović, B Dutertre
2016 Formal Methods in Computer-Aided Design (FMCAD), 85-92, 2016
332016
Template-based circuit understanding
A Gascˇn, P Subramanyan, B Dutertre, A Tiwari, D Jovanovic, S Malik
Formal Methods in Computer-Aided Design, 2014
332014
Polite theories revisited
D Jovanović, C Barrett
International Conference on Logic for Programming Artificial Intelligenceá…, 2010
292010
Solving Nonlinear Integer Arithmetic with MCSAT
D Jovanovic
Verification, Model Checking, and Abstract Interpretation, 2017
222017
Variable neighborhood search for the probabilistic satisfiability problem
D Jovanović, N Mladenović, Z Ognjanović
Metaheuristics, 173-188, 2007
192007
solc-verify: A Modular Verifier for Solidity Smart Contracts
┴ Hajdu, D Jovanović
Working Conference on Verified Software: Theories, Tools, and Experimentsá…, 2019
132019
Designing Theory Solvers with Extensions
A Reynolds, C Tinelli, D Jovanovic, C Barrett
International Symposium on Frontiers of Combining Systems, 2017
132017
An MCSAT treatment of Bit-Vectors (preliminary report)
S Graham-Lengrand, D Jovanovic
SMT Workshop, 2017
102017
Sharing is caring: Combination of theories
D Jovanović, C Barrett
International Symposium on Frontiers of Combining Systems, 195-210, 2011
92011
Neural event extraction from movies description
A Tozzo, D Jovanović, MR Amer
Proceedings of the First Workshop on Storytelling, 60-66, 2018
82018
Being careful about theory combination
D Jovanović, C Barrett
Formal Methods in System Design 42 (1), 67-90, 2013
62013
A Separation Logic with Data: Small Models and Automation⋆
J Katelaan, D Jovanovic, G Weissenbacher
International Joint Conference on Automated Reasoning, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20