conf.researchr.org / Shahar Maoz
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
ASE
ICSE
- Session Chair of Dependability and Formal methods 3 (part of Research Track)
- Author of MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating within the Research Track-track
- Committee Member in Research Track within the Research Track-track
- Author of Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications: Artifact within the Artifact Evaluation-track
- Author of Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications within the Research Track-track
2023
ASE
ICSE
- Author of Artifact for "Using Reactive Synthesis: An End-to-End Exploratory Case Study" within the Artifact Evaluation-track
- Author of Using Reactive Synthesis: An End-to-End Exploratory Case Study within the Technical Track-track
- Author of Anti-Patterns (Smells) in Temporal Specifications within the NIER - New Ideas and Emerging Results-track
- Session Chair of Cyber-physical systems testing (part of Journal-First Papers)
- Author of Artifact for "Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?" within the Artifact Evaluation-track
- Program Committee Member in Technical Track within the Technical Track-track
- Author of Triggers for Reactive Synthesis Specifications within the Technical Track-track
- Author of Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? within the Technical Track-track
- Author of Artifact for "Triggers for Reactive Synthesis Specifications" within the Artifact Evaluation-track
2022
MODELS
ASE
2021
ASE
MODELS
ESEC/FSE
ICSE
- Author of Unrealizable Cores for Reactive Systems Specifications: Artifact within the AE - Artifact Evaluation-track
- Author of Unrealizable Cores for Reactive Systems Specifications within the Technical Track-track
- Author of Reactive Synthesis with Spectra: A Tutorial within the TB - Technical Briefings-track