VLDB 2026 Research / reviewers in the wild / expert
Itay Cohen 0001
dblp:01/3059-1
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2025
0000-0002-5077-4085ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 3 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | The Power of Reframing: Using LLMs in Synthesizing RV Monitors
Itay Cohen 0001, Klaus Havelund, Doron A. Peled, Yoav Goldberg |
RV | 1 |
| 2023 | Accelerating Black Box Testing with Light-Weight Learning
Roi Fogler, Itay Cohen 0001, Doron A. Peled |
SPIN | 2 |
| 2022 | A Reinforcement-Learning Style Algorithm for Black Box Automata
Itay Cohen 0001, Roi Fogler, Doron A. Peled |
MEMOCODE | 1 |