Dr. Shahar Maoz

New projects at RWTH Aachen University

• SemDiff, semantic diff operators for model comparisons.
• AspectLTL, an aspect language for LTL specifications.

Ongoing projects at the Weizmann Institute of Science

• The Tracer prototype, a trace visualization and exploration tool for reactive systems.
• Scenarios in Action, home of the S2A compiler.

Other projects

• Scenario-based specification mining

Publications (partial list)

Journal papers

• S. Maoz, "Polymorphic Scenario-Based Specification Models: Semantics and Applications", Software and Systems Modeling (SoSyM). To appear.
   
• S. Maoz and D. Harel, "On Tracing Reactive Systems", Software and Systems Modeling (SoSyM). To appear. [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). To appear.
   
• 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

• 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'10). To appear. [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'09), 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 2009), 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'08), IEEE, October 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'08), LNCS, vol. 4961, Springer, March 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'06), 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.