15 citations · 32 across the 19 of their papers we have counts for
3 papers · 1 filter
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
David Harel, Assaf Marron, Joseph Sifakis
The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issu…
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems
David Harel, Rami Marelly, Assaf Marron +1
In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then valid…
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…