Orna Grumberg -

Registered user since Sun 17 Jul 2016

Name:Orna Grumberg

Affiliation:Technion – Israel Institute of Technology

Contributions

VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
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
* ICSE 2018 *	Author of Poster W50: Program Repair That Learns From Mistakes within the Posters -track
VMCAI 2017	Committee Member in Program committee