15 citations · 32 across the 19 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 1 cited
Preparing for Super-Reactivity: Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
David Harel, Assaf Marron
We introduce the term Super-Reactive Systems to refer to reactive systems whose construction and behavior are complex, constantly changing and evolving, and heavily interwoven with…
cs.SE2024
On Augmenting Scenario-Based Modeling with Generative AI
David Harel, Guy Katz, Assaf Marron +1
The manual modeling of complex systems is a daunting task; and although a plethora of methods exist that mitigate this issue, the problem remains very difficult. Recent advances in…