Write a Blog >>
ICSE 2021
Fri 21 - Sun 30 May 2021
Shahar Maoz

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