Dejan Jovanović

Dejan Jovanović

Amazon Inc. - Seattle / United States
Business & Management / Decision Science and Operations Management
AD Scientific Index ID: 4968502
person_outline Dejan Jovanović's MOST POPULAR ARTICLES
1-) Cvc4CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ...23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 20111951*2011
2-) Solving non-linear arithmeticD Jovanović, L De MouraInternational Joint Conference on Automated Reasoning, 339-354, 20123182012
3-) A Model-Constructing Satisfiability CalculusL de Moura, D JovanovicVerification, Model Checking, and Abstract Interpretation, 1-12, 20131382013
4-) solc-verify: A Modular Verifier for Solidity Smart ContractsÁ Hajdu, D JovanovićWorking Conference on Verified Software: Theories, Tools, and Experiments …, 20191482019
5-) Cutting to the Chase: Solving Linear Integer ArithmeticD Jovanović, L de MouraJournal of automated reasoning 51 (1), 79-108, 2013922013