default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShahar Maoz
Person information
- affiliation: Tel Aviv University, Israel
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c85]Nimrod Busany
, Rafi Shalom, Dan Klein, Shahar Maoz:
Fast Attack Graph Defense Localization via Bisimulation. FM (1) 2024: 245-263- [c84]Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert:
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications. ICSE 2024: 28:1-28:12 - [c83]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: 206:1-206:13 - [c82]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: 84-87 - [c81]Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. Software Engineering 2024: 41-42 - 2023
- [c80]Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert:
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) 2023: 13-18 - [c79]Rafi Shalom, Shahar Maoz:
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? ICSE 2023: 221-232 - [c78]Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. ICSE 2023: 729-741 - [c77]Dor Ma'ayan, Shahar Maoz:
Using Reactive Synthesis: An End-to-End Exploratory Case Study. ICSE 2023: 742-754 - [c76]Jiakun Liu, Xing Hu, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo:
AutoDebloater: Automated Android App Debloating. ASE 2023: 2090-2093 - 2022
- [c75]Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef:
Dynamic Update for Synthesized GR(1) Controllers. ICSE 2022: 786-797 - [c74]Dor Ma'ayan, Shahar Maoz, Roey Rozi:
Validating the correctness of reactive systems specifications through systematic exploration. MoDELS 2022: 132-142 - 2021
- [j14]Gal Amram, Shahar Maoz, Or Pistiner:
GR(1)*: GR(1) specifications extended with existential guarantees. Formal Aspects Comput. 33(4-5): 729-761 (2021) - [j13]Shahar Maoz, Jan Oliver Ringert:
Spectra: a specification language for reactive systems. Softw. Syst. Model. 20(5): 1553-1586 (2021) - [c73]Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Efficient Algorithms for Omega-Regular Energy Games. FM 2021: 163-181 - [c72]Shahar Maoz, Rafi Shalom:
Unrealizable Cores for Reactive Systems Specifications. ICSE 2021: 25-36 - [c71]Shahar Maoz, Rafi Shalom:
Unrealizable Cores for Reactive Systems Specifications: Artifact. ICSE (Companion Volume) 2021: 217-218 - [c70]Shahar Maoz, Jan Oliver Ringert:
Reactive Synthesis with Spectra: A Tutorial. ICSE (Companion Volume) 2021: 320-321 - [i14]Shahar Maoz, Rafi Shalom:
Unrealizable Cores for Reactive Systems Specifications. CoRR abs/2103.00297 (2021) - 2020
- [j12]Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert:
Performance heuristics for GR(1) synthesis and related algorithms. Acta Informatica 57(1-2): 37-79 (2020) - [c69]Shahar Maoz, Ilia Shevrin:
Just-In-Time Reactive Synthesis. ASE 2020: 635-646 - [c68]Shahar Maoz, Rafi Shalom:
Inherent vacuity for GR(1) specifications. ESEC/SIGSOFT FSE 2020: 99-110 - [i13]Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games. CoRR abs/2005.00641 (2020)
2010 – 2019
- 2019
- [c67]Gal Amram, Shahar Maoz, Or Pistiner:
GR(1)*: GR(1) Specifications Extended with Existential Guarantees. FM 2019: 83-100 - [c66]Shahar Maoz, Jan Oliver Ringert, Rafi Shalom:
Symbolic repairs for GR(1) specifications. ICSE 2019: 1016-1026 - [c65]Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz:
Statistical Log Differencing. ASE 2019: 851-862 - [c64]Nimrod Busany, Shahar Maoz, Yehonatan Yulazari:
Size and Accuracy in Model Inference. ASE 2019: 887-898 - [i12]Shahar Maoz, Jan Oliver Ringert:
Spectra: A Specification Language for Reactive Systems. CoRR abs/1904.06668 (2019) - 2018
- [j11]Shahar Maoz, Jan Oliver Ringert:
A framework for relating syntactic and semantic model differences. Softw. Syst. Model. 17(3): 753-777 (2018) - [c63]Shahar Maoz, Jan Oliver Ringert:
On the software engineering challenges of applying reactive synthesis to robotics. RoSE@ICSE 2018: 17-22 - [c62]Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice. Software Engineering 2018: 97-99 - [c61]Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, Shahar Maoz:
Using finite-state models for log differencing. ESEC/SIGSOFT FSE 2018: 49-59 - [c60]Rachel Tzoref-Brill, Shahar Maoz:
Modify, enhance, select: co-evolution of combinatorial models and test plans. ESEC/SIGSOFT FSE 2018: 235-245 - [r2]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c59]Rachel Tzoref-Brill, Shahar Maoz:
Syntactic and semantic differencing for combinatorial models of test designs. ICSE 2017: 621-631 - [c58]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: 24-30 - [c57]Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom:
Why is My Component and Connector Views Specification Unsatisfiable? MoDELS 2017: 134-144 - [c56]Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Component and Connector Views in Practice: An Experience Report. MoDELS 2017: 167-177 - [c55]Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert:
A symbolic justice violations transition system for unrealizable GR(1) specifications. ESEC/SIGSOFT FSE 2017: 362-372 - [c54]Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert:
Performance Heuristics for GR(1) Synthesis and Related Algorithms. SYNT@CAV 2017: 62-80 - 2016
- [c53]Nimrod Busany, Shahar Maoz:
Behavioral log analysis with statistical guarantees. ICSE 2016: 877-887 - [c52]Yorai Geffen, Shahar Maoz:
On method ordering. ICPC 2016: 1-10 - [c51]Rachel Tzoref-Brill, Paul A. Wojciak, Shahar Maoz:
Visualization of combinatorial models and test plans. ASE 2016: 144-154 - [c50]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern:
Consistent Extra-Functional Properties Tagging for Component and Connector Models. ModComp@MoDELS 2016: 19-24 - [c49]Shahar Maoz, Jan Oliver Ringert:
GR(1) synthesis for LTL specification patterns. Software Engineering 2016: 103-104 - [c48]Shahar Maoz, Jan Oliver Ringert:
On well-separation of GR(1) specifications. SIGSOFT FSE 2016: 362-372 - [c47]Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Symbolic BDD and ADD Algorithms for Energy Games. SYNT@CAV 2016: 35-54 - 2015
- [c46]Rachel Tzoref-Brill, Shahar Maoz:
Lattice-Based Semantics for Combinatorial Model Evolution. ATVA 2015: 276-292 - [c45]Hila Cohen, Shahar Maoz:
Have We Seen Enough Traces? (T). ASE 2015: 93-103 - [c44]Shahar Maoz, Jan Oliver Ringert:
A framework for relating syntactic and semantic model differences. MoDELS 2015: 24-33 - [c43]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. Software Engineering & Management 2015: 110-111 - [c42]Shahar Maoz, Jan Oliver Ringert:
GR(1) synthesis for LTL specification patterns. ESEC/SIGSOFT FSE 2015: 96-106 - [c41]Nimrod Busany, Shahar Maoz:
Behavioral log analysis with statistical guarantees. ESEC/SIGSOFT FSE 2015: 898-901 - [c40]Shahar Maoz, Jan Oliver Ringert:
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT 2015: 58-72 - [p1]Shaowei Wang, David Lo, Lingxiao Jiang, Shahar Maoz, Aditya Budi:
Scalable Parallelization of Specification Mining Using Distributed Computing. The Art and Science of Analyzing Software Data 2015: 623-648 - 2014
- [j10]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): 185-213 (2014) - [c39]Barak Cohen, Shahar Maoz:
Semantically Configurable Analysis of Scenario-Based Specifications. FASE 2014: 185-199 - [c38]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying component and connector models against crosscutting structural views. ICSE 2014: 95-105 - [c37]Hila Cohen, Shahar Maoz:
The confidence in our k-tails. ASE 2014: 605-610 - [c36]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. Software Engineering 2014: 63-64 - [e1]Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development XI. Lecture Notes in Computer Science 8400, Springer 2014, ISBN 978-3-642-55098-0 [contents] - [i11]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. CoRR abs/1406.7136 (2014) - [i10]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. CoRR abs/1408.5696 (2014) - [i9]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. CoRR abs/1409.0384 (2014) - [i8]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Summarizing Semantic Model Differences. CoRR abs/1409.2307 (2014) - [i7]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams. CoRR abs/1409.2313 (2014) - [i6]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. CoRR abs/1409.2314 (2014) - [i5]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
ADDiff: Semantic Differencing for Activity Diagrams. CoRR abs/1409.2352 (2014) - [i4]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Modal Object Diagrams. CoRR abs/1409.2353 (2014) - [i3]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CDDiff: Semantic Differencing for Class Diagrams. CoRR abs/1409.2355 (2014) - [i2]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Operational Semantics for Activity Diagrams using SMV. CoRR abs/1409.2356 (2014) - [i1]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
A Manifesto for Semantic Model Differencing. CoRR abs/1409.2485 (2014) - 2013
- [j9]Shahar Maoz, Yaniv Sa'ar:
Two-Way Traceability and Conflict Debugging for AspectLTL Programs. LNCS Trans. Aspect Oriented Softw. Dev. 10: 39-72 (2013) - [c35]Shahar Maoz, Yaniv Sa'ar:
Counter play-out: executing unrealizable scenario-based specifications. ICSE 2013: 242-251 - [c34]Dirk Fahland, David Lo, Shahar Maoz:
Mining branching-time scenarios. ASE 2013: 443-453 - [c33]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of component and connector models from crosscutting structural views. ESEC/SIGSOFT FSE 2013: 444-454 - 2012
- [j8]David Lo, Shahar Maoz:
Scenario-based and value-based specification mining: better together. Autom. Softw. Eng. 19(4): 423-458 (2012) - [j7]Shahar Maoz:
Polymorphic scenario-based specification models: semantics and applications. Softw. Syst. Model. 11(3): 327-345 (2012) - [j6]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. Softwaretechnik-Trends 32(4) (2012) - [c32]Shahar Maoz, Yaniv Sa'ar:
Two-way traceability and conflict debugging for AspectLTL programs. AOSD 2012: 35-46 - [c31]Shahar Maoz, Yaniv Sa'ar:
Assume-Guarantee Scenarios: Semantics and Synthesis. MoDELS 2012: 335-351 - 2011
- [j5]Shahar Maoz, David Harel:
On tracing reactive systems. Softw. Syst. Model. 10(4): 447-468 (2011) - [j4]Shahar Maoz, David Harel, Asaf Kleinbort:
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. 20(4): 18:1-18:41 (2011) - [c30]Shahar Maoz, Yaniv Sa'ar:
AspectLTL: an aspect language for LTL specifications. AOSD 2011: 19-30 - [c29]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CDDiff: Semantic Differencing for Class Diagrams. ECOOP 2011: 230-254 - [c28]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Modal Object Diagrams. ECOOP 2011: 281-305 - [c27]David Lo, Shahar Maoz:
Towards Succinctness in Mining Scenario-Based Specifications. ICECCS 2011: 231-240 - [c26]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams. MoDELS 2011: 153-167 - [c25]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. MoDELS 2011: 592-607 - [c24]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
ADDiff: semantic differencing for activity diagrams. SIGSOFT FSE 2011: 179-189 - 2010
- [c23]David Harel, Amir Kantor, Shahar Maoz:
On the Power of Play-Out for Scenario-Based Programs. Concurrency, Compositionality, and Correctness 2010: 207-220 - [c22]Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo:
LM: a miner for scenario-based specifications. ICSE (2) 2010: 319-320 - [c21]David Harel, Shahar Maoz, Smadar Szekely, Daniel Barkan:
PlayGo: towards a comprehensive tool for scenario based programming. ASE 2010: 359-360 - [c20]David Lo, Shahar Maoz:
Scenario-based and value-based specification mining: better together. ASE 2010: 387-396 - [c19]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
A Manifesto for Semantic Model Differencing. MoDELS (Workshops) 2010: 194-203 - [c18]David Harel, Hillel Kugler, Shahar Maoz, Itai Segall:
Accelerating Smart Play-Out. SOFSEM 2010: 477-488
2000 – 2009
- 2009
- [j3]Shahar Maoz:
Using Model-Based Traces as Runtime Models. Computer 42(10): 28-36 (2009) - [c17]David Lo, Shahar Maoz:
Mining Hierarchical Scenario-Based Specifications. ASE 2009: 359-370 - [c16]Shahar Maoz, Jani Metsä, Mika Katara:
Model-Based Testing Using LSCs and S2A. MoDELS 2009: 301-306 - [c15]Shahar Maoz:
Polymorphic Scenario-Based Specification Models: Semantics and Applications. MoDELS 2009: 499-513 - [c14]David Lo, Shahar Maoz:
Mining scenario-based specifications with value-based invariants. OOPSLA Companion 2009: 755-756 - [r1]David Harel, Shahar Maoz:
Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374 - 2008
- [j2]David Harel, Shahar Maoz:
Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. 7(2): 237-252 (2008) - [c13]David Harel, Shahar Maoz, Itai Segall:
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366 - [c12]Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz:
Object Composition in Scenario-Based Programming. FASE 2008: 301-316 - [c11]David Lo, Shahar Maoz:
Mining Scenario-Based Triggers and Effects. ASE 2008: 109-118 - [c10]Shahar Maoz:
Model-Based Traces. MoDELS (Workshops) 2008: 109-119 - [c9]David Lo, Shahar Maoz:
Hierarchical inter-object traces for specification mining. OOPSLA Companion 2008: 761-762 - [c8]David Lo, Shahar Maoz:
Specification mining of symbolic scenario-based models. PASTE 2008: 29-35 - 2007
- [c7]David Harel, Asaf Kleinbort, Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124 - [c6]David Lo, Shahar Maoz, Siau-Cheng Khoo:
Mining modal scenario-based specifications from execution traces of reactive systems. ASE 2007: 465-468 - [c5]David Lo, Shahar Maoz, Siau-Cheng Khoo:
Mining modal scenarios from execution traces. OOPSLA Companion 2007: 777-778 - [c4]Shahar Maoz, Asaf Kleinbort, David Harel:
Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156 - 2006
- [c3]David Harel, Shahar Maoz:
Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20 - [c2]Shahar Maoz, David Harel:
From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230 - 2001
- [j1]Alexander Moshe Rabinovich, Shahar Maoz:
An Infinite Hierarchy of Temporal Logics over Branching Time. Inf. Comput. 171(2): 306-332 (2001) - 2000
- [c1]Alexander Moshe Rabinovich, Shahar Maoz:
Why so Many Temporal Logics Climb up the Trees? MFCS 2000: 629-639
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
