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

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