Aleksandar Zeljic

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 15

Top Venues

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
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
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global optimization of objective functions represented by ReLU networks. Mach. Learn. 112 (10) (2023)
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
Efficient Neural Network Analysis with Sum-of-Infeasibilities. TACAS (1) (2022)
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
Efficient Neural Network Analysis with Sum-of-Infeasibilities. CoRR (2022)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic. Formal Methods Syst. Des. 57 (2) (2021)
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global Optimization of Objective Functions Represented by ReLU Networks. CoRR (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. FMCAD (2020)
Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
Parallelization Techniques for Verifying Neural Networks. CoRR (2020)
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
The Marabou Framework for Verification and Analysis of Deep Neural Networks. CAV (1) (2019)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR (2018)
Peter Backeman, Philipp Rümmer, Aleksandar Zeljic
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. FMCAD (2018)
Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR (2017)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. 58 (1) (2017)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Deciding Bit-Vector Formulas with mcSAT. SAT (2016)
Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
Approximations for Model Construction. IJCAR (2014)

Aleksandar Zeljic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aleksandar Zeljic