Guy Katz
Title
Cited by
Cited by
Year
Reluplex: An efficient SMT solver for verifying deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
International Conference on Computer Aided Verification, 97-117, 2017
9572017
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
International Conference on Computer Aided Verification, 443-452, 2019
1452019
Deepsafe: A data-driven approach for assessing robustness of neural networks
D Gopinath, G Katz, CS Păsăreanu, C Barrett
International symposium on automated technology for verification and …, 2018
114*2018
Provably minimally-distorted adversarial examples
N Carlini, G Katz, C Barrett, DL Dill
arXiv preprint arXiv:1709.10207, 2017
1042017
Towards proving the adversarial robustness of deep neural networks
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer
arXiv preprint arXiv:1709.02802, 2017
962017
SMTCoq: A plug-in for integrating SMT solvers into Coq
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett
International Conference on Computer Aided Verification, 126-133, 2017
572017
An abstraction-based framework for neural network verification
YY Elboher, J Gottschlich, G Katz
International Conference on Computer Aided Verification, 43-65, 2020
312020
On composing and proving the correctness of reactive behavior
D Harel, A Kantor, G Katz, A Marron, L Mizrahi, G Weiss
2013 Proceedings of the International Conference on Embedded Software …, 2013
312013
Verifying deep-RL-driven systems
Y Kazak, C Barrett, G Katz, M Schapira
Proceedings of the 2019 Workshop on Network Meets AI & ML, 83-89, 2019
292019
ScenarioTools–A tool suite for the scenario-based modeling and analysis of reactive systems
J Greenyer, D Gritzner, T Gutjahr, F König, N Glade, A Marron, G Katz
Science of Computer Programming 149, 15-27, 2017
292017
Non-intrusive repair of reactive programs
D Harel, G Katz, A Marron, G Weiss
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
272012
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
J Greenyer, D Gritzner, G Katz, A Marron
D&P@ MoDELS, 16-23, 2016
252016
Toward scalable verification for safety-critical deep networks
L Kuper, G Katz, J Gottschlich, K Julian, C Barrett, M Kochenderfer
arXiv preprint arXiv:1801.05950, 2018
232018
Non-intrusive repair of safety and liveness violations in reactive programs
D Harel, G Katz, A Marron, G Weiss
Transactions on Computational Collective Intelligence XVI, 1-33, 2014
202014
Lazy proofs for DPLL (T)-based SMT solvers
G Katz, C Barrett, C Tinelli, A Reynolds, L Hadarean
2016 Formal Methods in Computer-Aided Design (FMCAD), 93-100, 2016
192016
Scaling-up behavioral programming: Steps from basic principles to application architectures
D Harel, G Katz
Proceedings of the 4th International Workshop on Programming based on Actors …, 2014
192014
Relaxing synchronization constraints in behavioral programs
D Harel, A Kantor, G Katz
International Conference on Logic for Programming Artificial Intelligence …, 2013
192013
On module-based abstraction and repair of behavioral programs
G Katz
International Conference on Logic for Programming Artificial Intelligence …, 2013
192013
On the succinctness of idioms for concurrent programming
D Harel, G Katz, R Lampert, A Marron, G Weiss
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
182015
An initial wise development environment for behavioral models
D Harel, G Katz, R Marelly, A Marron
2016 4th International Conference on Model-Driven Engineering and Software …, 2016
172016
The system can't perform the operation now. Try again later.
Articles 1–20