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