| emsoft | participants

Gera Weiss

Program Committees:
2014, 2019, and 2020
.

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 2008: 8th ACM & IEEE International Conference on Embedded Software

RTComposer: a Framework for Real-Time Components with Scheduling Interfaces

Rajeev Alur and Gera Weiss