No photo of Guy Katz

View Scopus Profile

Guy Katz

Former affiliation
 https://orcid.org/0000-0001-5292-801X
    Calculated based on number of publications stored in Pure and citations from Scopus
    20112024

    Research activity per year

    Search results

    • 2024

      Local vs. Global Interpretability: A Computational Complexity Perspective

      Bassan, S., Amir, G. & Katz, G., 2024, In: Proceedings of Machine Learning Research. 235, p. 3133-3167 35 p.

      Research output: Contribution to journal › Conference article › peer-review

    • Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

      Wu, H., Isac, O., Zeljić, A., Tagomori, T., Daggitt, M., Kokke, W., Refaeli, I., Amir, G., Julian, K., Bassan, S., Huang, P., Lahav, O., Wu, M., Zhang, M., Komendantskaya, E., Katz, G. & Barrett, C., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 249-264 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations

    • On applying residual reasoning within neural network verification

      Elboher, Y. Y., Cohen, E. & Katz, G., Jun 2024, In: Software and Systems Modeling. 23, 3, p. 721-736 16 p.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations

    • On Augmenting Scenario-Based Modeling with Generative AI

      Harel, D., Katz, G., Marron, A. & Szekely, S., 2024, Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Domínguez Mayo, F. J., Pires, L. F. & Seidewitz, E. (eds.). Science and Technology Publications, Lda, p. 235-246 12 p. (International Conference on Model-Driven Engineering and Software Development; vol. 1).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      2 Scopus citations

    • Preface

      Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., Narodytska, N. & Schilling, C., 2024, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14846 LNCS, p. v

      Research output: Contribution to journal › Editorial

    • Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training

      Tian, J., Zhi, D., Liu, S., Wang, P., Katz, G. & Zhang, M., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 73-97 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Verifying the Generalization of Deep Learning to Out-of-Distribution Domains

      Amir, G., Maayan, O., Zelazny, T., Katz, G. & Schapira, M., Sep 2024, In: Journal of Automated Reasoning. 68, 3, 17.

      Research output: Contribution to journal › Article › peer-review

      Open Access
    • 2023

      DelBugV: Delta-Debugging Neural Network Verifiers

      Elsaleh, R. & Katz, G., 2023, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023. Nadel, A., Rozier, K. Y., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 34-43 10 p. (Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • DNN Verification, Reachability, and the Exponential Function Problem

      Isac, O., Zohar, Y., Barrett, C. & Katz, G., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 26:1-26:18 18 p. 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations

    • Enhancing Deep Learning with Scenario-Based Override Rules: A Case Study.

      Ashrov, A. & Katz, G., 2023, Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023. p. 253-268 16 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Enhancing Deep Reinforcement Learning with Scenario-Based Modeling

      Yerushalmi, R., Amir, G., Elyasaf, A., Harel, D., Katz, G. & Marron, A., Mar 2023, In: SN Computer Science. 4, p. 1-13 13 p., 156.

      Research output: Contribution to journal › Article › peer-review

      3 Scopus citations

    • Formally Explaining Neural Networks within Reactive Systems

      Bassan, S., Amir, G., Corsi, D., Refaeli, I. & Katz, G., 2023, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023. Nadel, A., Rozier, K. Y., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 10-22 13 p. (Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, FMCAD 2023).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Global optimization of objective functions represented by ReLU networks

      Strong, C. A., Wu, H., Zeljić, A., Julian, K. D., Katz, G., Barrett, C. & Kochenderfer, M. J., Oct 2023, In: Machine Learning. 112, 10, p. 3685-3712 28 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      9 Scopus citations

    • gRoMA: A Tool for Measuring the Global Robustness of Deep Neural Networks

      Levy, N., Yerushalmi, R. & Katz, G., 2023, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations

    • OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks

      Guo, X., Zhou, Z., Zhang, Y., Katz, G. & Zhang, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 208-226 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      6 Scopus citations

    • RoMA: A Method for Neural Network Robustness Measurement and Assessment

      Levy, N. & Katz, G., 2023, Neural Information Processing - 29th International Conference, ICONIP 2022, Proceedings. Tanveer, M., Agarwal, S., Ozawa, S., Ekbal, A. & Jatowt, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 92-105 14 p. (Communications in Computer and Information Science; vol. 1791 CCIS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Tighter Abstract Queries in Neural Network Verification

      Cohen, E., Elboher, Y. Y., Barrett, C. & Katz, G., 2023, In: EPiC Series in Computing. 94, p. 124-143 20 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      2 Scopus citations

    • Towards a Certified Proof Checker for Deep Neural Network Verification

      Desmartin, R., Isac, O., Passmore, G., Stark, K., Komendantskaya, E. & Katz, G., 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 198-209 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14330 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

      Bassan, S. & Katz, G., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 187-207 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      16 Scopus citations

    • veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

      Amir, G., Freund, Z., Katz, G., Mandelbaum, E. & Refaeli, I., 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 648-656 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14000 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      5 Scopus citations

    • Verifying Generalization in Deep Learning

      Amir, G., Maayan, O., Zelazny, T., Katz, G. & Schapira, M., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 438-455 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13965 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Verifying Learning-Based Robotic Navigation Systems

      Amir, G., Corsi, D., Yerushalmi, R., Marzari, L., Harel, D., Farinelli, A. & Katz, G., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 607-627 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      10 Scopus citations
    • 2022

      An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

      Ostrovsky, M., Barrett, C. & Katz, G., 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 391-396 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      13 Scopus citations

    • Efficient Neural Network Analysis with Sum-of-Infeasibilities

      Wu, H., Zeljić, A., Katz, G. & Barrett, C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 143-163 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13243 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      22 Scopus citations

    • FoMLAS 2022 Preface

      Isac, O., Katz, G. & Narodytska, N., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13466 LNCS, p. v

      Research output: Contribution to journal › Editorial

    • Minimal Multi-Layer Modifications of Deep Neural Networks

      Refaeli, I. & Katz, G., 2022, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings. Isac, O., Katz, G., Ivanov, R., Narodytska, N. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 46-66 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13466 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Neural Network Robustness as a Verification Property: A Principled Case Study

      Casadio, M., Komendantskaya, E., Daggitt, M. L., Kokke, W., Katz, G., Amir, G. & Refaeli, I., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 219-231 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      16 Scopus citations

    • Neural Network Verification Using Residual Reasoning

      Elboher, Y. Y., Cohen, E. & Katz, G., 2022, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings. Schlingloff, B.-H. & Chai, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 173-189 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13550 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      7 Scopus citations

    • Neural Network Verification with Proof Production

      Isac, O., Barrett, C., Zhang, M. & Katz, G., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 38-48 11 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      14 Scopus citations

    • On Optimizing Back-Substitution Methods for Neural Network Verification

      Zelazny, T., Wu, H., Barrett, C. & Katz, G., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 17-26 10 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      9 Scopus citations

    • Reluplex: a calculus for reasoning about deep neural networks

      Katz, G., Barrett, C., Dill, D. L., Julian, K. & Kochenderfer, M. J., Feb 2022, In: Formal Methods in System Design. 60, 1, p. 87-116 30 p.

      Research output: Contribution to journal › Article › peer-review

      18 Scopus citations

    • Scenario-assisted Deep Reinforcement Learning

      Yerushalmi, R., Amir, G., Elyasaf, A., Harel, D., Katz, G. & Marron, A., 2022, MODELSWARD 2022 - Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. Seidewitz, E. (ed.). Science and Technology Publications, Lda, p. 310-319 10 p. (International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      4 Scopus citations

    • Verification-Aided Deep Ensemble Selection

      Amir, G., Zelazny, T., Katz, G. & Schapira, M., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 27-37 11 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      12 Scopus citations
    • 2021

      An SMT-Based Approach for Verifying Binarized Neural Networks

      Amir, G., Wu, H., Barrett, C. & Katz, G., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 203-222 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12652 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      29 Scopus citations

    • Augmenting Deep Neural Networks with Scenario-Based Guard Rules

      Katz, G., 2021, Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selić, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 147-172 26 p. (Communications in Computer and Information Science; vol. 1361).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      6 Scopus citations

    • Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.

      Katz, G., 2021, p. 1. 1 p.

      Research output: Contribution to conference › Abstract › peer-review

      Open Access

    • Pruning and Slicing Neural Networks using Formal Verification

      Lahav, O. & Katz, G., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 183-192 10 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      13 Scopus citations

    • Towards combining deep learning, verification, and scenario-based programming

      Katz, G. & Elyasaf, A., 18 May 2021, Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021. Association for Computing Machinery, Inc, 3459631. (Proceedings of the 1st International Workshop on Verification of Autonomous and Robotic Systems, VARS 2021).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Towards repairing scenario-Based models with rich events

      Katz, G., 2021, MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F., Seidewitz, E. & Soley, R. (eds.). SciTePress, p. 362-372 11 p. (MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      1 Scopus citations

    • Towards Repairing Scenario-Based Models with Rich Events

      Katz, G., 2021, MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Seidewitz, E., Ferreira Pires, L. & Hammoudi, S. (eds.). Science and Technology Publications, Lda, p. 362-372 11 p. (International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      2 Scopus citations

    • Towards Scalable Verification of Deep Reinforcement Learning

      Amir, G., Schapira, M. & Katz, G., 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 193-203 11 p. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      31 Scopus citations

    • Verifying learning-augmented systems

      Eliyahu, T., Kazak, Y., Katz, G. & Schapira, M., 9 Aug 2021, SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference. Association for Computing Machinery, Inc, p. 305-318 14 p. (SIGCOMM 2021 - Proceedings of the ACM SIGCOMM 2021 Conference).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      38 Scopus citations
    • 2020

      An Abstraction-Based Framework for Neural Network Verification

      Elboher, Y. Y., Gottschlich, J. & Katz, G., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 43-65 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      77 Scopus citations

    • Executing Scenario-Based Specification with Dynamic Generation of Rich Events

      Harel, D., Katz, G., Marron, A., Sadon, A. & Weiss, G., 2020, Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Revised Selected Papers. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). Springer, p. 246-274 29 p. (Communications in Computer and Information Science; vol. 1161 CCIS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      10 Scopus citations

    • Guarded Deep Learning using Scenario-based Modeling

      Katz, G., 2020, MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development. Selić, B. (ed.). Science and Technology Publications, Lda, p. 126-136 11 p. (International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      7 Scopus citations

    • Minimal modifications of deep neural networks using verification

      Goldberger, B., Adi, Y., Keshet, J. & Katz, G., 2020, In: EPiC Series in Computing. 73, p. 260-278 19 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      38 Scopus citations

    • Parallelization Techniques for Verifying Neural Networks

      Wu, H., Ozdemir, A., Zeljic, A., Julian, K., Irfan, A., Gopinath, D., Fouladi, S., Katz, G., Pasareanu, C. & Barrett, C., 21 Sep 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 128-137 10 p. 9283631. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      30 Scopus citations

    • Simplifying Neural Networks Using Formal Verification

      Gokulanathan, S., Feldsher, A., Malca, A., Barrett, C. & Katz, G., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 85-93 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      24 Scopus citations

    • Verifying Recurrent Neural Networks Using Invariant Inference

      Jacoby, Y., Barrett, C. & Katz, G., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 57-74 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      24 Scopus citations
    • 2019

      On-the-FlyConstruction of Composite Events in Scenario-Based Modeling using Constraint Solvers

      Katz, G., Marron, A., Sadon, A. & Weiss, G., 2019, MODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development. Selić, B. (ed.). Science and Technology Publications, Lda, p. 141-154 14 p. (International Conference on Model-Driven Engineering and Software Development).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      3 Scopus citations
    Your message has successfully been sent.
    Your message was not sent due to an error.