default search action
Shahar Maoz
- > Home > Persons > Shahar Maoz
Publications
- 2024
- [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 - [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 - [c78]Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert:
Triggers for Reactive Synthesis Specifications. ICSE 2023: 729-741 - 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 - [c70]Shahar Maoz, Jan Oliver Ringert:
Reactive Synthesis with Spectra: A Tutorial. ICSE (Companion Volume) 2021: 320-321 - 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) - [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) - 2019
- [c66]Shahar Maoz, Jan Oliver Ringert, Rafi Shalom:
Symbolic repairs for GR(1) specifications. ICSE 2019: 1016-1026 - [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 - 2017
- [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
- [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
- [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 - [c40]Shahar Maoz, Jan Oliver Ringert:
Synthesizing a Lego Forklift Controller in GR(1): A Case Study. SYNT 2015: 58-72 - 2014
- [c38]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying component and connector models against crosscutting structural views. ICSE 2014: 95-105 - [c36]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Synthesis of Component and Connector Models from Crosscutting Structural Views. Software Engineering 2014: 63-64 - [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
- [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
- [j6]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
An Interim Summary on Semantic Model Differencing. Softwaretechnik-Trends 32(4) (2012) - 2011
- [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 - [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
- [c19]Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
A Manifesto for Semantic Model Differencing. MoDELS (Workshops) 2010: 194-203
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-09-22 00:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint