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 -
Performance Heuristics for GR(1) Realizability Checking and Related Analyses
Yatskan, R., Shevrin, I. & Maoz, S., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-59 20 p. (Lecture Notes in Computer Science; vol. 15696 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. 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