Shahar Maoz

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2714	879
H-index	30	17
i10-index	60	31

240

120

180

200620072008200920102011201220132014201520162017201820192020202120222023202420259 35 64 70 88 145 125 149 177 148 167 167 177 209 184 231 147 163 131 22

גישה ציבורית

הצג הכל

33 מאמרים

2 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Jan Oliver RingertDepartment of Informatics, Bauhaus-Universität Weimarכתובת אימייל מאומתת בדומיין uni-weimar.de
Bernhard RumpeRWTH Aachen Universityכתובת אימייל מאומתת בדומיין se.rwth-aachen.de
David LoProfessor of Computer Science, Singapore Management Universityכתובת אימייל מאומתת בדומיין smu.edu.sg
David HarelProfessor of Computer Science, The Weizmann Instituteכתובת אימייל מאומתת בדומיין weizmann.ac.il
Nimrod BusanyTel-Aviv Universityכתובת אימייל מאומתת בדומיין mail.tau.ac.il
Michael von WencksternResearcher at RWTH Aachen Universityכתובת אימייל מאומתת בדומיין se-rwth.de
Rachel Tzoref-BrillIBM Haifa Research Labכתובת אימייל מאומתת בדומיין il.ibm.com
Itai SegallBell Labs Researcherכתובת אימייל מאומתת בדומיין alcatel-lucent.com
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of Technologyכתובת אימייל מאומתת בדומיין tue.nl
Lingfeng BaoZhejiang Universityכתובת אימייל מאומתת בדומיין zju.edu.cn
Dor Ma'ayanComputer Science Ph.D. Student, Tel Aviv Universityכתובת אימייל מאומתת בדומיין mail.tau.ac.il
Alexander RabinovichProfessor of computer sciense tel aviv universityכתובת אימייל מאומתת בדומיין tauex.tau.ac.il
Hen Amarכתובת אימייל מאומתת בדומיין post.tau.ac.il
Hillel KuglerBar-Ilan Universityכתובת אימייל מאומתת בדומיין biu.ac.il
Amir KantorPrincipal Researcher, Microsoftכתובת אימייל מאומתת בדומיין microsoft.com
Aditya BudiBinus Universityכתובת אימייל מאומתת בדומיין binus.ac.id
Shaowei WangAssistant professor, Department of Computer Science, University of Manitobaכתובת אימייל מאומתת בדומיין umanitoba.ca
Lingxiao JiangProfessor of Computer Science, Singapore Management Universityכתובת אימייל מאומתת בדומיין smu.edu.sg
Tommi MikkonenProfessor, University of Jyväskylä, Finlandכתובת אימייל מאומתת בדומיין jyu.fi
Nitzan Pomerantzכתובת אימייל מאומתת בדומיין mail.tau.ac.il

עקוב אחר

Shahar Maoz

School of Computer Science, Tel Aviv University

כתובת אימייל מאומתת בדומיין cs.tau.ac.il - דף הבית

Software engineering Modeling Formal methods


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	277	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‏	117	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
GR (1) synthesis for LTL specification patterns‏ S Maoz, JO Ringert‏ Proceedings of the 2015 10th joint meeting on foundations of software …, 2015‏	94	2015
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
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‏	92	2007
CDDiff: Semantic Differencing for Class Diagrams‏ S Maoz, JO Ringert, B Rumpe‏ ECOOP 2011–Object-Oriented Programming, 230-254, 2011‏	82	2011
Mining scenario-based triggers and effects‏ D Lo, S Maoz‏ 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008‏	71	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‏	56	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
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‏	48	2011
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‏	47	2016
Mining branching-time scenarios‏ D Fahland, D Lo, S Maoz‏ 2013 28th IEEE/ACM International Conference on Automated Software …, 2013‏	47	2013
Mining hierarchical scenario-based specifications‏ D Lo, S Maoz‏ 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009‏	46	2009
Spectra: a specification language for reactive systems‏ S Maoz, JO Ringert‏ Software and Systems Modeling 20 (5), 1553-1586, 2021‏	45	2021
AspectLTL: an aspect language for LTL specifications‏ S Maoz, Y Sa'ar‏ Proceedings of the tenth international conference on Aspect-oriented …, 2011‏	45	2011

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים