Guy Katz

175 papers A* 6A 3B 28C 11Misc 1Journal 91Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
FAME: Formal Abstract Minimal Explanation for Neural Networks.
CoRR
Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe, Shahaf Bassan, Guy Katz
2026 J jnl
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees.
CoRR
Itamar Hadad, Guy Katz, Shahaf Bassan
2026 J jnl
Incremental Neural Network Verification via Learned Conflicts.
CoRR
Raya Elsaleh, Liam Davis, Haoze Wu, Guy Katz
2026 J jnl
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs.
CoRR
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu, Nina Narodytska, Guy Katz
2026 C conf
On Integrating Large Language Models and Scenario-Based Modeling for Improving Software Reliability.
MODELSWARD
Ayelet Berzack, Guy Katz
2026 B conf
Proof Minimization in Neural Network Verification.
VMCAI
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2026 J jnl
Provably Explaining Neural Additive Models.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Volkan Sahin, Jan Kretínský, Matthias Althoff, Guy Katz
2026 J jnl
Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.
CoRR
Yizhak Yisrael Elboher, Reuven Peleg, Zhouxing Shi, Guy Katz, Jan Kretínský
2026 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
TACAS (1)
Sebastian Junges, Guy Katz
2026 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
TACAS (2)
Sebastian Junges, Guy Katz
2026 J jnl
Unifying Formal Explanations: A Complexity-Theoretic Perspective.
CoRR
Shahaf Bassan, Xuanxiang Huang, Guy Katz
2025 B conf
A Certified Proof Checker for Deep Neural Network Verification in Imandra.
ITP
Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
2025 B conf
A Study on the Comprehensibility of Behavioral Programming Variants.
ENASE
Adiel Ashrov, Arnon Sturm, Achiya Elyasaf, Guy Katz
2025 — conf
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract).
SAIV
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Abstraction-Based Proof Production in Formal Verification of Neural Networks.
CoRR
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
2025 J jnl
Additive Models Explained: A Computational Complexity Approach.
CoRR
Shahaf Bassan, Michal Moshkovitz, Guy Katz
2025 J jnl
Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits.
CoRR
Yizhak Yisrael Elboher, Avraham Raviv, Amihay Elboher, Zhouxing Shi, Omri Azencot, Hillel Kugler, Guy Katz
2025 A* conf
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
ICML
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 J jnl
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations.
CoRR
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz
2025 B conf
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods.
ENASE
Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025 J jnl
Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods.
CoRR
Tom Yaacov, Gera Weiss, Adiel Ashrov, Guy Katz, Jules Zisser
2025 J jnl
Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification.
CoRR
Maya Swisa, Guy Katz
2025 — conf
Neural Network Verification is a Programming Language Challenge.
ESOP (1)
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
Neural Network Verification is a Programming Language Challenge.
CoRR
Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu
2025 J jnl
On Improving Deep Active Learning with Formal Verification.
CoRR
Jonathan Spiegelman, Guy Amir, Guy Katz
2025 J jnl
On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability.
CoRR
Ayelet Berzack, Guy Katz
2025 A conf
On the Computational Tractability of the (Many) Shapley Values.
AISTATS
Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera
2025 J jnl
On the Computational Tractability of the (Many) Shapley Values.
CoRR
Reda Marzouk, Shahaf Bassan, Guy Katz, Colin de la Higuera
2025 J jnl
Proof Minimization in Neural Network Verification.
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2025 J jnl
Proof-Driven Clause Learning in Neural Network Verification.
CoRR
Omri Isac, Idan Refaeli, Haoze Wu, Clark W. Barrett, Guy Katz
2025 J jnl
ReSMT: An SMT-Based Tool for Reverse Engineering.
CoRR
Nir Somech, Guy Katz
2025 J jnl
SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism.
CoRR
Reda Marzouk, Shahaf Bassan, Guy Katz
2025 A* conf
Shield Synthesis for LTL Modulo Theories.
AAAI
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2025 B conf
Statistical Runtime Verification for LLMs via Robustness Estimation.
RV
Natan Levy, Adiel Ashrov, Guy Katz
2025 J jnl
Towards Robust LLMs: an Adversarial Robustness Measurement Framework.
CoRR
Natan Levy, Adiel Ashrov, Guy Katz
2025 A* conf
What makes an Ensemble (Un) Interpretable?
ICML
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2025 J jnl
What makes an Ensemble (Un) Interpretable?
CoRR
Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz
2024 J jnl
A Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
2024 — ed.
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
SAIV
Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2024 J jnl
Analyzing Adversarial Inputs in Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
2024 J jnl
DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace.
CoRR
Guy Katz, Natan Levy, Idan Refaeli, Raz Yerushalmi
2024 — conf
Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming.
ICONIP (11)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2024 J jnl
Formal Verification of Object Detection.
CoRR
Avraham Raviv, Yizhak Yisrael Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
2024 B conf
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
FMCAD
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
2024 J jnl
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
2024 A conf
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
ECAI
Guy Amir, Shahaf Bassan, Guy Katz
2024 J jnl
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation.
CoRR
Guy Amir, Shahaf Bassan, Guy Katz
2024 A* conf
Learning DNN Abstractions using Gradient Descent.
ASE
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
2024 A* conf
Local vs. Global Interpretability: A Computational Complexity Perspective.
ICML
Shahaf Bassan, Guy Amir, Guy Katz
2024 J jnl
Local vs. Global Interpretability: A Computational Complexity Perspective.
CoRR
Shahaf Bassan, Guy Amir, Guy Katz
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
2024 J jnl
NLP Verification: Towards a General Methodology for Certifying Robustness.
CoRR
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
2024 C conf
On Augmenting Scenario-Based Modeling with Generative AI.
MODELSWARD
David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024 J jnl
On Augmenting Scenario-Based Modeling with Generative AI.
CoRR
David Harel, Guy Katz, Assaf Marron, Smadar Szekely
2024 J jnl
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software.
Proc. ACM Softw. Eng.
Ophir M. Carmel, Guy Katz
2024 J jnl
On applying residual reasoning within neural network verification.
Softw. Syst. Model.
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2024 J jnl
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.
CoRR
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
2024 J jnl
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
2024 J jnl
Shield Synthesis for LTL Modulo Theories.
CoRR
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 — conf
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
VMCAI (2)
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
RLJ
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox
2024 J jnl
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.
CoRR
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2024 J jnl
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.
J. Autom. Reason.
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 B conf
DNN Verification, Reachability, and the Exponential Function Problem.
CONCUR
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
2023 J jnl
DNN Verification, Reachability, and the Exponential Function Problem.
CoRR
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
2023 B conf
DelBugV: Delta-Debugging Neural Network Verifiers.
FMCAD
Raya Elsaleh, Guy Katz
2023 J jnl
DelBugV: Delta-Debugging Neural Network Verifiers.
CoRR
Raya Elsaleh, Guy Katz
2023 C conf
Enhancing Deep Learning with Scenario-Based Override Rules: A Case Study.
MODELSWARD
Adiel Ashrov, Guy Katz
2023 J jnl
Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study.
CoRR
Adiel Ashrov, Guy Katz
2023 J jnl
Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.
SN Comput. Sci.
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2023 B conf
Formally Explaining Neural Networks within Reactive Systems.
FMCAD
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 J jnl
Formally Explaining Neural Networks within Reactive Systems.
CoRR
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
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
2023 — conf
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.
TACAS (1)
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023 J jnl
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.
CoRR
Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023 J jnl
On Reducing Undesirable Behavior in Deep Reinforcement Learning Models.
CoRR
Ophir M. Carmel, Guy Katz
2023 — ed.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023.
FoMLAS@CAV
Nina Narodytska, Guy Amir, Guy Katz, Omri Isac
2023 B conf
Tighter Abstract Queries in Neural Network Verification.
LPAR
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
2023 — conf
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.
TACAS (1)
Shahaf Bassan, Guy Katz
2023 C conf
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
2023 J jnl
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
2023 — conf
Verifying Generalization in Deep Learning.
CAV (2)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 J jnl
Verifying Generalization in Deep Learning.
CoRR
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
2023 — conf
Verifying Learning-Based Robotic Navigation Systems.
TACAS (1)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2023 — conf
gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks.
AISoLA
Natan Levy, Raz Yerushalmi, Guy Katz
2023 J jnl
gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness.
CoRR
Natan Levy, Raz Yerushalmi, Guy Katz
2023 B conf
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
FM
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
2022 B conf
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.
ATVA
Matan Ostrovsky, Clark W. Barrett, Guy Katz
2022 J jnl
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.
CoRR
Matan Ostrovsky, Clark W. Barrett, Guy Katz
2022 J jnl
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
CoRR
Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
2022 J jnl
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.
CoRR
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
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
2022 J jnl
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
2022 — conf
Minimal Multi-Layer Modifications of Deep Neural Networks.
NSV/FoMLAS@CAV
Idan Refaeli, Guy Katz
2022 — conf
Neural Network Robustness as a Verification Property: A Principled Case Study.
CAV (1)
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
2022 B conf
Neural Network Verification Using Residual Reasoning.
SEFM
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2022 J jnl
Neural Network Verification using Residual Reasoning.
CoRR
Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
2022 B conf
Neural Network Verification with Proof Production.
FMCAD
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022 J jnl
Neural Network Verification with Proof Production.
CoRR
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
2022 B conf
On Optimizing Back-Substitution Methods for Neural Network Verification.
FMCAD
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
2022 J jnl
On Optimizing Back-Substitution Methods for Neural Network Verification.
CoRR
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
2022 J jnl
Reluplex: a calculus for reasoning about deep neural networks.
Formal Methods Syst. Des.
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
2022 — conf
RoMA: A Method for Neural Network Robustness Measurement and Assessment.
ICONIP (4)
Natan Levy, Guy Katz
2022 J jnl
Scenario-Assisted Deep Reinforcement Learning.
CoRR
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022 C conf
Scenario-assisted Deep Reinforcement Learning.
MODELSWARD
Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron
2022 — ed.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
NSV/FoMLAS@CAV
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
2022 J jnl
Tighter Abstract Queries in Neural Network Verification.
CoRR
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
2022 J jnl
Towards Formal Approximated Minimal Explanations of Neural Networks.
CoRR
Shahaf Bassan, Guy Katz
2022 B conf
Verification-Aided Deep Ensemble Selection.
FMCAD
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
2022 J jnl
Verification-Aided Deep Ensemble Selection.
CoRR
Guy Amir, Guy Katz, Michael Schapira
2022 J jnl
Verifying Learning-Based Robotic Navigation Systems.
CoRR
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2022 J jnl
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
CoRR
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
2021 — conf
An SMT-Based Approach for Verifying Binarized Neural Networks.
TACAS (2)
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
2021 — conf
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.
SMT
Guy Katz
2021 J jnl
Minimal Multi-Layer Modifications of Deep Neural Networks.
CoRR
Idan Refaeli, Guy Katz
2021 B conf
Pruning and Slicing Neural Networks using Formal Verification.
FMCAD
Ori Lahav, Guy Katz
2021 J jnl
Pruning and Slicing Neural Networks using Formal Verification.
CoRR
Ori Lahav, Guy Katz
2021 J jnl
RoMA: a Method for Neural Network Robustness Measurement and Assessment.
CoRR
Natan Levy, Guy Katz
2021 C conf
Towards Repairing Scenario-Based Models with Rich Events.
MODELSWARD
Guy Katz
2021 J jnl
Towards Repairing Scenario-Based Models with Rich Events.
CoRR
Guy Katz
2021 B conf
Towards Scalable Verification of Deep Reinforcement Learning.
FMCAD
Guy Amir, Michael Schapira, Guy Katz
2021 J jnl
Towards Scalable Verification of RL-Driven Systems.
CoRR
Guy Amir, Michael Schapira, Guy Katz
2021 A* conf
Verifying learning-augmented systems.
SIGCOMM
Tomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira
2020 — conf
An Abstraction-Based Framework for Neural Network Verification.
CAV (1)
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
2020 J jnl
An SMT-Based Approach for Verifying Binarized Neural Networks.
CoRR
Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz
2020 — conf
Augmenting Deep Neural Networks with Scenario-Based Guard Rules.
MODELSWARD (Revised Selected Papers)
Guy Katz
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 J jnl
Guarded Deep Learning using Scenario-Based Modeling.
CoRR
Guy Katz
2020 C conf
Guarded Deep Learning using Scenario-based Modeling.
MODELSWARD
Guy Katz
2020 B conf
Minimal Modifications of Deep Neural Networks using Verification.
LPAR
Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet
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
2020 — conf
Simplifying Neural Networks Using Formal Verification.
NFM
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
2020 B conf
Verifying Recurrent Neural Networks Using Invariant Inference.
ATVA
Yuval Jacoby, Clark W. Barrett, Guy Katz
2020 J jnl
Verifying Recurrent Neural Networks using Invariant Inference.
CoRR
Yuval Jacoby, Clark W. Barrett, Guy Katz
2019 J jnl
An Abstraction-Based Framework for Neural Network Verification.
CoRR
Yizhak Yisrael Elboher, Justin Gottschlich, Guy Katz
2019 — conf
Executing Scenario-Based Specification with Dynamic Generation of Rich Events.
MODELSWARD (Revised Selected Papers)
David Harel, Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019 C conf
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
MODELSWARD
Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019 J jnl
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
CoRR
Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss
2019 J jnl
Simplifying Neural Networks with the Marabou Verification Engine.
CoRR
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
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
2019 — conf
Verifying Deep-RL-Driven Systems.
NetAI@SIGCOMM
Yafim Kazak, Clark W. Barrett, Guy Katz, Michael Schapira
2018 B conf
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.
ATVA
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2018 J jnl
Toward Scalable Verification for Safety-Critical Deep Networks.
CoRR
Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark W. Barrett, Mykel J. Kochenderfer
2018 J jnl
Wise Computing: Toward Endowing System Development with Proactive Wisdom.
Computer
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2017 J jnl
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.
CoRR
Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2017 C conf
Distributing Scenario-based Models: A Replicate-and-Project Approach.
MODELSWARD
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017 — conf
Efficient Distributed Execution of Multi-component Scenario-Based Models.
MODELSWARD (Revised Selected Papers)
Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron
2017 J jnl
Ground-Truth Adversarial Examples.
CoRR
Nicholas Carlini, Guy Katz, Clark W. Barrett, David L. Dill
2017 — conf
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.
CAV (1)
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
2017 J jnl
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.
CoRR
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
2017 — conf
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
CAV (2)
Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett
2017 J jnl
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program.
Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz
2017 — conf
Towards Proving the Adversarial Robustness of Deep Neural Networks.
FVAV@iFM
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
2016 C conf
An Initial Wise Development Environment for Behavioral Models.
MODELSWARD
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 — conf
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
HaTT@IJCAR
Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
2016 J jnl
First Steps Towards a Wise Development Environment for Behavioral Models.
Int. J. Inf. Syst. Model. Des.
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2016 B conf
Lazy proofs for DPLL(T)-based SMT solvers.
FMCAD
Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean
2016 — conf
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
D&P@MoDELS
Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron
2016 — conf
Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
D&P@MoDELS
Assaf Marron, Brit Arnon, Achiya Elyasaf, Michal Gordon, Guy Katz, Hadas Lapid, Rami Marelly, Dana Sherman, Smadar Szekely, Gera Weiss, David Harel
2015 B conf
On the Succinctness of Idioms for Concurrent Programming.
CONCUR
David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
2015 C conf
The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
MODELSWARD
David Harel, Guy Katz, Assaf Marron, Gera Weiss
2015 B conf
Theory-Aided Model Checking of Concurrent Transition Systems.
FMCAD
Guy Katz, Clark W. Barrett, David Harel
2015 J jnl
Towards behavioral programming in distributed architectures.
Sci. Comput. Program.
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
2015 J jnl
Wise Computing: Towards Endowing System Development with True Wisdom.
CoRR
David Harel, Guy Katz, Rami Marelly, Assaf Marron
2014 J jnl
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.
Trans. Comput. Collect. Intell.
David Harel, Guy Katz, Assaf Marron, Gera Weiss
2014 — conf
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures.
AGERE!@SPLASH
David Harel, Guy Katz
2013 B conf
On Module-Based Abstraction and Repair of Behavioral Programs.
LPAR
Guy Katz
2013 Misc conf
On composing and proving the correctness of reactive behavior.
EMSOFT
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss
2013 B conf
Relaxing Synchronization Constraints in Behavioral Programs.
LPAR
David Harel, Amir Kantor, Guy Katz
2012 B conf
Non-intrusive Repair of Reactive Programs.
ICECCS
David Harel, Guy Katz, Assaf Marron, Gera Weiss
2011 A conf
Recommenders benchmark framework.
RecSys
Aviram Dayan, Guy Katz, Naseem Biasdi, Lior Rokach, Bracha Shapira, Aykan Aydin, Roland Schwaiger, Radmila Fishel