Guy Amir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | NEST: Network Enforced Session Types. | Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster |
| 2026 | TACAS | Deciding Serializability in Network Systems. | Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs |
| 2025 | AAAI | Shield Synthesis for LTL Modulo Theories. | Andoni Rodrguez, Guy Amir, Davide Corsi, Csar Snchez, Guy Katz |
| 2025 | ICML | What makes an Ensemble (Un) Interpretable? | Shahaf Bassan, Guy Amir, Meirav Zehavi, Guy Katz |
| 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 |
| 2024 | ECAI | Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation. | Guy Amir, Shahaf Bassan, Guy Katz |
| 2024 | FMCAD | Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. | 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 | ICML | Local vs. Global Interpretability: A Computational Complexity Perspective. | Shahaf Bassan, Guy Amir, Guy Katz |
| 2024 | ICONIP | Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. | Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz |
| 2023 | CAV | Verifying Generalization in Deep Learning. | Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira |
| 2023 | FM | veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. | Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli |
| 2023 | FMCAD | Formally Explaining Neural Networks within Reactive Systems. | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
| 2023 | TACAS | Verifying Learning-Based Robotic Navigation Systems. | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
| 2022 | CAV | Neural Network Robustness as a Verification Property: A Principled Case Study. | Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli |
| 2022 | FMCAD | Verification-Aided Deep Ensemble Selection. | Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira |
| 2022 | MODELSWARD | Scenario-assisted Deep Reinforcement Learning. | Raz Yerushalmi, Guy Amir, Achiya Elyasaf, David Harel, Guy Katz, Assaf Marron |
| 2021 | FMCAD | Towards Scalable Verification of Deep Reinforcement Learning. | Guy Amir, Michael Schapira, Guy Katz |
| 2021 | TACAS | An SMT-Based Approach for Verifying Binarized Neural Networks. | Guy Amir, Haoze Wu, Clark W. Barrett, Guy Katz |