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