| 2026 | FM | Performance Heuristics for GR(1) Unrealizable Core Computation. | Shachaf Cohen, Shahar Maoz |
| 2025 | TACAS | Performance Heuristics for GR(1) Realizability Checking and Related Analyses. | Roy Yatskan, Ilia Shevrin, Shahar Maoz |
| 2024 | FM | Fast Attack Graph Defense Localization via Bisimulation. | Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz |
| 2024 | ICSE | Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. | Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert |
| 2024 | ICSE | MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating. | Jiakun Liu, Zicheng Zhang, Xing Hu, Ferdian Thung, Shahar Maoz, Debin Gao, Eran Toch, Zhipeng Zhao, David Lo |
| 2023 | ICSE | Triggers for Reactive Synthesis Specifications. | Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2023 | ICSE | Using Reactive Synthesis: An End-to-End Exploratory Case Study. | Dor Ma'ayan, Shahar Maoz |
| 2023 | ICSE | Anti-Patterns (Smells) in Temporal Specifications. | Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert |
| 2023 | ICSE | Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? | Rafi Shalom, Shahar Maoz |
| 2022 | ICSE | Dynamic Update for Synthesized GR(1) Controllers. | Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef |
| 2022 | MODELS | Validating the correctness of reactive systems specifications through systematic exploration. | Dor Ma'ayan, Shahar Maoz, Roey Rozi |
| 2021 | FM | Efficient Algorithms for Omega-Regular Energy Games. | Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert |
| 2021 | ICSE | Reactive Synthesis with Spectra: A Tutorial. | Shahar Maoz, Jan Oliver Ringert |
| 2021 | ICSE | Unrealizable Cores for Reactive Systems Specifications. | Shahar Maoz, Rafi Shalom |
| 2021 | ICSE | Unrealizable Cores for Reactive Systems Specifications: Artifact. | Shahar Maoz, Rafi Shalom |
| 2019 | FM | GR(1)*: GR(1) Specifications Extended with Existential Guarantees. | Gal Amram, Shahar Maoz, Or Pistiner |
| 2019 | ICSE | Symbolic repairs for GR(1) specifications. | Shahar Maoz, Jan Oliver Ringert, Rafi Shalom |
| 2018 | ICSE | On the software engineering challenges of applying reactive synthesis to robotics. | Shahar Maoz, Jan Oliver Ringert |
| 2017 | ICSE | Syntactic and semantic differencing for combinatorial models of test designs. | Rachel Tzoref-Brill, Shahar Maoz |
| 2017 | MODELS | Component and Connector Views in Practice: An Experience Report. | Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2017 | MODELS | OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. | Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2017 | MODELS | Why is My Component and Connector Views Specification Unsatisfiable? | Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom |
| 2016 | ICSE | Behavioral log analysis with statistical guarantees. | Nimrod Busany, Shahar Maoz |
| 2016 | MODELS | Consistent Extra-Functional Properties Tagging for Component and Connector Models. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
| 2015 | ATVA | Lattice-Based Semantics for Combinatorial Model Evolution. | Rachel Tzoref-Brill, Shahar Maoz |
| 2015 | MODELS | A framework for relating syntactic and semantic model differences. | Shahar Maoz, Jan Oliver Ringert |
| 2014 | FASE | Semantically Configurable Analysis of Scenario-Based Specifications. | Barak Cohen, Shahar Maoz |
| 2014 | ICSE | Verifying component and connector models against crosscutting structural views. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2013 | ICSE | Counter play-out: executing unrealizable scenario-based specifications. | Shahar Maoz, Yaniv Sa'ar |
| 2012 | MODELS | Assume-Guarantee Scenarios: Semantics and Synthesis. | Shahar Maoz, Yaniv Sa'ar |
| 2011 | ECOOP | CDDiff: Semantic Differencing for Class Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | ECOOP | Modal Object Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | ICECCS | Towards Succinctness in Mining Scenario-Based Specifications. | David Lo, Shahar Maoz |
| 2011 | MODELS | Semantically Configurable Consistency Analysis for Class and Object Diagrams. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2011 | MODELS | CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2010 | ICSE | LM: a miner for scenario-based specifications. | Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo |
| 2010 | MODELS | A Manifesto for Semantic Model Differencing. | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
| 2010 | SOFSEM | Accelerating Smart Play-Out. | David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
| 2009 | MODELS | Polymorphic Scenario-Based Specification Models: Semantics and Applications. | Shahar Maoz |
| 2009 | MODELS | Model-Based Testing Using LSCs and S2A. | Shahar Maoz, Jani Mets, Mika Katara |
| 2009 | OOPSLA | Mining scenario-based specifications with value-based invariants. | David Lo, Shahar Maoz |
| 2008 | FASE | Object Composition in Scenario-Based Programming. | Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz |
| 2008 | MODELS | Model-Based Traces. | Shahar Maoz |
| 2008 | OOPSLA | Hierarchical inter-object traces for specification mining. | David Lo, Shahar Maoz |
| 2007 | FASE | S2A: A Compiler for Multi-modal UML Sequence Diagrams. | David Harel, Asaf Kleinbort, Shahar Maoz |
| 2007 | OOPSLA | Mining modal scenarios from execution traces. | David Lo, Shahar Maoz, Siau-Cheng Khoo |
| 2000 | MFCS | Why so Many Temporal Logics Climb up the Trees? | Alexander Moshe Rabinovich, Shahar Maoz |