Shahar Maoz

Registered user since Tue 30 Jun 2015

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

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
ICSE 2023 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
ESEC/FSE 2022 Author of Inherent Vacuity for GR(1) Specifications within the ESEC/FSE 2020-track
MODELS 2022 Author of Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration within the Technical Track-track
Author of Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration within the Posters-track
ASE 2022 Program Co-Chair of Welcome from the Chairs within the Plenary-track
Program Co-Chair in Research Papers Chair within the Research Papers-track
Program Co-Chair in Organizing Committee
ICSE 2022 Session Chair of Program Analysis 1 (part of Technical Track)
Session Chair of Reliability and Safety 2 (part of Technical Track)
Committee Member in Program Committee within the Technical Track-track
Author of Dynamic Update for Synthesized GR(1) Controllers within the Technical Track-track
ASE 2021 Demo Track Chair in Organizing Committee
Demo Track PC Chair in Program Committee within the Tool Demonstrations-track
Demo Track PC Chair in Tool Demonstrations Chair within the Tool Demonstrations-track
Committee Member in Program Committee within the Research Papers-track
MODELS 2021 Author of Spectra: A Specification Language for Reactive Systems within the Technical Papers-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
Invited Speaker of ERC Funding Opportunities within the Plenary Events-track
ICSE 2021 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
ESEC/FSE 2020 Panelist of Conversations on Analysis 4 within the Paper Presentations-track
Author of Inherent Vacuity for GR(1) Specifications within the Research Papers-track
Panelist of Welcome Panel #3 within the Plenary events-track
ASE 2020 Author of Just-In-Time Reactive Synthesis within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Session Chair of Synthesis and Repair (part of Research Papers)
ICSE 2020 Programme Committee in Program Committee within the ACM Student Research Competition-track
Programme Committee in Program Committee within the Technical Papers-track
FormaliSE 2020 Keynote Speaker of SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers within the FormaliSE 2020-track
ASE 2019 Author of Statistical Log Differencing within the Research Papers-track
Committee Member in Program Committee within the Journal First Presentations-track
Author of Size and Accuracy in Model Inference within the Research Papers-track
ICSE 2019 Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track
Session Chair of Software Product Lines (part of Papers)
Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2018 Session Chair of Repair and Synthesis (part of Research Papers)
Author of Using Finite-State Models for Log Differencing within the Research Papers-track
Author of Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans within the Research Papers-track
* ICSE 2018 * Session Chair of Code Search, Synthesis, Performance (part of Technical Papers )
Committee Member in Program committee within the Technical Papers -track
Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track