Travelled to:1 × Austria
1 × Belgium
1 × France
1 × India
1 × Portugal
1 × Russia
1 × South Africa
1 × Sweden
1 × United Kingdom
2 × Hungary
2 × Italy
2 × New Zealand
7 × USA
Collaborated with:J.O.Ringert D.Lo B.Rumpe D.Harel N.Busany H.Cohen Y.Sa'ar R.Tzoref-Brill S.Khoo A.Kleinbort B.Cohen ∅ L.Bao D.L.0001 D.Fahland J.Metsä M.Katara P.Wojciak A.Kuvent Y.Yulazari S.Szekely D.Barkan T.Doan Y.Atir N.Pomerantz R.Shalom V.Bertram M.v.Wenckstern H.Amar
Talks about:scenario (14) base (13) specif (12) model (10) semant (7) diagram (6) mine (6) differenc (4) connector (4) analysi (4)
♂ Person: Shahar Maoz
DBLP: Maoz:Shahar
Facilitated 5 volumes:
PrCo
PrCoPrCoPrCoContributed to:
201520152014
2014
20142013201320132012
201120112011201020102009200920082008
200820072007
20062015201620172016201720182019Wrote 37 papers:
- ESEC-FSE-2015-BusanyM #analysis #behaviour #statistics
- Behavioral log analysis with statistical guarantees (NB, SM), pp. 898–901.
- ESEC-FSE-2015-MaozR #ltl #specification #synthesis
- GR(1) synthesis for LTL specification patterns (SM, JOR), pp. 96–106.
- MoDELS-2015-MaozR #difference #framework #semantics
- A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
- ASE-2014-CohenM
- The confidence in our k-tails (HC, SM), pp. 605–610.
- FASE-2014-CohenM #analysis #configuration management #semantics #specification
- Semantically Configurable Analysis of Scenario-Based Specifications (BC, SM), pp. 185–199.
- ICSE-2014-MaozRR #component #modelling #verification
- Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
- ASE-2013-FahlandLM #mining
- Mining branching-time scenarios (DF, DL, SM), pp. 443–453.
- ESEC-FSE-2013-MaozRR #component #modelling #synthesis
- Synthesis of component and connector models from crosscutting structural views (SM, JOR, BR), pp. 444–454.
- ICSE-2013-MaozS #specification
- Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.
- MoDELS-2012-MaozS #semantics #synthesis
- Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
- ECOOP-2011-MaozRR #diagrams #difference #named #semantics
- CDDiff: Semantic Differencing for Class Diagrams (SM, JOR, BR), pp. 230–254.
- ECOOP-2011-MaozRR11a #diagrams
- Modal Object Diagrams (SM, JOR, BR), pp. 281–305.
- ESEC-FSE-2011-MaozRR #diagrams #difference #named #process #semantics
- ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
- MoDELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics
- Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
- MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
- ASE-2010-HarelMSB #named #programming #towards
- PlayGo: towards a comprehensive tool for scenario based programming (DH, SM, SS, DB), pp. 359–360.
- ASE-2010-LoM #mining #specification
- Scenario-based and value-based specification mining: better together (DL, SM), pp. 387–396.
- ICSE-2010-DoanLMK #mining #named #specification
- LM: a miner for scenario-based specifications (TAD, DL, SM, SCK), pp. 319–320.
- ASE-2009-LoM #mining #specification
- Mining Hierarchical Scenario-Based Specifications (DL, SM), pp. 359–370.
- MoDELS-2009-Maoz #modelling #polymorphism #semantics #specification
- Polymorphic Scenario-Based Specification Models: Semantics and Applications (SM), pp. 499–513.
- MoDELS-2009-MaozMK #modelling #testing #using
- Model-Based Testing Using LSCs and S2A (SM, JM, MK), pp. 301–306.
- ASE-2008-LoM #mining
- Mining Scenario-Based Triggers and Effects (DL, SM), pp. 109–118.
- FASE-2008-AtirHKM #composition #programming
- Object Composition in Scenario-Based Programming (YA, DH, AK, SM), pp. 301–316.
- PASTE-2008-LoM #mining #modelling #specification
- Specification mining of symbolic scenario-based models (DL, SM), pp. 29–35.
- ASE-2007-LoMK #execution #mining #specification
- Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
- FASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml
- S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.
- FSE-2006-MaozH #aspectj #compilation #multi
- From multi-modal scenarios to code: compiling LSCs into aspectJ (SM, DH), pp. 219–230.
- ASE-2015-CohenM
- Have We Seen Enough Traces? (T) (HC, SM), pp. 93–103.
- ASE-2016-Tzoref-BrillWM #combinator #modelling #testing #visualisation
- Visualization of combinatorial models and test plans (RTB, PW, SM), pp. 144–154.
- MoDELS-2017-BertramMRRW #case study #component #experience
- Component and Connector Views in Practice: An Experience Report (VB, SM, JOR, BR, MvW), pp. 167–177.
- MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why
- Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.
- FSE-2016-MaozR #on the #specification
- On well-separation of GR(1) specifications (SM, JOR), pp. 362–372.
- ESEC-FSE-2017-KuventMR #specification
- A symbolic justice violations transition system for unrealizable GR(1) specifications (AK, SM, JOR), pp. 362–372.
- ESEC-FSE-2018-AmarBB0M #difference #finite #modelling #using
- Using finite-state models for log differencing (HA, LB, NB, DL0, SM), pp. 49–59.
- ESEC-FSE-2018-Tzoref-BrillM #co-evolution #combinator #modelling #testing
- Modify, enhance, select: co-evolution of combinatorial models and test plans (RTB, SM), pp. 235–245.
- ASE-2019-BaoB0M #difference #statistics
- Statistical Log Differencing (LB, NB, DL0, SM), pp. 851–862.
- ASE-2019-BusanyMY #model inference
- Size and Accuracy in Model Inference (NB, SM, YY), pp. 887–898.