Statistics
Publications
45
Citations
1.5K
H-Index
24
Active since
2006
Shahar Maoz is an author at Tel Aviv University specializing in computer science, computing, and formal methods.
Publications per year
2006–2023
45
45
From multi-modal scenarios to code
Shahar Maoz, David Harel · 2006 · 76 citations
GR(1) synthesis for LTL specification patterns
Shahar Maoz, Jan Oliver Ringert · 2015 · 73 citations · Full text
Scenario-based and value-based specification mining
David Lo, Shahar Maoz · 2010 · 72 citations
1–5 of 45