Shahar Maoz

Identifiers

• name variant Shahar Maoz 0.60 · backfill

Papers (12)

1. Spectra: A Specification Language for Reactive Systems cs.SE · 2019 · author #1
2. A Manifesto for Semantic Model Differencing cs.SE · 2014 · author #1
3. An Operational Semantics for Activity Diagrams using SMV cs.SE · 2014 · author #1
4. CDDiff: Semantic Differencing for Class Diagrams cs.SE · 2014 · author #1
5. Modal Object Diagrams cs.SE · 2014 · author #1
6. ADDiff: Semantic Differencing for Activity Diagrams cs.SE · 2014 · author #1
7. CD2Alloy: Class Diagrams Analysis Using Alloy Revisited cs.SE · 2014 · author #1
8. Semantically Configurable Consistency Analysis for Class and Object Diagrams cs.SE · 2014 · author #1
9. Summarizing Semantic Model Differences cs.SE · 2014 · author #1
10. An Interim Summary on Semantic Model Differencing cs.SE · 2014 · author #1
11. Synthesis of Component and Connector Models from Crosscutting Structural Views cs.SE · 2014 · author #1
12. Verifying Component and Connector Models against Crosscutting Structural Views cs.SE · 2014 · author #1

Mentions

• 1409.2485 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2356 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2355 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2353 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2352 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2314 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2313 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.2307 #1 · backfill · confidence 0.70 Shahar Maoz
• 1409.0384 #1 · backfill · confidence 0.70 Shahar Maoz
• 1408.5696 #1 · backfill · confidence 0.70 Shahar Maoz
• 1406.7136 #1 · backfill · confidence 0.70 Shahar Maoz

Frequent Coauthors

• Jan Oliver Ringert 12 shared papers
• Bernhard Rumpe 11 shared papers