Follow
Aleksandar Zeljić
Aleksandar Zeljić
Postdoctoral Scholar, Stanford University
Verified email at stanford.edu
Title
Cited by
Cited by
Year
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
International Conference on Computer Aided Verification, 443-452, 2019
6672019
Parallelization techniques for verifying neural networks
H Wu, A Ozdemir, A Zeljić, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ...
2020 Formal Methods in Computer Aided Design (FMCAD), 128-137, 2020
642020
Deciding Bit-Vector Formulas with mcSAT
A Zeljić, CM Wintersteiger, P Rümmer
International Conference on Theory and Applications of Satisfiability …, 2016
422016
Efficient Neural Network Analysis with Sum-of-Infeasibilities
H Wu, A Zeljić, G Katz, C Barrett
International Conference on Tools and Algorithms for the Construction and …, 2022
392022
Global optimization of objective functions represented by ReLU networks
CA Strong, H Wu, A Zeljić, KD Julian, G Katz, C Barrett, MJ Kochenderfer
Machine Learning, 1-28, 2021
372021
Bit-vector interpolation and quantifier elimination by lazy reduction
P Backeman, P Rummer, A Zeljic
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
262018
An Approximation Framework for Solvers and Decision Procedures
A Zeljić, CM Wintersteiger, P Rümmer
Journal of Automated Reasoning 58 (1), 127-147, 2017
192017
Exploring Approximations for Floating-Point Arithmetic Using UppSAT
A Zeljić, P Backeman, CM Wintersteiger, P Rümmer
International Joint Conference on Automated Reasoning, 246-262, 2018
162018
Approximations for Model Construction
A Zeljić, CM Wintersteiger, P Rümmer
International Joint Conference on Automated Reasoning, 344-359, 2014
152014
Parallelization techniques for verifying neural networks. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020 (2020)
H Wu, A Ozdemir, A Zeljic, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ...
IEEE, 2020
7*2020
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
P Backeman, P Rümmer, A Zeljić
Formal Methods in System Design, 1-36, 2021
52021
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30-November 2, 2018 …
P Backeman, P Rümmer, A Zeljic
IEEE, 2018
52018
From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types
A Zeljić
Acta Universitatis Upsaliensis, 2017
32017
Approximations and abstractions for reasoning about machine arithmetic
A Zeljic
Uppsala University, 2016
12016
Rešavanje NP-kompletnih problema svodjenjem
A Zeljić
MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–15