
Registered user since Tue 30 Jun 2015
Name: Shahar Maoz
Country: Israel
Affiliation: Tel Aviv University, Israel
Personal website: http://www.cs.tau.ac.il/~maozs/
Research interests: Software engineering, modeling, formal methods
Contributions
ICSE 2021 | Unrealizable Cores for Reactive Systems Specifications Reactive Synthesis with Spectra: A Tutorial | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile