Shahar Maoz

Citeras av

	Alla	Sedan 2016
Citat	2024	949
h-index	25	19
i10-index	42	31

220

110

165

20072008200920102011201220132014201520162017201820192020202135 65 81 73 142 125 139 180 137 158 165 173 205 197 51

Nytt!

Offentlig åtkomst

Visa alla

25 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Jan Oliver RingertSchool of Informatics, University of LeicesterVerifierad e-postadress på leicester.ac.uk
Bernhard RumpeRWTH Aachen UniversityVerifierad e-postadress på se.rwth-aachen.de
David LoProfessor of Computer Science, Singapore Management UniversityVerifierad e-postadress på smu.edu.sg
David HarelProfessor of Computer Science, The Weizmann InstituteVerifierad e-postadress på weizmann.ac.il
Nimrod BusanyTel-Aviv UniversityVerifierad e-postadress på mail.tau.ac.il
Michael von WencksternResearcher at RWTH Aachen UniversityVerifierad e-postadress på se-rwth.de
Rachel Tzoref-BrillIBM Haifa Research LabVerifierad e-postadress på il.ibm.com
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerifierad e-postadress på tue.nl
Itai SegallBell Labs ResearcherVerifierad e-postadress på alcatel-lucent.com
Lingfeng BaoZhejiang UniversityVerifierad e-postadress på zju.edu.cn
Hillel KuglerBar-Ilan UniversityVerifierad e-postadress på biu.ac.il
Tommi MikkonenProfessor, University of HelsinkiVerifierad e-postadress på helsinki.fi
Aditya BudiBinus UniversityVerifierad e-postadress på binus.ac.id
Shaowei WangAssistant professor, Department of Computer Science, University of ManitobaVerifierad e-postadress på umanitoba.ca
Lingxiao JIANGAssociate Professor of Information Systems, Singapore Management UniversityVerifierad e-postadress på smu.edu.sg
Nitzan PomerantzVerifierad e-postadress på mail.tau.ac.il
Shigeru ChibaThe University of TokyoVerifierad e-postadress på acm.org

Shahar Maoz

School of Computer Science, Tel Aviv University

Verifierad e-postadress på cs.tau.ac.il - Startsida

Software engineering Modeling Formal methods


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Assert and negate revisited: Modal semantics for UML sequence diagrams D Harel, S Maoz Software & Systems Modeling 7 (2), 237-252, 2008	252	2008
Scenario-based and value-based specification mining: better together D Lo, S Maoz Automated Software Engineering 19 (4), 423-458, 2012	110	2012
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	102	2006
Mining modal scenario-based specifications from execution traces of reactive systems D Lo, S Maoz, SC Khoo Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	88	2007
ADDiff: semantic differencing for activity diagrams S Maoz, JO Ringert, B Rumpe Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	83	2011
CD2Alloy: Class diagrams analysis using Alloy revisited S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2011	79	2011
A manifesto for semantic model differencing S Maoz, JO Ringert, B Rumpe International Conference on Model Driven Engineering Languages and Systems …, 2010	69	2010
Mining scenario-based triggers and effects D Lo, S Maoz 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	67	2008
CDDiff: Semantic Differencing for Class Diagrams S Maoz, JO Ringert, B Rumpe ECOOP 2011–Object-Oriented Programming, 230-254, 2011	60	2011
Using model-based traces as runtime models S Maoz Computer 42 (10), 28-36, 2009	59	2009
PlayGo: towards a comprehensive tool for scenario based programming D Harel, S Maoz, S Szekely, D Barkan Proceedings of the IEEE/ACM international conference on Automated software …, 2010	51	2010
GR (1) synthesis for LTL specification patterns S Maoz, JO Ringert Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	50	2015
Mining branching-time scenarios D Fahland, D Lo, S Maoz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	45	2013
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	45	2013
Mining hierarchical scenario-based specifications D Lo, S Maoz 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009	42	2009
S2A: A compiler for multi-modal UML sequence diagrams D Harel, A Kleinbort, S Maoz International Conference on Fundamental Approaches to Software Engineering …, 2007	41	2007
On tracing reactive systems S Maoz, D Harel Software and Systems Modeling 10 (4), 447-468, 2011	40	2011
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	35	2011
Behavioral log analysis with statistical guarantees N Busany, S Maoz 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016	33	2016
Assume-guarantee scenarios: Semantics and synthesis S Maoz, Y Sa’ar International Conference on Model Driven Engineering Languages and Systems …, 2012	32	2012

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare