Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ofer Strichman
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2017 profile
POPL 2024 profile
Not registered as user
Name:
Ofer Strichman
Affiliation:
Technion
Personal website:
http://ie.technion.ac.il/~ofers
Contributions
2024
VMCAI
Author of Model-Guided Synthesis for LTL over Finite Traces within the VMCAI 2024-track
2019
PERR
Committee Member in Program Committee within the PERR-track
Committee Member in Organizing Committee within the PERR-track
2017
VMCAI
Author of Synthesizing Non-Vacuous Systems within the VMCAI-track
Share
x
Sun 13 Jul 13:27
