Shahar Maoz

122 papers A* 26A 12B 10C 5Journal 30Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
What Properties Affect Boolean Formula Comprehension in Formal Specifications?
ACM Trans. Softw. Eng. Methodol.
Ilia Shevrin, Shahar Maoz
2025 A* conf
Evolution-Aware Heuristics for GR(1) Realizability Checking.
ASE
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
2025 C conf
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
Software Engineering
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
2025 — conf
Performance Heuristics for GR(1) Realizability Checking and Related Analyses.
TACAS (1)
Roy Yatskan, Ilia Shevrin, Shahar Maoz
2025 J jnl
Shelving it rather than Ditching it: Dynamically Debloating DEX and Native Methods of Android Applications without APK Modification.
CoRR
Zicheng Zhang, Jiakun Liu, Ferdian Thung, Haoyu Ma, Rui Li, Yan Naing Tun, Wei Minn, Lwin Khin Shar, Shahar Maoz, Eran Toch, David Lo, Joshua Wong, Debin Gao
2024 — conf
Fast Attack Graph Defense Localization via Bisimulation.
FM (1)
Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz
2024 A* conf
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
ICSE
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
2024 A* conf
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating.
ICSE
Jiakun Liu, Zicheng Zhang, Xing Hu, Ferdian Thung, Shahar Maoz, Debin Gao, Eran Toch, Zhipeng Zhao, David Lo
2024 — conf
Towards Speedy Permission-Based Debloating for Android Apps.
MOBILESoft@ICSE
Ferdian Thung, Jiakun Liu, Pattarakrit Rattanukul, Shahar Maoz, Eran Toch, Debin Gao, David Lo
2024 C conf
Triggers for Reactive Synthesis Specifications.
Software Engineering
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2023 — conf
Anti-Patterns (Smells) in Temporal Specifications.
ICSE (NIER)
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
2023 A* conf
AutoDebloater: Automated Android App Debloating.
ASE
Jiakun Liu, Xing Hu, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo
2023 A* conf
Triggers for Reactive Synthesis Specifications.
ICSE
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2023 A* conf
Using Reactive Synthesis: An End-to-End Exploratory Case Study.
ICSE
Dor Ma'ayan, Shahar Maoz
2023 A* conf
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
ICSE
Rafi Shalom, Shahar Maoz
2022 A* conf
Dynamic Update for Synthesized GR(1) Controllers.
ICSE
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
2022 A conf
Validating the correctness of reactive systems specifications through systematic exploration.
MoDELS
Dor Ma'ayan, Shahar Maoz, Roey Rozi
2021 B conf
Efficient Algorithms for Omega-Regular Energy Games.
FM
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2021 J jnl
GR(1)*: GR(1) specifications extended with existential guarantees.
Formal Aspects Comput.
Gal Amram, Shahar Maoz, Or Pistiner
2021 — conf
Reactive Synthesis with Spectra: A Tutorial.
ICSE (Companion Volume)
Shahar Maoz, Jan Oliver Ringert
2021 J jnl
Spectra: a specification language for reactive systems.
Softw. Syst. Model.
Shahar Maoz, Jan Oliver Ringert
2021 A* conf
Unrealizable Cores for Reactive Systems Specifications.
ICSE
Shahar Maoz, Rafi Shalom
2021 J jnl
Unrealizable Cores for Reactive Systems Specifications.
CoRR
Shahar Maoz, Rafi Shalom
2021 — conf
Unrealizable Cores for Reactive Systems Specifications: Artifact.
ICSE (Companion Volume)
Shahar Maoz, Rafi Shalom
2020 J jnl
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games.
CoRR
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2020 — conf
Inherent vacuity for GR(1) specifications.
ESEC/SIGSOFT FSE
Shahar Maoz, Rafi Shalom
2020 A* conf
Just-In-Time Reactive Synthesis.
ASE
Shahar Maoz, Ilia Shevrin
2020 J jnl
Performance heuristics for GR(1) synthesis and related algorithms.
Acta Informatica
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
2019 B conf
GR(1)*: GR(1) Specifications Extended with Existential Guarantees.
FM
Gal Amram, Shahar Maoz, Or Pistiner
2019 A* conf
Size and Accuracy in Model Inference.
ASE
Nimrod Busany, Shahar Maoz, Yehonatan Yulazari
2019 J jnl
Spectra: A Specification Language for Reactive Systems.
CoRR
Shahar Maoz, Jan Oliver Ringert
2019 A* conf
Statistical Log Differencing.
ASE
Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz
2019 A* conf
Symbolic repairs for GR(1) specifications.
ICSE
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
2018 J jnl
A framework for relating syntactic and semantic model differences.
Softw. Syst. Model.
Shahar Maoz, Jan Oliver Ringert
2018 C conf
Component and Connector Views in Practice.
Software Engineering
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2018 — conf
Modify, enhance, select: co-evolution of combinatorial models and test plans.
ESEC/SIGSOFT FSE
Rachel Tzoref-Brill, Shahar Maoz
2018 — conf
On the software engineering challenges of applying reactive synthesis to robotics.
RoSE@ICSE
Shahar Maoz, Jan Oliver Ringert
2018 — conf
Using finite-state models for log differencing.
ESEC/SIGSOFT FSE
Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz
2018 — ch.
Visual Formalisms.
Encyclopedia of Database Systems (2nd ed.)
David Harel, Shahar Maoz
2017 — conf
A symbolic justice violations transition system for unrealizable GR(1) specifications.
ESEC/SIGSOFT FSE
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
2017 A conf
Component and Connector Views in Practice: An Experience Report.
MoDELS
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.
MoDELS (Satellite Events)
Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 — conf
Performance Heuristics for GR(1) Synthesis and Related Algorithms.
SYNT@CAV
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
2017 A* conf
Syntactic and semantic differencing for combinatorial models of test designs.
ICSE
Rachel Tzoref-Brill, Shahar Maoz
2017 A conf
Why is My Component and Connector Views Specification Unsatisfiable?
MoDELS
Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom
2016 A* conf
Behavioral log analysis with statistical guarantees.
ICSE
Nimrod Busany, Shahar Maoz
2016 — conf
Consistent Extra-Functional Properties Tagging for Component and Connector Models.
ModComp@MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2016 C conf
GR(1) synthesis for LTL specification patterns.
Software Engineering
Shahar Maoz, Jan Oliver Ringert
2016 A conf
On method ordering.
ICPC
Yorai Geffen, Shahar Maoz
2016 — conf
On well-separation of GR(1) specifications.
SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert
2016 — conf
Symbolic BDD and ADD Algorithms for Energy Games.
SYNT@CAV
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
2016 A* conf
Visualization of combinatorial models and test plans.
ASE
Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz
2015 A conf
A framework for relating syntactic and semantic model differences.
MoDELS
Shahar Maoz, Jan Oliver Ringert
2015 — conf
Behavioral log analysis with statistical guarantees.
ESEC/SIGSOFT FSE
Nimrod Busany, Shahar Maoz
2015 — conf
GR(1) synthesis for LTL specification patterns.
ESEC/SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert
2015 A* conf
Have We Seen Enough Traces? (T).
ASE
Hila Cohen, Shahar Maoz
2015 B conf
Lattice-Based Semantics for Combinatorial Model Evolution.
ATVA
Rachel Tzoref-Brill, Shahar Maoz
2015 — ch.
Scalable Parallelization of Specification Mining Using Distributed Computing.
The Art and Science of Analyzing Software Data
Shaowei Wang, David Lo, Lingxiao Jiang, Shahar Maoz, Aditya Budi
2015 — conf
Synthesizing a Lego Forklift Controller in GR(1): A Case Study.
SYNT
Shahar Maoz, Jan Oliver Ringert
2015 — conf
Verifying Component and Connector Models against Crosscutting Structural Views.
Software Engineering & Management
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
A Manifesto for Semantic Model Differencing.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
ADDiff: Semantic Differencing for Activity Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
An Interim Summary on Semantic Model Differencing.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
An Operational Semantics for Activity Diagrams using SMV.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
CDDiff: Semantic Differencing for Class Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Modal Object Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 B conf
Semantically Configurable Analysis of Scenario-Based Specifications.
FASE
Barak Cohen, Shahar Maoz
2014 J jnl
Semantically Configurable Consistency Analysis for Class and Object Diagrams.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Summarizing Semantic Model Differences.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 C conf
Synthesis of Component and Connector Models from Crosscutting Structural Views.
Software Engineering
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 J jnl
Synthesis of Component and Connector Models from Crosscutting Structural Views.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 A* conf
The confidence in our k-tails.
ASE
Hila Cohen, Shahar Maoz
2014 — ed.
Transactions on Aspect-Oriented Software Development XI
Trans. Aspect-Oriented Software Development XI
Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
2014 J jnl
Using aspects for testing of embedded software: experiences from two industrial case studies.
Softw. Qual. J.
Jani Metsä, Shahar Maoz, Mika Katara, Tommi Mikkonen
2014 J jnl
Verifying Component and Connector Models against Crosscutting Structural Views.
CoRR
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2014 A* conf
Verifying component and connector models against crosscutting structural views.
ICSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2013 A* conf
Counter play-out: executing unrealizable scenario-based specifications.
ICSE
Shahar Maoz, Yaniv Sa'ar
2013 A* conf
Mining branching-time scenarios.
ASE
Dirk Fahland, David Lo, Shahar Maoz
2013 — conf
Synthesis of component and connector models from crosscutting structural views.
ESEC/SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2013 J jnl
Two-Way Traceability and Conflict Debugging for AspectLTL Programs.
LNCS Trans. Aspect Oriented Softw. Dev.
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
An Interim Summary on Semantic Model Differencing.
Softwaretechnik-Trends
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2012 A conf
Assume-Guarantee Scenarios: Semantics and Synthesis.
MoDELS
Shahar Maoz, Yaniv Sa'ar
2012 J jnl
Polymorphic scenario-based specification models: semantics and applications.
Softw. Syst. Model.
Shahar Maoz
2012 J jnl
Scenario-based and value-based specification mining: better together.
Autom. Softw. Eng.
David Lo, Shahar Maoz
2012 — conf
Two-way traceability and conflict debugging for AspectLTL programs.
AOSD
Shahar Maoz, Yaniv Sa'ar
2011 J jnl
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ.
ACM Trans. Softw. Eng. Methodol.
Shahar Maoz, David Harel, Asaf Kleinbort
2011 — conf
ADDiff: semantic differencing for activity diagrams.
SIGSOFT FSE
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 — conf
AspectLTL: an aspect language for LTL specifications.
AOSD
Shahar Maoz, Yaniv Sa'ar
2011 A conf
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
CDDiff: Semantic Differencing for Class Diagrams.
ECOOP
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 A conf
Modal Object Diagrams.
ECOOP
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 J jnl
On tracing reactive systems.
Softw. Syst. Model.
Shahar Maoz, David Harel
2011 A conf
Semantically Configurable Consistency Analysis for Class and Object Diagrams.
MoDELS
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011 B conf
Towards Succinctness in Mining Scenario-Based Specifications.
ICECCS
David Lo, Shahar Maoz
2010 — conf
A Manifesto for Semantic Model Differencing.
MoDELS (Workshops)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2010 B conf
Accelerating Smart Play-Out.
SOFSEM
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
2010 — conf
LM: a miner for scenario-based specifications.
ICSE (2)
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo
2010 — conf
On the Power of Play-Out for Scenario-Based Programs.
Concurrency, Compositionality, and Correctness
David Harel, Amir Kantor, Shahar Maoz
2010 A* conf
PlayGo: towards a comprehensive tool for scenario based programming.
ASE
David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan
2010 A* conf
Scenario-based and value-based specification mining: better together.
ASE
David Lo, Shahar Maoz
2009 A* conf
Mining Hierarchical Scenario-Based Specifications.
ASE
David Lo, Shahar Maoz
2009 — conf
Mining scenario-based specifications with value-based invariants.
OOPSLA Companion
David Lo, Shahar Maoz
2009 A conf
Model-Based Testing Using LSCs and S2A.
MoDELS
Shahar Maoz, Jani Metsä, Mika Katara
2009 A conf
Polymorphic Scenario-Based Specification Models: Semantics and Applications.
MoDELS
Shahar Maoz
2009 J jnl
Using Model-Based Traces as Runtime Models.
Computer
Shahar Maoz
2009 — ch.
Visual Formalisms.
Encyclopedia of Database Systems
David Harel, Shahar Maoz
2008 J jnl
Assert and negate revisited: Modal semantics for UML sequence diagrams.
Softw. Syst. Model.
David Harel, Shahar Maoz
2008 — conf
Hierarchical inter-object traces for specification mining.
OOPSLA Companion
David Lo, Shahar Maoz
2008 A* conf
Mining Scenario-Based Triggers and Effects.
ASE
David Lo, Shahar Maoz
2008 — conf
Model-Based Traces.
MoDELS (Workshops)
Shahar Maoz
2008 B conf
Object Composition in Scenario-Based Programming.
FASE
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz
2008 — conf
Some Results on the Expressive Power and Complexity of LSCs.
Pillars of Computer Science
David Harel, Shahar Maoz, Itai Segall
2008 — conf
Specification mining of symbolic scenario-based models.
PASTE
David Lo, Shahar Maoz
2007 A* conf
Mining modal scenario-based specifications from execution traces of reactive systems.
ASE
David Lo, Shahar Maoz, Siau-Cheng Khoo
2007 — conf
Mining modal scenarios from execution traces.
OOPSLA Companion
David Lo, Shahar Maoz, Siau-Cheng Khoo
2007 B conf
S2A: A Compiler for Multi-modal UML Sequence Diagrams.
FASE
David Harel, Asaf Kleinbort, Shahar Maoz
2007 B conf
Towards Trace Visualization and Exploration for Reactive Systems.
VL/HCC
Shahar Maoz, Asaf Kleinbort, David Harel
2006 — conf
Assert and negate revisited: modal semantics for UML sequence diagrams.
SCESM
David Harel, Shahar Maoz
2006 — conf
From multi-modal scenarios to code: compiling LSCs into aspectJ.
SIGSOFT FSE
Shahar Maoz, David Harel
2001 J jnl
An Infinite Hierarchy of Temporal Logics over Branching Time.
Inf. Comput.
Alexander Moshe Rabinovich, Shahar Maoz
2000 B conf
Why so Many Temporal Logics Climb up the Trees?
MFCS
Alexander Moshe Rabinovich, Shahar Maoz