119 citations · 468 across the 39 of their papers we have counts for
5 papers · 1 filter
Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study
Adiel Ashrov, Guy Katz
Deep neural networks (DNNs) have become a crucial instrument in the software development toolkit, due to their ability to efficiently solve complex problems. Nevertheless, DNNs are…
Towards Repairing Scenario-Based Models with Rich Events
Guy Katz
Repairing legacy systems is a difficult and error-prone task: often, limited knowledge of the intricacies of these systems could make an attempted repair result in new errors. Cons…
Guarded Deep Learning using Scenario-Based Modeling
Guy Katz
Deep neural networks (DNNs) are becoming prevalent, often outperforming manually-created systems. Unfortunately, DNN models are opaque to humans, and may behave in unexpected ways…
On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
Guy Katz, Assaf Marron, Aviran Sadon +1
Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are d…
Wise Computing: Towards Endowing System Development with True Wisdom
David Harel, Guy Katz, Rami Marelly +1
Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we fee…