20002023

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Software engineering

Formal methods

Modeling

Formal specifications

Software testing and anaylsis

Keywords

  • QA76 Computer software
  • Software engineering
  • Formal methods
  • Modeling
  • Formal specifications
  • Software testing and analysis

Fingerprint

Dive into the research topics where Shahar Maoz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Anti-Patterns (Smells) in Temporal Specifications

    Ma’ayan, D., Maoz, S. & Ringert, J. O., 2023, Proceedings - 2023 ACM/IEEE 45th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2023. IEEE Computer Society, p. 13-18 6 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • AutoDebloater: Automated Android App Debloating

    Liu, J., Hu, X., Thung, F., Maoz, S., Toch, E., Gao, D. & Lo, D., 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 2090-2093 4 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Triggers for Reactive Synthesis Specifications

    Amram, G., Ma'ayan, D., Maoz, S., Pistiner, O. & Ringert, J. O., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 729-741 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Using Reactive Synthesis: An End-to-End Exploratory Case Study

    Ma'ayan, D. & Maoz, S., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 742-754 13 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

    Shalom, R. & Maoz, S., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 221-232 12 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access