Write a Blog >>
TechDebt 2021
Wed 19 - Fri 21 May 2021
co-located with ICSE 2021
Shahar Maoz

Registered user since Tue 30 Jun 2015

Name:Shahar Maoz
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:Software engineering, modeling, formal methods

Contributions

ICSE 2021 Unrealizable Cores for Reactive Systems Specifications: Artifact
Unrealizable Cores for Reactive Systems Specifications
Reactive Synthesis with Spectra: A Tutorial
Show activities from other conferences

ICSE 2021-profile
View general profile