Research output per year
Research output per year
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
-
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Gorenstein, A., Maoz, S. & Ringert, J. O., 6 Feb 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. IEEE Computer Society, (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
MiniMon: Minimizing Android Applications with Intelligent Monitoring-based Debloating
Liu, J., Zhang, Z., Hu, X., Thung, F., Maoz, S., Gao, D., Toch, E., Zhao, Z. & Lo, D., 2024, Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024. IEEE Computer Society, p. 2542-2554 13 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Towards Speedy Permission-Based Debloating for Android Apps
Thung, F., Liu, J., Rattanukul, P., Maoz, S., Toch, E., Gao, D. & Lo, D., 14 Apr 2024, Proceedings - 2024 IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2024. Association for Computing Machinery, Inc, p. 84-87 4 p. (Proceedings - 2024 IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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 proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
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 proceeding › Conference contribution › peer-review
Open Access