Shahar Maoz

Registered user since Tue 30 Jun 2015

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

Contributions

ASE 2022 Program Co-Chair in Research Papers Chair within the Research Papers-track
Program Co-Chair in Organizing Committee
MODELS 2021 Author of Spectra: A Specification Language for Reactive Systems within the Technical Papers-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
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
Invited Speaker of ERC Funding Opportunities 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 2022 Committee Member in Program Committee within the Technical Track-track
FormaliSE 2020 Keynote Speaker of SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers within the FormaliSE 2020-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
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
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 2020 Programme Committee in Program Committee within the ACM Student Research Competition-track
Programme Committee in Program Committee within the Technical 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