| emsoft | participants

David Harel

EMSOFT 2013: 13th International Conference on Embedded Software

On Composing and Proving the Correctness of Reactive Behavior

David Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, and Gera Weiss

EMSOFT 2011: 11th International Conference on Embedded Software

Model-Checking Behavioral Programs

David Harel, Robby Lampert, Assaf Marron, and Gera Weiss

EMSOFT 2002: 2nd International Workshop on Embedded Software

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

David Harel