Why so Many Temporal Logics Climb up the Trees? - Alexander Moshe Rabinovich; Shahar Maoz (MFCS, 2000)

An Infinite Hierarchy of Temporal Logics over Branching Time. - Alexander Moshe Rabinovich; Shahar Maoz (Inf. Comput., 2001)

From multi-modal scenarios to code: compiling LSCs into aspectJ. - Shahar Maoz; David Harel (SIGSOFT FSE, 2006)

S2A: A Compiler for Multi-modal UML Sequence Diagrams. - David Harel; Asaf Kleinbort; Shahar Maoz (FASE, 2007)

Mining modal scenario-based specifications from execution traces of reactive systems. - David Lo 001; Shahar Maoz; Siau-Cheng Khoo (ASE, 2007)

Mining modal scenarios from execution traces. - David Lo 001; Shahar Maoz; Siau-Cheng Khoo (OOPSLA Companion, 2007)

Towards Trace Visualization and Exploration for Reactive Systems. - Shahar Maoz; Asaf Kleinbort; David Harel (VL/HCC, 2007)

Some Results on the Expressive Power and Complexity of LSCs. - David Harel; Shahar Maoz; Itai Segall (Pillars of Computer Science, 2008)

Object Composition in Scenario-Based Programming. - Yoram Atir; David Harel; Asaf Kleinbort; Shahar Maoz (FASE, 2008)

Mining Scenario-Based Triggers and Effects. - David Lo 001; Shahar Maoz (ASE, 2008)

Model-Based Traces. - Shahar Maoz (MoDELS (Workshops), 2008)

Hierarchical inter-object traces for specification mining. - David Lo 001; Shahar Maoz (OOPSLA Companion, 2008)

Specification mining of symbolic scenario-based models. - David Lo 001; Shahar Maoz (PASTE, 2008)

Assert and negate revisited: Modal semantics for UML sequence diagrams. - David Harel; Shahar Maoz (Softw. Syst. Model., 2008)

Mining Hierarchical Scenario-Based Specifications. - David Lo 001; Shahar Maoz (ASE, 2009)

Model-Based Testing Using LSCs and S2A. - Shahar Maoz; Jani Metsä; Mika Katara (MoDELS, 2009)

Mining scenario-based specifications with value-based invariants. - David Lo 001; Shahar Maoz (OOPSLA Companion, 2009)

Using Model-Based Traces as Runtime Models. - Shahar Maoz (Computer, 2009)

Visual Formalisms. - David Harel; Shahar Maoz (Encyclopedia of Database Systems, 2009)

On the Power of Play-Out for Scenario-Based Programs. - David Harel; Amir Kantor; Shahar Maoz (Concurrency, Compositionality, and Correctness, 2010)

LM: a miner for scenario-based specifications. - Tuan-Anh Doan; David Lo 001; Shahar Maoz; Siau-Cheng Khoo (ICSE (2), 2010)

PlayGo: towards a comprehensive tool for scenario based programming. - David Harel; Shahar Maoz; Smadar Szekely; Daniel Barkan (ASE, 2010)

A Manifesto for Semantic Model Differencing. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (MoDELS (Workshops), 2010)

Accelerating Smart Play-Out. - David Harel; Hillel Kugler; Shahar Maoz; Itai Segall (SOFSEM, 2010)

AspectLTL: an aspect language for LTL specifications. - Shahar Maoz; Yaniv Sa'ar (AOSD, 2011)

CDDiff: Semantic Differencing for Class Diagrams. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (ECOOP, 2011)

Modal Object Diagrams. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (ECOOP, 2011)

Towards Succinctness in Mining Scenario-Based Specifications. - David Lo 001; Shahar Maoz (ICECCS, 2011)

Semantically Configurable Consistency Analysis for Class and Object Diagrams. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (MoDELS, 2011)

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (MoDELS, 2011)

ADDiff: semantic differencing for activity diagrams. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (SIGSOFT FSE, 2011)

On tracing reactive systems. - Shahar Maoz; David Harel (Softw. Syst. Model., 2011)

A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. - Shahar Maoz; David Harel; Asaf Kleinbort (ACM Trans. Softw. Eng. Methodol., 2011)

Assume-Guarantee Scenarios: Semantics and Synthesis. - Shahar Maoz; Yaniv Sa'ar (MoDELS, 2012)

Scenario-based and value-based specification mining: better together. - David Lo 001; Shahar Maoz (Autom. Softw. Eng., 2012)

Polymorphic scenario-based specification models: semantics and applications. - Shahar Maoz (Softw. Syst. Model., 2012)

An Interim Summary on Semantic Model Differencing. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (Softwaretechnik-Trends, 2012)

Counter play-out: executing unrealizable scenario-based specifications. - Shahar Maoz; Yaniv Sa'ar (ICSE, 2013)

Mining branching-time scenarios. - Dirk Fahland; David Lo 001; Shahar Maoz (ASE, 2013)

Two-Way Traceability and Conflict Debugging for AspectLTL Programs. - Shahar Maoz; Yaniv Sa'ar (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Semantically Configurable Analysis of Scenario-Based Specifications. - Barak Cohen; Shahar Maoz (FASE, 2014)

The confidence in our k-tails. - Hila Cohen; Shahar Maoz (ASE, 2014)

Synthesis of Component and Connector Models from Crosscutting Structural Views. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (Software Engineering, 2014)

Summarizing Semantic Model Differences. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (CoRR, 2014)

An Operational Semantics for Activity Diagrams using SMV. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (CoRR, 2014)

Using aspects for testing of embedded software: experiences from two industrial case studies. - Jani Metsä; Shahar Maoz; Mika Katara; Tommi Mikkonen (Softw. Qual. J., 2014)

Scalable Parallelization of Specification Mining Using Distributed Computing. - Shaowei Wang 002; David Lo 001; Lingxiao Jiang; Shahar Maoz; Aditya Budi (The Art and Science of Analyzing Software Data, 2015)

Lattice-Based Semantics for Combinatorial Model Evolution. - Rachel Tzoref-Brill; Shahar Maoz (ATVA, 2015)

Have We Seen Enough Traces? (T). - Hila Cohen; Shahar Maoz (ASE, 2015)

Verifying Component and Connector Models against Crosscutting Structural Views. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe (Software Engineering & Management, 2015)

Behavioral log analysis with statistical guarantees. - Nimrod Busany; Shahar Maoz (ESEC/SIGSOFT FSE, 2015)

Synthesizing a Lego Forklift Controller in GR(1): A Case Study. - Shahar Maoz; Jan Oliver Ringert (SYNT, 2015)

On method ordering. - Yorai Geffen; Shahar Maoz (ICPC, 2016)

Visualization of combinatorial models and test plans. - Rachel Tzoref-Brill; Paul A. Wojciak; Shahar Maoz (ASE, 2016)

Consistent Extra-Functional Properties Tagging for Component and Connector Models. - Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe; Michael von Wenckstern (ModComp@MoDELS, 2016)

GR(1) synthesis for LTL specification patterns. - Shahar Maoz; Jan Oliver Ringert (Software Engineering, 2016)

On well-separation of GR(1) specifications. - Shahar Maoz; Jan Oliver Ringert (SIGSOFT FSE, 2016)

Symbolic BDD and ADD Algorithms for Energy Games. - Shahar Maoz; Or Pistiner; Jan Oliver Ringert (SYNT@CAV, 2016)

Syntactic and semantic differencing for combinatorial models of test designs. - Rachel Tzoref-Brill; Shahar Maoz (ICSE, 2017)

Component and Connector Views in Practice: An Experience Report. - Vincent Bertram; Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe; Michael von Wenckstern (MoDELS, 2017)

OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. - Shahar Maoz; Ferdinand Mehlan; Jan Oliver Ringert; Bernhard Rumpe; Michael von Wenckstern (MoDELS (Satellite Events), 2017)

Why is My Component and Connector Views Specification Unsatisfiable? - Shahar Maoz; Nitzan Pomerantz; Jan Oliver Ringert; Rafi Shalom (MoDELS, 2017)

A symbolic justice violations transition system for unrealizable GR(1) specifications. - Aviv Kuvent; Shahar Maoz; Jan Oliver Ringert (ESEC/SIGSOFT FSE, 2017)

Performance Heuristics for GR(1) Synthesis and Related Algorithms. - Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert (SYNT@CAV, 2017)

On the software engineering challenges of applying reactive synthesis to robotics. - Shahar Maoz; Jan Oliver Ringert (RoSE@ICSE, 2018)

Component and Connector Views in Practice. - Vincent Bertram; Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe; Michael von Wenckstern (Software Engineering, 2018)

Using finite-state models for log differencing. - Hen Amar; Lingfeng Bao; Nimrod Busany; David Lo 001; Shahar Maoz (ESEC/SIGSOFT FSE, 2018)

Modify, enhance, select: co-evolution of combinatorial models and test plans. - Rachel Tzoref-Brill; Shahar Maoz (ESEC/SIGSOFT FSE, 2018)

A framework for relating syntactic and semantic model differences. - Shahar Maoz; Jan Oliver Ringert (Softw. Syst. Model., 2018)

Visual Formalisms. - David Harel; Shahar Maoz (Encyclopedia of Database Systems (2nd ed.), 2018)

Symbolic repairs for GR(1) specifications. - Shahar Maoz; Jan Oliver Ringert; Rafi Shalom (ICSE, 2019)

Statistical Log Differencing. - Lingfeng Bao; Nimrod Busany; David Lo 001; Shahar Maoz (ASE, 2019)

Size and Accuracy in Model Inference. - Nimrod Busany; Shahar Maoz; Yehonatan Yulazari (ASE, 2019)

Just-In-Time Reactive Synthesis. - Shahar Maoz; Ilia Shevrin (ASE, 2020)

Inherent vacuity for GR(1) specifications. - Shahar Maoz; Rafi Shalom (ESEC/SIGSOFT FSE, 2020)

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (CoRR, 2020)

Efficient Algorithms for Omega-Regular Energy Games. - Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (FM, 2021)

Reactive Synthesis with Spectra: A Tutorial. - Shahar Maoz; Jan Oliver Ringert (ICSE (Companion Volume), 2021)

Unrealizable Cores for Reactive Systems Specifications. - Shahar Maoz; Rafi Shalom (ICSE, 2021)

Unrealizable Cores for Reactive Systems Specifications: Artifact. - Shahar Maoz; Rafi Shalom (ICSE (Companion Volume), 2021)

GR(1)*: GR(1) specifications extended with existential guarantees. - Gal Amram; Shahar Maoz; Or Pistiner (Formal Aspects Comput., 2021)

Spectra: a specification language for reactive systems. - Shahar Maoz; Jan Oliver Ringert (Softw. Syst. Model., 2021)

Dynamic Update for Synthesized GR(1) Controllers. - Gal Amram; Shahar Maoz; Itai Segall; Matan Yossef (ICSE, 2022)

Validating the correctness of reactive systems specifications through systematic exploration. - Dor Ma'ayan; Shahar Maoz; Roey Rozi (MoDELS, 2022)

Using Reactive Synthesis: An End-to-End Exploratory Case Study. - Dor Ma'ayan; Shahar Maoz (ICSE, 2023)

Anti-Patterns (Smells) in Temporal Specifications. - Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert (ICSE (NIER), 2023)

Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? - Rafi Shalom; Shahar Maoz (ICSE, 2023)

AutoDebloater: Automated Android App Debloating. - Jiakun Liu; Xing Hu 008; Ferdian Thung; Shahar Maoz; Eran Toch; Debin Gao; David Lo 001 (ASE, 2023)

Fast Attack Graph Defense Localization via Bisimulation. - Nimrod Busany; Rafi Shalom; Dan Klein 003; Shahar Maoz (FM (1), 2024)

MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating. - Jiakun Liu; Zicheng Zhang; Xing Hu 008; Ferdian Thung; Shahar Maoz; Debin Gao; Eran Toch; Zhipeng Zhao; David Lo 001 (ICSE, 2024)

Towards Speedy Permission-Based Debloating for Android Apps. - Ferdian Thung; Jiakun Liu; Pattarakrit Rattanukul; Shahar Maoz; Eran Toch; Debin Gao; David Lo 001 (MOBILESoft@ICSE, 2024)

Triggers for Reactive Synthesis Specifications. - Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (Software Engineering, 2024)

Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. - Ariel Gorenstein; Shahar Maoz; Jan Oliver Ringert (Software Engineering, 2025)

Performance Heuristics for GR(1) Realizability Checking and Related Analyses. - Roy Yatskan; Ilia Shevrin; Shahar Maoz (TACAS (1), 2025)

Shelving it rather than Ditching it: Dynamically Debloating DEX and Native Methods of Android Applications without APK Modification. - Zicheng Zhang; Jiakun Liu; Ferdian Thung; Haoyu Ma; Rui Li 102; Yan Naing Tun; Wei Minn; Lwin Khin Shar; Shahar Maoz; Eran Toch; David Lo 001; Joshua Wong; et al. (CoRR, 2025)