Orna Grumberg -

Registered user since Sun 17 Jul 2016

Name: Orna Grumberg

Affiliation: Technion – Israel Institute of Technology

Contributions

VMCAI 2021	Author of Compositional Model Checking for Multi-Properties within the VMCAI-track Committee Member in Program Committee within the VMCAI-track Session Chair of Infinite-State Systems and Compilation (part of VMCAI)
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track
VMCAI 2017	Committee Member in Program committee
* ICSE 2018 *	Author of Poster W50: Program Repair That Learns From Mistakes within the Posters -track