SE@RWTH : Staff : Dr. Shahar Maoz

Dr. Shahar Maoz

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen
Germany

maoz

se-rwth.de

POSITION NEWS: Starting summer 2012 I'll be Faculty Member at the School of Computer Science, Tel Aviv University, Israel.

I am a Postdoc Research Fellow, working with Prof. Bernhard Rumpe at RWTH Aachen University, Department of Computer Science 3. Formerly I was a PhD student of Prof. David Harel at the Weizmann Institute of Science, Israel.

Most of my publications are listed on my DBLP page and in Google Scholar. If you are looking for a copy of any of the papers and can't find it online, just send me an email.

News

Paper accepted to AOSD'12
Our paper on semantically configurable analysis for class and object diagrams has won the Springer Best Paper Award and the ACM SIGSOFT Distinguished Paper Award at MoDELS'11
Two papers accepted to MoDELS'11
Paper accepted to ESEC/FSE'11
Two papers accepted to ECOOP'11
Semantic differencing manifesto paper selected as one of two best papers of ME'10
AspectLTL paper accepted to AOSD'11

Selected projects and publications

New projects

Software architecture views, model checking and synthesis.
Semantic differencing operators for model comparisons.
Modal object diagrams, extending classical object diagrams with modalities.
AspectLTL, an aspect language for LTL specifications.

Ongoing and older projects

The Tracer prototype, a trace visualization and exploration tool for reactive systems.
Scenarios in Action, home of the S2A compiler. Now part of PlayGo.
Mining scenario-based specifications.

Publications (partial list)

Journal papers

D. Lo and S. Maoz, "Scenario-Based and Value-Based Specification Mining: Better Together", Automated Software Engineering . Accepted Feb. 2012. DOI: 10.1007/s10515-012-0103-x. [pdf].
S. Maoz, "Polymorphic Scenario-Based Specification Models: Semantics and Applications", Software and Systems Modeling (SoSyM). Accepted June 2010. DOI: 10.1007/s10270-010-0168-6. [pdf].
S. Maoz and D. Harel, "On Tracing Reactive Systems", Software and Systems Modeling (SoSyM). Accepted January 2010. DOI: 10.1007/s10270-010-0151-2. [pdf].
S. Maoz, D. Harel, and A. Kleinbort, "A Compiler for Multi-Modal Scenarios: Transforming LSCs into AspectJ", ACM Trans. on Software Engineering and Methodology (ACM TOSEM). Volume 20 issue 4, 2011. [pdf].
S. Maoz, "Using Model-Based Traces as Runtime Models", IEEE Computer, 42 (10), pp. 28-36. [pdf].
D. Harel and S. Maoz, "Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams", Software and Systems Modeling (SoSyM), 7 (2), pp. 237-252. [pdf].
A. Rabinovich and S. Maoz, "An Infinite Hierarchy of Temporal Logics Over Branching Time", Information and Computation,171 (2), pp. 306-332.

Conference and workshop proceedings

S. Maoz, J.O. Ringert, and B. Rumpe, "Semantically Configurable Consistency Analysis for Class and Object Diagrams". In Proc. 14th Int. Conf. on Model Driven Engineering, Languages and Systems (MoDELS). Volume 6981 of LNCS, Springer, 2011, pp. 153-167. [Acceptance rate: 20%] Springer Best Paper Award and ACM SIGSOFT Distinguished Paper Award. [pdf].
S. Maoz, J.O. Ringert, and B. Rumpe, "CD2Alloy: Class Diagrams Analysis Using Alloy Revisited". In Proc. 14th Int. Conf. on Model Driven Engineering, Languages and Systems (MoDELS). Volume 6981 of LNCS, Springer, 2011, pp. 592-607. [Acceptance rate: 20%] [pdf] [project website].
S. Maoz, J.O. Ringert, and B. Rumpe, "ADDiff: Semantic Differencing for Activity Diagrams". In Proc. 19th ACM SIGSOFT Symp. on Foundations of Soft. Eng. and 13th Euro. Soft. Eng. Conf. (ESEC/FSE), 2011, ACM, pp. 179-189. [Acceptance rate: 17%] [pdf] [project website].
S. Maoz, J.O. Ringert, and B. Rumpe, "CDDiff: Semantic Differencing for Class Diagrams". In Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP). LNCS, vol. 6813, Springer, 2011, pp. 230-254. [Acceptance rate: 26%] [pdf] [project website].
S. Maoz, J.O. Ringert, and B. Rumpe, "Modal Object Diagrams". In Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP). LNCS, vol. 6813, Springer, 2011, pp. 281-305. [Acceptance rate: 26%] [pdf].
S. Maoz and Y. Sa'ar, "AspectLTL: An Aspect Language for LTL Specifications". In Proc. 10th Int. Conf. on Aspect Oriented Software Development (AOSD), 2011, ACM, pp. 19-30. [Acceptance rate (first round): 21%] [project website].
S. Maoz, J.O. Ringert, and B. Rumpe, "A Manifesto for Semantic Model Differencing". In Proc. Int. Workshop on Models and Evolution (ME'10), co-located with MoDELS'10. LNCS, vol. 6627, Springer, 2011, pp. 194-203. [Acceptance rate (long papers): 34%]. Selected as one of two best papers of the workshop. [project website].
D. Lo and S. Maoz, "Scenario-Based and Value-Based Specification Mining: Better Together". In Proc. 25th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), ACM, 2010, pp. 387-396. [Acceptance rate: 18%]
D. Lo and S. Maoz, "Mining Hierarchical Scenario-Based Specifications". In Proc. 24th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), IEEE Press, 2009, pp. 359-370. [Acceptance rate: 17%] [pdf].
S. Maoz, "Polymorphic Scenario-Based Specification Models: Semantics and Applications". In 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), A. Schürr and B. Selic eds., LNCS, vol. 5795, Springer, 2009, pp. 499-513. [Acceptance rate: 18%]
S. Maoz, "Model-Based Traces". In Models in Software Engineering, Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers, M.R.V. Chaudron ed., LNCS, vol. 5421, Springer, 2009, pp. 109-119. Presented at the 3rd Int. Workshop on Models at Runtime (Models@Run.time 2008), at MODELS 2008, Toulouse, France, Oct. 2008. Selected as one of two best papers of the workshop. [pdf].
D. Lo and S. Maoz, "Mining Scenario-Based Triggers and Effects". In Proc. 23rd IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), IEEE, 2008, pp. 109-118. [Acceptance rate: 12%] [pdf].
Y. Atir, D. Harel, A. Kleinbort, and S. Maoz, "Object Composition in Scenario-Based Programming". In Proc. 11th Int. Conf. on Fundamental Approaches to Software Engineering (FASE), LNCS, vol. 4961, Springer, 2008, pp. 301-316. [Acceptance rate: 26%]
S. Maoz and D. Harel, "From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ". In Proc. 14th ACM SIGSOFT Symp. on Foundations of Software Engineering (SIGSOFT FSE), ACM, 2006, pp. 219-230. Runner up for Distinguished Paper Award. [Acceptance rate: 20%] [pdf].

Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.