Aleksandar Zeljic

17 papers A 3B 2Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CAV (2)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2024 J jnl
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
CoRR
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
2023 J jnl
Global optimization of objective functions represented by ReLU networks.
Mach. Learn.
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
2022 — conf
Efficient Neural Network Analysis with Sum-of-Infeasibilities.
TACAS (1)
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
2022 J jnl
Efficient Neural Network Analysis with Sum-of-Infeasibilities.
CoRR
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
2021 J jnl
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.
Formal Methods Syst. Des.
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
2020 J jnl
Global Optimization of Objective Functions Represented by ReLU Networks.
CoRR
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
2020 B conf
Parallelization Techniques for Verifying Neural Networks.
FMCAD
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020 J jnl
Parallelization Techniques for Verifying Neural Networks.
CoRR
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2019 — conf
The Marabou Framework for Verification and Analysis of Deep Neural Networks.
CAV (1)
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
2018 B conf
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction.
FMCAD
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
2018 A conf
Exploring Approximations for Floating-Point Arithmetic Using UppSAT.
IJCAR
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2017 J jnl
An Approximation Framework for Solvers and Decision Procedures.
J. Autom. Reason.
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
2017 J jnl
Exploring Approximations for Floating-Point Arithmetic using UppSAT.
CoRR
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2017 — —
From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types.
Aleksandar Zeljic
2016 A conf
Deciding Bit-Vector Formulas with mcSAT.
SAT
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
2014 A conf
Approximations for Model Construction.
IJCAR
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer