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.

[BibT_eX]

[DOI]

Tomer Eliyahu

Yafim Kazak

Guy Katz

Michael Schapira

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

Towards Repairing Scenario-Based Models with Rich Events.

[BibT_eX]

[DOI]

Guy Katz

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Pruning and Slicing Neural Networks using Formal Verification.

[BibT_eX]

[DOI]

Ori Lahav

Guy Katz

Proceedings of the Formal Methods in Computer Aided Design, 2021

Towards Scalable Verification of Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Guy Amir

Michael Schapira

Guy Katz

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Simplifying Neural Networks Using Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Augmenting Deep Neural Networks with Scenario-Based Guard Rules.

[BibT_eX]

[DOI]

Guy Katz

Proceedings of the Model-Driven Engineering and Software Development, 2020

Guarded Deep Learning using Scenario-based Modeling.

[BibT_eX]

[DOI]

Guy Katz

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Minimal Modifications of Deep Neural Networks using Verification.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Parallelization Techniques for Verifying Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

An Abstraction-Based Framework for Neural Network Verification.

[BibT_eX]

[DOI]

Yizhak Yisrael Elboher

Justin Gottschlich

Guy Katz

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verifying Recurrent Neural Networks Using Invariant Inference.

[BibT_eX]

[DOI]

Yuval Jacoby

Clark W. Barrett

Guy Katz

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Simplifying Neural Networks with the Marabou Verification Engine.

[BibT_eX]

[DOI]

CoRR, 2019

Verifying Deep-RL-Driven Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Executing Scenario-Based Specification with Dynamic Generation of Rich Events.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.

[BibT_eX]

[DOI]

Mykel J. Kochenderfer

Clark W. Barrett

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Toward Scalable Verification for Safety-Critical Deep Networks.

[BibT_eX]

[DOI]

Mykel J. Kochenderfer

CoRR, 2018

Wise Computing: Toward Endowing System Development with Proactive Wisdom.

[BibT_eX]

[DOI]

Computer, 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Ground-Truth Adversarial Examples.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Proving the Adversarial Robustness of Deep Neural Networks.

[BibT_eX]

[DOI]

Mykel J. Kochenderfer

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Efficient Distributed Execution of Multi-component Scenario-Based Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2017

Distributing Scenario-based Models: A Replicate-and-Project Approach.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

Mykel J. Kochenderfer

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

First Steps Towards a Wise Development Environment for Behavioral Models.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2016

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

An Initial Wise Development Environment for Behavioral Models.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Towards behavioral programming in distributed architectures.

[BibT_eX]