Aleksandar Zeljic

According to our database, Aleksandar Zeljic authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

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

CoRR, 2024

2023

Global optimization of objective functions represented by ReLU networks.

Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer

Mach. Learn., October, 2023

2022

Efficient Neural Network Analysis with Sum-of-Infeasibilities.

Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.

Peter Backeman, Philipp Rümmer, Aleksandar Zeljic

Formal Methods Syst. Des., 2021

2020

Parallelization Techniques for Verifying Neural Networks.

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction.

Peter Backeman, Philipp Rümmer, Aleksandar Zeljic

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Exploring Approximations for Floating-Point Arithmetic Using UppSAT.

Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types.

Aleksandar Zeljic

PhD thesis, 2017

An Approximation Framework for Solvers and Decision Procedures.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

J. Autom. Reason., 2017

2016

Deciding Bit-Vector Formulas with mcSAT.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2014

Approximations for Model Construction.

Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014