Guy Katz

According to our database1, Guy Katz authored at least 48 papers between 2011 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Pruning and Slicing Neural Networks using Formal Verification.
CoRR, 2021

Towards Scalable Verification of RL-Driven Systems.
CoRR, 2021

An SMT-Based Approach for Verifying Binarized Neural Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Verifying learning-augmented systems.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

Towards Repairing Scenario-Based Models with Rich Events.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020
Global Optimization of Objective Functions Represented by ReLU Networks.
CoRR, 2020

Simplifying Neural Networks Using Formal Verification.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Augmenting Deep Neural Networks with Scenario-Based Guard Rules.
Proceedings of the Model-Driven Engineering and Software Development, 2020

Guarded Deep Learning using Scenario-based Modeling.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Minimal Modifications of Deep Neural Networks using Verification.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Parallelization Techniques for Verifying Neural Networks.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

An Abstraction-Based Framework for Neural Network Verification.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verifying Recurrent Neural Networks Using Invariant Inference.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Simplifying Neural Networks with the Marabou Verification Engine.
CoRR, 2019

Verifying Deep-RL-Driven Systems.
Proceedings of the 2019 Workshop on Network Meets AI & ML, 2019

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Executing Scenario-Based Specification with Dynamic Generation of Rich Events.
Proceedings of the Model-Driven Engineering and Software Development, 2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Toward Scalable Verification for Safety-Critical Deep Networks.
CoRR, 2018

Wise Computing: Toward Endowing System Development with Proactive Wisdom.
Computer, 2018

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program., 2017

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.
CoRR, 2017

Ground-Truth Adversarial Examples.
CoRR, 2017

Towards Proving the Adversarial Robustness of Deep Neural Networks.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Efficient Distributed Execution of Multi-component Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Distributing Scenario-based Models: A Replicate-and-Project Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

SMTCoq: A Plug-In for Integrating SMT Solvers into Coq.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
First Steps Towards a Wise Development Environment for Behavioral Models.
Int. J. Inf. Syst. Model. Des., 2016

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

An Initial Wise Development Environment for Behavioral Models.
Proceedings of the MODELSWARD 2016, 2016

Six (Im)possible Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Lazy proofs for DPLL(T)-based SMT solvers.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Towards behavioral programming in distributed architectures.
Sci. Comput. Program., 2015

Wise Computing: Towards Endowing System Development with True Wisdom.
CoRR, 2015

The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
Proceedings of the MODELSWARD 2015, 2015

Theory-Aided Model Checking of Concurrent Transition Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

On the Succinctness of Idioms for Concurrent Programming.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.
Trans. Comput. Collect. Intell., 2014

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013
On Module-Based Abstraction and Repair of Behavioral Programs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Relaxing Synchronization Constraints in Behavioral Programs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

On composing and proving the correctness of reactive behavior.
Proceedings of the International Conference on Embedded Software, 2013

2012
Non-intrusive Repair of Reactive Programs.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Recommenders benchmark framework.
Proceedings of the 2011 ACM Conference on Recommender Systems, 2011


  Loading...