| emsoft | participants

Assaf Marron

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