Filter by type:

Sort by year:

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks

Conference Paper
D. Gopinath, G. Katz, C. Pasareanu and C. Barrett
Proc. 16th. Int. Symp. on on Automated Technology for Verification and Analysis (ATVA). Los Angeles, California, USA, October 2018. To appear.
Publication year: 2018

Wise Computing: Towards Endowing System Development with True Wisdom

Journal Paper
D. Harel, G. Katz, R. Marelly and A. Marron
IEEE Computer 51(2), 2018, pp. 14-26.
Publication year: 2018

ScenarioTools - A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems

Journal Paper
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.
Publication year: 2017

Ground-Truth Adversarial Examples

Technical Report
N. Carlini, G. Katz, C. Barrett and D. Dill
Arxiv Technical Report, September 2017.
Publication year: 2017

Towards Proving the Adversarial Robustness of Deep Neural Networks

Workshop Paper
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.
Publication year: 2017

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Conference Paper
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.
Publication year: 2017

A technical report containing the supplementary material can be found here.

The proof-of-concept implementation described in the paper can be found here.

A press release by Stanford Engineering News is also available.

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

Conference Paper
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.
Publication year: 2017

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

Conference Paper
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.
Publication year: 2017

First Steps Towards a Wise Development Environment for Behavioral Models

Journal Paper
D. Harel, G. Katz, R. Marelly and A. Marron
International Journal of Information System Modeling and Design (IJISMD), 7(3), 2016, pp. 1-22.
Publication year: 2016

Lazy Proofs for DPLL(T)-Based SMT Solvers

Conference Paper
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.
Publication year: 2016

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

Conference Paper
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.
Publication year: 2016

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

Conference Paper
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.
Publication year: 2016

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

Workshop Paper
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.
Publication year: 2016

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

Conference Paper
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.
Publication year: 2016

An Initial Wise Development Environment for Behavioral Models

Conference Paper
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.
Publication year: 2016

Theory-Aided Model Checking of Concurrent Transition Systems

Conference Paper
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.
Publication year: 2015

For the supplementary material, click here.

On Concurrency Idioms and their Effect on Program Analysis

Thesis
G. Katz
Ph.D. Thesis. The Weizmann Institute of Science, Rehovot, Israel, December 2015.
Publication year: 2015

On the Succinctness of Idioms for Concurrent Programming

Conference Paper
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.
Publication year: 2015

For the supplementary material, click here.

Towards Behavioral Programming in Distributed Architectures

Journal Paper
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.
Publication year: 2015

The Effect of Concurrent Programming Idioms on Verification

Conference Paper
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.
Publication year: 2015

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

Workshop Paper
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.
Publication year: 2014

For the supplementary material, click here.

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

Journal Paper
D. Harel, G. Katz, A. Marron and G. Weiss
LNCS Transactions on Computational Collective Intelligence (TCCI) 16, 2014, pp. 1-33.
Publication year: 2014

On Module-Based Abstraction and Repair of Behavioral Programs

Conference Paper
G. Katz
Proc. 19th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 518-535. Stellenbosch, South Africa, December 2013.
Publication year: 2013

For the supplementary material, click here.

Relaxing Synchronization Constraints in Behavioral Programs

Conference Paper
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.
Publication year: 2013

For the supplementary material, click here.

On Composing and Proving the Correctness of Reactive Behavior

Conference Paper
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.
Publication year: 2013

For the supplementary material, click here.

Non-Intrusive Repair of Reactive Programs

Conference Paper
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.
Publication year: 2012

Non-Intrusive Repair of Behavioral Programs

Thesis
G. Katz
M.Sc. Thesis. The Weizmann Institute of Science, Rehovot, Israel, March 2012.
Publication year: 2012