![Shahar Maoz](https://conf.researchr.org/getProfileImage/shaharmaoz/82d8f187-5e5f-432a-913b-c2a940c367be/small.jpg?1715091394000)
Registered user since Tue 30 Jun 2015
Name:Shahar Maoz
Country:Israel
Affiliation:Tel Aviv University
Personal website: https://www.cs.tau.ac.il/~maozs/
Research interests:Software engineering, modeling, formal methods
Contributions
2024
ICSE
- Session Chair of Dependability and Formal methods 3 (part of Research Track)
- MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating
- Committee Member in Research Track within the Research Track-track
- Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications: Artifact
- Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
ICSE 2024-profile
View general profile
View general profile