119 citations · 127 across the 10 of their papers we have counts for
4 papers · 1 filter
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…