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
2023
ICSE
- Artifact for "Using Reactive Synthesis: An End-to-End Exploratory Case Study"
- Using Reactive Synthesis: An End-to-End Exploratory Case Study
- Anti-Patterns (Smells) in Temporal Specifications
- Session Chair of Cyber-physical systems testing (part of Journal-First Papers)
- Artifact for "Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?"
- Program Committee Member in Technical Track within the Technical Track-track
- Triggers for Reactive Synthesis Specifications
- Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
- Artifact for "Triggers for Reactive Synthesis Specifications"
ICSE 2023-profile
View general profile
View general profile