PUBLICATIONS

34.

An Abstraction-Based Framework for Neural Network Verification

Y. Elboher, J. Gottschlich and G. Katz

Arxiv Technical Report, October 2019

[Arxiv]

33.

Simplifying Neural Networks with the Marabou Verification Engine

S. Gokulanathan, A. Feldsher, A. Malca, C. Barrett and G. Katz

Arxiv Technical Report, October 2019

[Arxiv]

32.

Verifying Deep-RL-Driven Systems

Y. Kazak, C. Barrett, G. Katz and M. Schapira

Proc. 1st ACM SIGCOMM Workshop on Network Meets AI & ML (NetAI), pp. 83-89

Beijing, China, August 2019

[PDF]

31.

The Marabou Framework for Verification and Analysis of Deep Neural Networks

G. Katz, D. Huang, D. Ibeling, K. Julian, C. Lazarus, R. Lim, P. Shah, S. Thakoor, H. Wu, A. Zeljic, D. Dill, M. Kochenderfer and C. Barrett

Proc. 31st Int. Conf. on Computer Aided Verification (CAV), pp. 443-452

New York City, New York, USA, July 2019

[PDF]

30.

On-the-Fly Construction of Composite Events in Scenario-Based Modeling Using Constraint Solvers

G. Katz, A. Marron, A. Sadon and G. Weiss
Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 143-156

Prague, Czech Republic, February 2019

[PDF]

2019

Efficient Distributed Execution of Multi-Component Scenario-Based Models

S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron

Communications in Computer and Information Science (CCIS) 880, 2018, pp 449-483

[PDF]

29.

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks

D. Gopinath, G. Katz, C. Pasareanu and C. Barrett

Proc. 16th. Int. Symp. on on Automated Technology for Verification and Analysis (ATVA), pp. 3-19

Los Angeles, California, USA, October 2018

[PDF]

28.

Wise Computing: Towards Endowing System Development with Proactive Wisdom

D. Harel, G. Katz, R. Marelly and A. Marron

IEEE Computer 51(2), 2018, pp. 14-26

[PDF]

27.

Toward Scalable Verification for Safety-Critical Deep Networks

L. Kuper, G. Katz, J. Gottschlich, K. Julian, C. Barrett and M. Kochenderfer

Arxiv Technical Report, January 2018

[Arxiv]

26.

2018

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 and G. Katz

Journal of Science of Computer Programming (J. SCP) 149, 2017, pp. 15-27

[PDF]

25.

Provably Minimally-Distorted Adversarial Examples

N. Carlini, G. Katz, C. Barrett and D. Dill

Arxiv Technical Report, September 2017

[Arxiv]

24.

Towards Proving the Adversarial Robustness of Deep Neural Networks

G. Katz, C. Barrett, D. Dill, K. Julian and M. Kochenderfer

Proc. 1st Workshop on Formal Verification of Autonomous Vehicles (FVAV), pp. 19-26

Turin, Italy, September 2017

[PDF]

23.

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

G. Katz, C. Barrett, D. Dill, K. Julian and M. Kochenderfer

Proc. 29th Int. Conf. on Computer Aided Verification (CAV), pp. 97-117

Heidelberg, Germany, July 2017

[PDF]

22.

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq

B. Ekici, A. Mebsout, C. Tinelli, C. Keller, G. Katz, A. Reynolds and C. Barrett

Proc. 29th Int. Conf. on Computer Aided Verification (CAV), pp. 126-133

Heidelberg, Germany, July 2017

[PDF]

21.

Distributing Scenario-Based Models: A Replicate-and-Project Approach

S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron

Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 182-195

Porto, Portugal, February 2017

[PDF]

20.

2017

First Steps Towards a Wise Development Environment for Behavioral Models

D. Harel, G. Katz, R. Marelly and A. Marron

International Journal of Information System Modeling and Design (IJISMD), 7(3), 2016, pp. 1-22

[PDF]

19.

Lazy Proofs for DPLL(T)-Based SMT Solvers

G. Katz, C. Barrett, C. Tinelli, A. Reynolds and L. Hadarean

Proc. 16th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD), pp. 93-100 

Mountain View, California, USA, October 2016

[PDF]

18.

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools

J. Greenyer, D. Gritzner, G. Katz and A. Marron

Proc. 19th ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), Demo Session, pp. 16-23

Saint-Malo, France, October 2016

[PDF]

17.

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing

A. Marron, B. Arnon, A. Elyasaf, M. Gordon, G. Katz, H. Lapid, R. Marelly, D. Sherman, S. Szekely, G. Weiss and D. Harel

Proc. 19th ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), Poster Session, pp. 94-100

Saint-Malo, France, October 2016

[PDF]

16.

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

B. Ekici, G. Katz, C. Keller, A. Mebsout, A. Reynolds and C. Tinelli

Proc. 1st Int. Workshop on Hammers for Type Theories (HATT), pp. 21-29

Coimbra, Portugal, July 2016

[PDF]

15.

Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems

J. Greenyer, D. Gritzner, G. Katz, A. Marron, N. Glade, T. Gutjahr and F. König

Proc. 3rd Int. Conf. on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SYSINT), pp. 552-559 

Paderborn, Germany, June 2016

 

[PDF]

14.

An Initial Wise Development Environment for Behavioral Models

D. Harel, G. Katz, R. Marelly and A. Marron

Proc. 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 600-612

Rome, Italy, February 2016

 

[PDF]

13.

2016

Theory-Aided Model Checking of Concurrent Transition Systems

G. Katz, C. Barrett and D. Harel

Proc. 15th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD), pp. 81-88

Austin, Texas, USA, September 2015

[PDF] [Supplementary Material]

12.

On Concurrency Idioms and their Effect on Program Analysis

G. Katz

Ph.D. Thesis, The Weizmann Institute of Science

Rehovot, Israel, December 2015

[PDF]

11.

On the Succinctness of Idioms for Concurrent Programming

D. Harel, G. Katz, R. Lampert, A. Marron and G. Weiss

Proc. 26th Int. Conf. on Concurrency Theory (CONCUR), pp. 85-99

Madrid, Spain, September 2015

[PDF] [Supplementary Material]

10.

Towards Behavioral Programming in Distributed Architectures

D. Harel, A. Kantor, G. Katz, A. Marron, G. Weiss and G. Wiener

Journal of Science of Computer Programming (J. SCP) 98, 2015, pp. 233-267

[PDF]

9.

The Effect of Concurrent Programming Idioms on Verification

D. Harel, G. Katz, A. Marron and G. Weiss

Proc. 3rd Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), pp. 363-369

Angers, France, February 2015

[PDF]

8.

2015

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures

D. Harel and G. Katz

Proc. 4th SPLASH Workshop on Programming based on Actors, Agents and Decentralized Control (AGERE!), pp. 95-108

Portland, Oregon, USA, October 2014

[PDF] [Supplementary Material]

7.

Non-Intrusive Repair of Safety and Liveness Violations in Reactive Programs

D. Harel, G. Katz, A. Marron and G. Weiss

LNCS Transactions on Computational Collective Intelligence (TCCI) 16, 2014, pp. 1-33

[PDF]

6.

2014

On Module-Based Abstraction and Repair of Behavioral Programs

G. Katz

Proc. 19th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 518-535

Stellenbosch, South Africa, December 2013

[PDF] [Supplementary Material]

5.

Relaxing Synchronization Constraints in Behavioral Programs

D. Harel, A. Kantor and G. Katz

Proc. 19th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 355-372

Stellenbosch, South Africa, December 2013

 

[PDF] [Supplementary Material]

4.

On Composing and Proving the Correctness of Reactive Behavior

D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi and G. Weiss

Proc. 13th Int. Conf. on Embedded Software (EMSOFT), pp. 1-10

Montréal, Canada, September 2013

[PDF] [Supplementary Material]

3.

2013

Non-Intrusive Repair of Reactive Programs

D. Harel, G. Katz, A. Marron and G. Weiss

Proc. 17th IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), pp. 3-12

Paris, France, July 2012

[PDF]

2.

Non-Intrusive Repair of Behavioral Programs

G. Katz

M.Sc. Thesis, The Weizmann Institute of Science

Rehovot, Israel, March 2012

[PDF]

1.

2012

The Hebrew University
of Jerusalem

© 2019 by Guy Katz. Photo by Miriam Alster, Flash 90

  • LinkedIn
  • Google Scholar
  • Research Gate