Calculated based on number of publications stored in Pure and citations from Scopus
20112024

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy

Fingerprint

Dive into the research topics where Guy Katz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access