Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Orna Grumberg
conf.researchr.org general profile
* ICSE 2018 * profile
APLAS & ATVA 2026 profile
ATVA 2025 profile
ETAPS 2019 profile
NASA Formal Methods 2023 profile
POPL 2017 profile
POPL 2021 profile
POPL 2022 profile
Registered user since Sun 17 Jul 2016
Name:
Orna Grumberg
Affiliation:
Technion – Israel Institute of Technology
Contributions
2026
APLAS
Author of Bit-Precise CHC Satisfiability Using Theory-Modular Reasoning within the ATVA Research Papers-track
2025
ATVA
PC Member in Programme Committee
2023
NFM
Author of Condition Synthesis Realizability via Constrained Horn Clauses within the NFM 2023-track
2022
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
VMCAI
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)
2019
TACAS
Committee Member in Program Committee within the TACAS 2019-track
2018
ICSE
Author of Poster W50: Program Repair That Learns From Mistakes within the Posters -track
2017
VMCAI
Committee Member in Program committee
Share
x
Thu 22 Oct 00:58