Shahar Maoz

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 52

Top Venues

Publications

Jiakun Liu, Zicheng Zhang, Xing Hu, Ferdian Thung, Shahar Maoz, Debin Gao, Eran Toch, Zhipeng Zhao, David Lo
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating. ICSE (2024)
Ferdian Thung, Jiakun Liu, Pattarakrit Rattanukul, Shahar Maoz, Eran Toch, Debin Gao, David Lo
Towards Speedy Permission-Based Debloating for Android Apps. MOBILESoft@ICSE (2024)
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. ICSE (2024)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. Software Engineering (2024)
Jiakun Liu, Xing Hu, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo
AutoDebloater: Automated Android App Debloating. ASE (2023)
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) (2023)
Dor Ma'ayan, Shahar Maoz
Using Reactive Synthesis: An End-to-End Exploratory Case Study. ICSE (2023)
Rafi Shalom, Shahar Maoz
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? ICSE (2023)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. ICSE (2023)
Dor Ma'ayan, Shahar Maoz, Roey Rozi
Validating the correctness of reactive systems specifications through systematic exploration. MoDELS (2022)
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
Dynamic Update for Synthesized GR(1) Controllers. ICSE (2022)
Shahar Maoz, Rafi Shalom
Unrealizable Cores for Reactive Systems Specifications. CoRR (2021)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) specifications extended with existential guarantees. Formal Aspects Comput. 33 (4-5) (2021)
Shahar Maoz, Jan Oliver Ringert
Spectra: a specification language for reactive systems. Softw. Syst. Model. 20 (5) (2021)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Efficient Algorithms for Omega-Regular Energy Games. FM (2021)
Shahar Maoz, Jan Oliver Ringert
Reactive Synthesis with Spectra: A Tutorial. ICSE (Companion Volume) (2021)
Shahar Maoz, Rafi Shalom
Unrealizable Cores for Reactive Systems Specifications: Artifact. ICSE (Companion Volume) (2021)
Shahar Maoz, Rafi Shalom
Unrealizable Cores for Reactive Systems Specifications. ICSE (2021)
Shahar Maoz, Rafi Shalom
Inherent vacuity for GR(1) specifications. ESEC/SIGSOFT FSE (2020)
Shahar Maoz, Ilia Shevrin
Just-In-Time Reactive Synthesis. ASE (2020)
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica 57 (1-2) (2020)
Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR (2020)
Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz
Statistical Log Differencing. ASE (2019)
Gal Amram, Shahar Maoz, Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. FM (2019)
Nimrod Busany, Shahar Maoz, Yehonatan Yulazari
Size and Accuracy in Model Inference. ASE (2019)
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
Symbolic repairs for GR(1) specifications. ICSE (2019)
Shahar Maoz, Jan Oliver Ringert
Spectra: A Specification Language for Reactive Systems. CoRR (2019)
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector Views in Practice. Software Engineering (2018)
Shahar Maoz, Jan Oliver Ringert
On the software engineering challenges of applying reactive synthesis to robotics. RoSE@ICSE (2018)
Shahar Maoz, Jan Oliver Ringert
A framework for relating syntactic and semantic model differences. Softw. Syst. Model. 17 (3) (2018)
Rachel Tzoref-Brill, Shahar Maoz
Modify, enhance, select: co-evolution of combinatorial models and test plans. ESEC/SIGSOFT FSE (2018)
Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz
Using finite-state models for log differencing. ESEC/SIGSOFT FSE (2018)
Rachel Tzoref-Brill, Shahar Maoz
Syntactic and semantic differencing for combinatorial models of test designs. ICSE (2017)
Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
OCL Framework to Verify Extra-Functional Properties in Component and Connector Models. MoDELS (Satellite Events) (2017)
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
A symbolic justice violations transition system for unrealizable GR(1) specifications. ESEC/SIGSOFT FSE (2017)
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV (2017)
Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom
Why is My Component and Connector Views Specification Unsatisfiable? MoDELS (2017)
Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector Views in Practice: An Experience Report. MoDELS (2017)
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV (2016)
Rachel Tzoref-Brill, Paul Wojciak, Shahar Maoz
Visualization of combinatorial models and test plans. ASE (2016)
Nimrod Busany, Shahar Maoz
Behavioral log analysis with statistical guarantees. ICSE (2016)
Shahar Maoz, Jan Oliver Ringert
On well-separation of GR(1) specifications. SIGSOFT FSE (2016)
Shahar Maoz, Jan Oliver Ringert
GR(1) synthesis for LTL specification patterns. Software Engineering (2016)
Yorai Geffen, Shahar Maoz
On method ordering. ICPC (2016)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp@MoDELS (2016)
Rachel Tzoref-Brill, Shahar Maoz
Lattice-Based Semantics for Combinatorial Model Evolution. ATVA (2015)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying Component and Connector Models against Crosscutting Structural Views. Software Engineering & Management (2015)
Shahar Maoz, Jan Oliver Ringert
A framework for relating syntactic and semantic model differences. MoDELS (2015)
Nimrod Busany, Shahar Maoz
Behavioral log analysis with statistical guarantees. ESEC/SIGSOFT FSE (2015)
Shahar Maoz, Jan Oliver Ringert
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT (2015)
Hila Cohen, Shahar Maoz
Have We Seen Enough Traces? (T). ASE (2015)
Shahar Maoz, Jan Oliver Ringert
GR(1) synthesis for LTL specification patterns. ESEC/SIGSOFT FSE (2015)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
ADDiff: Semantic Differencing for Activity Diagrams. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Interim Summary on Semantic Model Differencing. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Operational Semantics for Activity Diagrams using SMV. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Modal Object Diagrams. CoRR (2014)
Jani Metsä, Shahar Maoz, Mika Katara, Tommi Mikkonen
Using aspects for testing of embedded software: experiences from two industrial case studies. Softw. Qual. J. 22 (2) (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of Component and Connector Models from Crosscutting Structural Views. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying Component and Connector Models against Crosscutting Structural Views. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
A Manifesto for Semantic Model Differencing. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Semantically Configurable Consistency Analysis for Class and Object Diagrams. CoRR (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Summarizing Semantic Model Differences. CoRR (2014)
Hila Cohen, Shahar Maoz
The confidence in our k-tails. ASE (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Verifying component and connector models against crosscutting structural views. ICSE (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CDDiff: Semantic Differencing for Class Diagrams. CoRR (2014)
Barak Cohen, Shahar Maoz
Semantically Configurable Analysis of Scenario-Based Specifications. FASE (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of Component and Connector Models from Crosscutting Structural Views. Software Engineering (2014)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Synthesis of component and connector models from crosscutting structural views. ESEC/SIGSOFT FSE (2013)
Dirk Fahland, David Lo, Shahar Maoz
Mining branching-time scenarios. ASE (2013)
Shahar Maoz, Yaniv Sa'ar
Two-Way Traceability and Conflict Debugging for AspectLTL Programs. LNCS Trans. Aspect Oriented Softw. Dev. 10 (2013)
Shahar Maoz, Yaniv Sa'ar
Counter play-out: executing unrealizable scenario-based specifications. ICSE (2013)
Shahar Maoz, Yaniv Sa'ar
Assume-Guarantee Scenarios: Semantics and Synthesis. MoDELS (2012)
David Lo, Shahar Maoz
Scenario-based and value-based specification mining: better together. Autom. Softw. Eng. 19 (4) (2012)
Shahar Maoz, Yaniv Sa'ar
Two-way traceability and conflict debugging for AspectLTL programs. AOSD (2012)
Shahar Maoz
Polymorphic scenario-based specification models: semantics and applications. Softw. Syst. Model. 11 (3) (2012)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
An Interim Summary on Semantic Model Differencing. Softwaretechnik-Trends 32 (4) (2012)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
ADDiff: semantic differencing for activity diagrams. SIGSOFT FSE (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CDDiff: Semantic Differencing for Class Diagrams. ECOOP (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Modal Object Diagrams. ECOOP (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. MoDELS (2011)
Shahar Maoz, Yaniv Sa'ar
AspectLTL: an aspect language for LTL specifications. AOSD (2011)
Shahar Maoz, David Harel, Asaf Kleinbort
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Semantically Configurable Consistency Analysis for Class and Object Diagrams. MoDELS (2011)
Shahar Maoz, David Harel
On tracing reactive systems. Softw. Syst. Model. 10 (4) (2011)
David Lo, Shahar Maoz
Towards Succinctness in Mining Scenario-Based Specifications. ICECCS (2011)
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo
LM: a miner for scenario-based specifications. ICSE (2) (2010)
David Harel, Amir Kantor, Shahar Maoz
On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness (2010)
David Lo, Shahar Maoz
Scenario-based and value-based specification mining: better together. ASE (2010)
David Harel, Hillel Kugler, Shahar Maoz, Itai Segall
Accelerating Smart Play-Out. SOFSEM (2010)
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
A Manifesto for Semantic Model Differencing. MoDELS (Workshops) (2010)
David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan
PlayGo: towards a comprehensive tool for scenario based programming. ASE (2010)
Shahar Maoz, Jani Metsä, Mika Katara
Model-Based Testing Using LSCs and S2A. MoDELS (2009)
Shahar Maoz
Using Model-Based Traces as Runtime Models. Computer 42 (10) (2009)
David Lo, Shahar Maoz
Mining Hierarchical Scenario-Based Specifications. ASE (2009)
David Lo, Shahar Maoz
Mining scenario-based specifications with value-based invariants. OOPSLA Companion (2009)
Shahar Maoz
Polymorphic Scenario-Based Specification Models: Semantics and Applications. MoDELS (2009)
David Harel, Shahar Maoz, Itai Segall
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science (2008)
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz
Object Composition in Scenario-Based Programming. FASE (2008)
Shahar Maoz
Model-Based Traces. MoDELS (Workshops) (2008)

Shahar Maoz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shahar Maoz