Volgen
Dejan Jovanović
Dejan Jovanović
Amazon Web Services
Geverifieerd e-mailadres voor amazon.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Cvc4
CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ...
23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011
1964*2011
Solving non-linear arithmetic
D Jovanović, L De Moura
International Joint Conference on Automated Reasoning, 339-354, 2012
3252012
A Model-Constructing Satisfiability Calculus
L de Moura, D Jovanovic
Verification, Model Checking, and Abstract Interpretation, 1-12, 2013
1432013
solc-verify: A Modular Verifier for Solidity Smart Contracts
Á Hajdu, D Jovanović
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2019
952019
Cutting to the Chase: Solving Linear Integer Arithmetic
D Jovanović, L de Moura
Journal of automated reasoning 51 (1), 79-108, 2013
792013
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
632014
Property-directed k-induction
D Jovanović, B Dutertre
2016 Formal Methods in Computer-Aided Design (FMCAD), 85-92, 2016
602016
Logical analysis of hash functions
D Jovanović, P Janičić
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
602005
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
592014
Template-based circuit understanding
A Gascón, P Subramanyan, B Dutertre, A Tiwari, D Jovanovic, S Malik
Formal Methods in Computer-Aided Design, 2014
492014
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
492013
Polite theories revisited
D Jovanović, C Barrett
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
422010
Solving Nonlinear Integer Arithmetic with MCSAT
D Jovanovic
Verification, Model Checking, and Abstract Interpretation, 2017
402017
Designing Theory Solvers with Extensions
A Reynolds, C Tinelli, D Jovanovic, C Barrett
International Symposium on Frontiers of Combining Systems, 2017
262017
SMT-Friendly Formalization of the Solidity Memory Model.
Á Hajdu, D Jovanovic
European Symposium on Programming, 224-250, 2020
232020
Variable neighborhood search for the probabilistic satisfiability problem
D Jovanović, N Mladenović, Z Ognjanović
Metaheuristics: Progress in Complex Systems Optimization, 173-188, 2007
212007
Verifying visibility-based weak consistency
S Krishna, M Emmi, C Enea, D Jovanović
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
142020
LibPoly: A Library for Reasoning about Polynomials
D Jovanovic, B Dutertre
SMT Workshop, 2017
142017
Formal Specification and Verification of Solidity Contracts with Events (Short Paper)
Á Hajdu, D Jovanović, G Ciocarlie
2nd Workshop on Formal Methods for Blockchains (FMBC 2020), 2020
12*2020
Verification of Fault-Tolerant Protocols with Sally
B Dutertre, D Jovanovic, JA Navas
NASA Formal Methods Symposium, 2018
122018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20