5 citations · 21 across the 10 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.SE2019★ 2 cited
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…
cs.SE2019
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…
q-bio.NC2019
Deciphering the underlying mechanisms of the pharyngeal motions in Caenorhabditis elegans
Dana Sherman, David Harel
The pharynx of the nematode Caenorhabditis elegans is a neuromuscular pump that exhibits two typical motions: pumping and peristalsis. While the dynamics of these motions are well…