Shahar Maoz

Cited by

	All	Since 2019
Citations	2643	1027
h-index	30	19
i10-index	60	37

240

120

180

20062007200820092010201120122013201420152016201720182019202020212022202320248 35 63 78 88 149 125 137 182 147 159 163 180 209 183 228 151 161 94

Public access

View all

33 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Jan Oliver RingertDepartment of Informatics, Bauhaus-Universität WeimarVerified email at uni-weimar.de
Bernhard RumpeRWTH Aachen UniversityVerified email at se.rwth-aachen.de
David LoProfessor of Computer Science, Singapore Management UniversityVerified email at smu.edu.sg
David HarelProfessor of Computer Science, The Weizmann InstituteVerified email at weizmann.ac.il
Nimrod BusanyTel-Aviv UniversityVerified email at mail.tau.ac.il
Michael von WencksternResearcher at RWTH Aachen UniversityVerified email at se-rwth.de
Rachel Tzoref-BrillIBM Haifa Research LabVerified email at il.ibm.com
Itai SegallBell Labs ResearcherVerified email at alcatel-lucent.com
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Lingfeng BaoZhejiang UniversityVerified email at zju.edu.cn
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv UniversityVerified email at mail.tau.ac.il
Alexander RabinovichProfessor of computer sciense tel aviv universityVerified email at tauex.tau.ac.il
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Hen AmarVerified email at post.tau.ac.il
Amir KantorPrincipal Researcher, MicrosoftVerified email at microsoft.com
Tommi MikkonenProfessor, University of Jyväskylä, FinlandVerified email at jyu.fi
Aditya BudiBinus UniversityVerified email at binus.ac.id
Shaowei WangAssistant professor, Department of Computer Science, University of ManitobaVerified email at umanitoba.ca
Lingxiao JiangProfessor of Computer Science, Singapore Management UniversityVerified email at smu.edu.sg
Nitzan PomerantzVerified email at mail.tau.ac.il

Shahar Maoz

School of Computer Science, Tel Aviv University

Verified email at cs.tau.ac.il - Homepage

Software engineering Modeling Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Assert and negate revisited: Modal semantics for UML sequence diagrams D Harel, S Maoz Proceedings of the 2006 international workshop on Scenarios and state …, 2006	273	2006
Scenario-based and value-based specification mining: better together D Lo, S Maoz Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010	117	2010
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	111	2011
From multi-modal scenarios to code: compiling LSCs into AspectJ S Maoz, D Harel Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	107	2006
ADDiff: semantic differencing for activity diagrams S Maoz, JO Ringert, B Rumpe Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	103	2011
Mining modal scenario-based specifications from execution traces of reactive systems D Lo, S Maoz, SC Khoo Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007	93	2007
A manifesto for semantic model differencing S Maoz, JO Ringert, B Rumpe Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011	92	2011
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th joint meeting on foundations of software …, 2015	88	2015
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe ECOOP 2011–Object-Oriented Programming, 230-254, 2011	79	2011
Mining scenario-based triggers and effects D Lo, S Maoz 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	72	2008
PlayGo: towards a comprehensive tool for scenario based programming D Harel, S Maoz, S Szekely, D Barkan Proceedings of the 25th IEEE/ACM international conference on automated …, 2010	62	2010
Using model-based traces as runtime models S Maoz Computer 42 (10), 28-36, 2009	59	2009
Synthesis of component and connector models from crosscutting structural views S Maoz, JO Ringert, B Rumpe Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	51	2013
Mining hierarchical scenario-based specifications D Lo, S Maoz 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	48	2009
Behavioral log analysis with statistical guarantees N Busany, S Maoz Proceedings of the 38th International Conference on Software Engineering …, 2016	47	2016
Mining branching-time scenarios D Fahland, D Lo, S Maoz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	47	2013
Synthesizing a Lego Forklift Controller in GR (1): A Case Study S Maoz, JO Ringert Proceedings of the 4th workshop on synthesis, SYNT 2015, 58-72, 2016	46	2016
Semantically configurable consistency analysis for class and object diagrams S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2011	46	2011
S2A: A compiler for multi-modal UML sequence diagrams D Harel, A Kleinbort, S Maoz Fundamental Approaches to Software Engineering: 10th International …, 2007	45	2007
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	42	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors