Aleksandar Zeljic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | 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 |
| 2022 | TACAS | Efficient Neural Network Analysis with Sum-of-Infeasibilities. | Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett |
| 2020 | FMCAD | 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 |
| 2019 | CAV | 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 |
| 2018 | CADE | Exploring Approximations for Floating-Point Arithmetic Using UppSAT. | Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rmmer |
| 2018 | FMCAD | Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. | Peter Backeman, Philipp Rmmer, Aleksandar Zeljic |
| 2016 | SAT | Deciding Bit-Vector Formulas with mcSAT. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |
| 2014 | CADE | Approximations for Model Construction. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |