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
-
Fast Attack Graph Defense Localization via Bisimulation
Busany, N., Shalom, R., Klein, D. & Maoz, S., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 245-263 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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 -
Triggers for Reactive Synthesis Specifications
Amram, G., Ma’ayan, D., Maoz, S., Pistiner, O. & Ringert, J. O., 2024, Software Engineering 2024 - Proceedings. Rabiser, R., Wimmer, M., Groher, I., Wortmann, A. & Wiesmayr, B. (eds.). Gesellschaft fur Informatik (GI), p. 41-42 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-343).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review