Shahar Maoz

Cited by

	All	Since 2018
Citations	2524	1093
h-index	29	20
i10-index	56	43

240

120

180

2006200720082009201020112012201320142015201620172018201920202021202220238 35 64 79 88 151 121 135 185 151 158 162 182 208 185 229 138 149

Public access

View all

31 articles

3 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
Itai SegallBell Labs ResearcherVerified email at alcatel-lucent.com
Rachel Tzoref-BrillIBM Haifa Research LabVerified email at il.ibm.com
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Lingfeng BaoZhejiang UniversityVerified email at zju.edu.cn
Alexander RabinovichProfessor of computer sciense tel aviv universityVerified email at tauex.tau.ac.il
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv UniversityVerified email at mail.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 JIANGAssociate Professor 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	269	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	119	2010
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	109	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	106	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	98	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	91	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	87	2011
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th joint meeting on foundations of software …, 2015	80	2015
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe ECOOP 2011–Object-Oriented Programming, 230-254, 2011	73	2011
Mining scenario-based triggers and effects D Lo, S Maoz 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	72	2008
Using model-based traces as runtime models S Maoz Computer 42 (10), 28-36, 2009	61	2009
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	60	2010
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
Mining branching-time scenarios D Fahland, D Lo, S Maoz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	47	2013
S2A: A compiler for multi-modal UML sequence diagrams D Harel, A Kleinbort, S Maoz Fundamental Approaches to Software Engineering: 10th International …, 2007	46	2007
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	45	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	45	2011
Behavioral log analysis with statistical guarantees N Busany, S Maoz Proceedings of the 38th International Conference on Software Engineering …, 2016	42	2016
On tracing reactive systems S Maoz, D Harel Software and Systems Modeling 10 (4), 447-468, 2011	40	2011

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