Shahar Maoz

Cited by

	All	Since 2020
Citations	2705	879
h-index	30	17
i10-index	62	32

240

120

180

200620072008200920102011201220132014201520162017201820192020202120222023202420259 35 64 78 88 148 125 137 182 147 159 166 176 209 183 229 153 170 129 14

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
Hen AmarVerified email at post.tau.ac.il
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Amir KantorPrincipal Researcher, MicrosoftVerified email at microsoft.com
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
Tommi MikkonenProfessor, University of Jyväskylä, FinlandVerified email at jyu.fi
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	275	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	118	2010
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe Model Driven Engineering Languages and Systems: 14th International …, 2011	114	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	104	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	95	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	93	2011
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th joint meeting on foundations of software …, 2015	92	2015
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe ECOOP 2011–Object-Oriented Programming, 230-254, 2011	81	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	64	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	53	2013
Behavioral log analysis with statistical guarantees N Busany, S Maoz Proceedings of the 38th International Conference on Software Engineering …, 2016	48	2016
Mining branching-time scenarios D Fahland, D Lo, S Maoz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	48	2013
Mining hierarchical scenario-based specifications D Lo, S Maoz 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	48	2009
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
Spectra: a specification language for reactive systems S Maoz, JO Ringert Software and Systems Modeling 20 (5), 1553-1586, 2021	45	2021
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

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