Guy Katz

Most-cited papers

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz, Clark W. Barrett, D. Dill, Kyle D. Julian +1 more
2017International Conference on Computer Aided Verification2,232 citations
Semantic Scholar
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz, Derek A. Huang, D. Ibeling, Kyle D. Julian +9 more
2019International Conference on Computer Aided Verification650 citations Open access
Semantic Scholar
An Abstraction-Based Framework for Neural Network Verification
Y. Y. Elboher, Justin Emile Gottschlich, Guy Katz
2019International Conference on Computer Aided Verification146 citations Open access
Semantic Scholar
Provably Minimally-Distorted Adversarial Examples
Nicholas Carlini, Guy Katz, Clark W. Barrett, D. Dill
2017132 citations
Semantic Scholar
Towards Proving the Adversarial Robustness of Deep Neural Networks
Guy Katz, Clark W. Barrett, D. Dill, Kyle D. Julian +1 more
2017FVAV@iFM128 citations Open access
Semantic Scholar
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici, Alain Mebsout, Cesare Tinelli, C. Keller +3 more
2017International Conference on Computer Aided Verification110 citations Open access
Semantic Scholar
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks
D. Gopinath, Guy Katz, C. Păsăreanu, Clark W. Barrett
2018Automated Technology for Verification and Analysis101 citations
Semantic Scholar
Verifying learning-augmented systems
Tomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira
2021Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication99 citations
Semantic Scholar
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
D. Gopinath, Guy Katz, C. Păsăreanu, Clark W. Barrett
2017arXiv.org94 citations
Semantic Scholar
Ground-Truth Adversarial Examples
Nicholas Carlini, Guy Katz, Clark W. Barrett, D. Dill
2017arXiv.org91 citations
Semantic Scholar
Verifying Deep-RL-Driven Systems
Yafim Kazak, Clark W. Barrett, Guy Katz, Michael Schapira
2019NetAI@SIGCOMM83 citations Open access
Semantic Scholar
Experimental and modeling investigation of multicomponent reactive transport in porous media.
Guy Katz, B. Berkowitz, A. Guadagnini, M. Saaltink
2011Journal of Contaminant Hydrology79 citations Open access
Semantic Scholar
Minimal Modifications of Deep Neural Networks using Verification
Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet
2020Logic Programming and Automated Reasoning75 citations Open access
Semantic Scholar
Parallelization Techniques for Verifying Neural Networks
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan +6 more
2020Formal Methods in Computer-Aided Design70 citations
Semantic Scholar
Reluplex: a calculus for reasoning about deep neural networks
Guy Katz, Clark W. Barrett, D. Dill, Kyle D. Julian +1 more
2021Formal methods in system design69 citations
Semantic Scholar
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
2020International Conference on Tools and Algorithms for Construction and Analysis of Systems67 citations Open access
Semantic Scholar
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
Shahaf Bassan, Guy Katz
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems63 citations Open access
Semantic Scholar
Neural Network Robustness as a Verification Property: A Principled Case Study
Marco Casadio, Ekaterina Komendantskaya, M. Daggitt, Kok-Ke Wen +3 more
2021International Conference on Computer Aided Verification56 citations Open access
Semantic Scholar
Verifying Recurrent Neural Networks using Invariant Inference
Y. Jacoby, Clark W. Barrett, Guy Katz
2020Automated Technology for Verification and Analysis55 citations Open access
Semantic Scholar
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir, Michael Schapira, Guy Katz
2021Formal Methods in Computer-Aided Design54 citations
Semantic Scholar
Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari +3 more
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems51 citations Open access
Semantic Scholar
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Haoze Wu, Aleksandar Zelji'c, Guy Katz, Clark W. Barrett
2022International Conference on Tools and Algorithms for Construction and Analysis of Systems40 citations Open access
Semantic Scholar
Global optimization of objective functions represented by ReLU networks
C. Strong, Haoze Wu, Aleksandar Zelji'c, Kyle D. Julian +3 more
2020Machine-mediated learning40 citations Open access
Semantic Scholar
Toward Scalable Verification for Safety-Critical Deep Networks
Lindsey Kuper, Guy Katz, Justin Emile Gottschlich, Kyle D. Julian +2 more
2018arXiv.org40 citations
Semantic Scholar
Simplifying Neural Networks Using Formal Verification
S. Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett +1 more
2020NASA Formal Methods36 citations
Semantic Scholar
Lazy proofs for DPLL(T)-based SMT solvers
Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds +1 more
2016Formal Methods in Computer-Aided Design36 citations
Semantic Scholar
On composing and proving the correctness of reactive behavior
D. Harel, Amir Kantor, Guy Katz, Assaf Marron +2 more
2013International Conference on Embedded Software34 citations
Semantic Scholar
Neural Network Verification with Proof Production
Omri Isac, Clark W. Barrett, M. Zhang, Guy Katz
2022Formal Methods in Computer-Aided Design33 citations
Semantic Scholar
Non-intrusive Repair of Reactive Programs
D. Harel, Guy Katz, Assaf Marron, G. Weiss
2012IEEE International Conference on Engineering of Complex Computer Systems33 citations Open access
Semantic Scholar
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark W. Barrett, Guy Katz
2022Automated Technology for Verification and Analysis32 citations Open access
Semantic Scholar
Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli +1 more
2023Formal Methods in Computer-Aided Design30 citations
Semantic Scholar
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems
Joel Greenyer, D. Gritzner, T. Gutjahr, F. König +3 more
2017Science of Computer Programming29 citations Open access
Semantic Scholar
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools
Joel Greenyer, D. Gritzner, Guy Katz, Assaf Marron
2016D&P@MoDELS28 citations
Semantic Scholar
Neural Network Verification using Residual Reasoning
Y. Y. Elboher, Elazar Cohen, Guy Katz
2022IEEE International Conference on Software Engineering and Formal Methods26 citations Open access
Semantic Scholar
Pruning and Slicing Neural Networks using Formal Verification
O. Lahav, Guy Katz
2021Formal Methods in Computer-Aided Design26 citations
Semantic Scholar
An initial wise development environment for behavioral models
D. Harel, Guy Katz, Rami Marelly, Assaf Marron
2016International Conference on Model-Driven Engineering and Software Development24 citations Open access
Semantic Scholar
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures
D. Harel, Guy Katz
2014AGERE!@SPLASH24 citations
Semantic Scholar
Relaxing Synchronization Constraints in Behavioral Programs
D. Harel, Amir Kantor, Guy Katz
2013Logic Programming and Automated Reasoning23 citations
Semantic Scholar
On the Succinctness of Idioms for Concurrent Programming
D. Harel, Guy Katz, Robby Lampert, Assaf Marron +1 more
2015International Conference on Concurrency Theory22 citations
Semantic Scholar
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs
D. Harel, Guy Katz, Assaf Marron, G. Weiss
2014Transactions on Computational Collective Intelligence22 citations
Semantic Scholar
On Module-Based Abstraction and Repair of Behavioral Programs
Guy Katz
2013Logic Programming and Automated Reasoning22 citations
Semantic Scholar
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Davide Corsi, Raz Yerushalmi, Guy Amir, A. Farinelli +2 more
2022arXiv.org21 citations Open access
Semantic Scholar
Verifying Generalization in Deep Learning
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz +1 more
2023International Conference on Computer Aided Verification20 citations Open access
Semantic Scholar
Verification-Aided Deep Ensemble Selection
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
2022Formal Methods in Computer-Aided Design20 citations
Semantic Scholar
The effect of concurrent programming idioms on verification: A position paper
D. Harel, Guy Katz, Assaf Marron, G. Weiss
2015International Conference on Model-Driven Engineering and Software Development20 citations Open access
Semantic Scholar
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
Guy Katz, Assaf Marron, Aviran Sadon, G. Weiss
2019International Conference on Model-Driven Engineering and Software Development18 citations Open access
Semantic Scholar
Towards behavioral programming in distributed architectures
D. Harel, Amir Kantor, Guy Katz, Assaf Marron +2 more
2015Science of Computer Programming18 citations Open access
Semantic Scholar
Minimal Multi-Layer Modifications of Deep Neural Networks
Idan Refaeli, Guy Katz
2021NSV/FoMLAS@CAV17 citations Open access
Semantic Scholar
Wise Computing: Toward Endowing System Development with Proactive Wisdom
D. Harel, Guy Katz, Rami Marelly, Assaf Marron
2018Computer17 citations
Semantic Scholar
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
Burak Ekici, Guy Katz, C. Keller, Alain Mebsout +2 more
2016HaTT@IJCAR16 citations Open access
Semantic Scholar