Most of our publications are listed on the DBLP page and in Google Scholar.
If you are looking for a copy of any of the papers and can't find it online, contact us!

Selected publications

copyright notice

Papers in conference and workshop proceedings


[ESEC/FSE'17] A. Kuvent, S. Maoz, and J.O. Ringert
A Symbolic Justice Violations Transition System for Unrealizable GR(1) Specifications
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), 2017.
[Acceptance rate: 24%]
 
[ICSE'17] R. Tzoref-Brill and S. Maoz
Syntactic and Semantic Differencing for Combinatorial Models of Test Designs
In Proc. 39th Int. Conf. on Software Engineering (ICSE), 2017.
[Acceptance rate: 17%] [pdf]
 
[FSE'16] S. Maoz and J.O. Ringert
On Well-Separation of GR(1) Specifications
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. (FSE), 2016.
[Acceptance rate: 27%] [pdf]
 
[ASE'16] R. Tzoref-Brill, Paul Wojciak, and S. Maoz
Visualization of Combinatorial Models and Test Plans
In Proc. 31st IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2016.
[pdf]
 
[ICSE'16] N. Busany and S. Maoz
Behavioral Log Analysis with Statistical Guarantees
In Proc. 38th Int. Conf. on Software Engineering (ICSE), 2016.
[Acceptance rate: 19%] [pdf]
 
[ESEC/FSE'15] S. Maoz and J.O. Ringert
GR(1) Synthesis for LTL Specification Patterns
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), ACM, 2015.
[Acceptance rate: 25%] [pdf]
 
[ATVA'15] R. Tzoref-Brill and S. Maoz
Lattice-Based Semantics for Combinatorial Model Evolution
In Proc. 13th Int. Symp. on Automated Technology for Verification and Analysis (ATVA), 2015. [pdf]
 
[ESEC/FSE'15] N. Busany and S. Maoz
Behavioral Log Analysis with Statistical Guarantees
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), ACM, 2015. New Ideas Track.
[Acceptance rate: 27%] [pdf]
 
[ASE'15] H. Cohen and S. Maoz
Have we seen enough traces?
In Proc. 30th Int. Conf. on Automated Software Engineering (ASE), 2015.
[Acceptance rate: 20%] [pdf]
 
[MoDELS'15] S. Maoz and J.O. Ringert
A Framework for Relating Syntactic and Semantic Model Differences
In Proc. ACM/IEEE 18th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), 2015.
[Acceptance rate: 26%] [pdf] Awarded Best Foundation Paper
 
[SYNT'15] S. Maoz and J.O. Ringert
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
In Proc. 4th Int. Workshop on Synthesis (SYNT), co-located with CAV, 2015. [pdf]
 
[ASE'14] H. Cohen and S. Maoz
The Confidence in our k-Tails
In Proc. 29th Int. Conf. on Automated Software Engineering (ASE), 2014.
New Ideas Track. [project website] [pdf].
 
[ICSE'14] S. Maoz, J.O. Ringert, and B. Rumpe
Verifying Component and Connector Models Against Crosscutting Structural Views
In Proc. 36th Int. Conf. on Software Engineering (ICSE), 2014.
[Acceptance rate: 20%] [project website] [pdf].
 
[FASE'14] B. Cohen and S. Maoz
Semantically Configurable Analysis of Scenario-Based Specifications
In Proc. 17th Int. Conf. on Fundamental Approaches to Software Engineering (FASE), 2014.
Volume 8411 of LNCS, Springer, 2014, pp. 185-199.
[Acceptance rate: 23%] [project website].
 
[ASE'13] D. Fahland, D. Lo, and S. Maoz
Mining Branching-Time Scenarios
In Proc. 28th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2013.
[Acceptance rate (technical research papers): 17%] [pdf].
 
[ESEC/FSE'13] S. Maoz, J.O. Ringert, and B. Rumpe
Synthesis of Component and Connector Models from Crosscutting Structural Views
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), ACM, 2013, pp. 444-454.
[Acceptance rate: 20%] [project website] [pdf].
 
[ICSE'13] S. Maoz and Y. Sa'ar
Counter Play-Out: Executing Unrealizable Scenario-Based Specifications
In Proc. 35th Int. Conf. on Software Engineering (ICSE). IEEE, 2013, pp. 242-251.
[Acceptance rate: 18.5%] [pdf].
 
[MoDELS'12] S. Maoz and Y. Sa'ar
Assume-Guarantee Scenarios: Semantics and Synthesis
In Proc. 15th Int. Conf. on Model Driven Engineering, Languages and Systems (MoDELS). Volume 7590 of LNCS, Springer, 2012, pp. 335-351.
[Acceptance rate: 23%] [pdf].
 
[AOSD'12] S. Maoz and Y. Sa'ar
Two-Way Traceability and Conflict Debugging for AspectLTL Programs
In Proc. 11th Int. Conf. on Aspect Oriented Software Development (AOSD), 2012, ACM, pp. 35-46.
[project website].
(This paper was invited for journal submission)
 
[MoDELS'11] 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%] [pdf].
Springer Best Paper Award and ACM SIGSOFT Distinguished Paper Award
(This paper was invited for journal submission)
 
[MoDELS'11] 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].
 
[ESEC/FSE'11] 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].
 
[ECOOP'11] 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].
 
[ECOOP'11] 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].
 
[AOSD'11] 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].
 
[ME'10] 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%]. [project website].
Selected as one of two best papers of the workshop
 
[ASE'10] 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%]
(This paper was invited for journal submission)
 
[ASE'09] 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].
 
[MoDELS'09] 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%]
(This paper was invited for journal submission)
 
[MRT'08] 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. [pdf].
Selected as one of two best papers of the workshop
 
[ASE'08] 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].
 
[FASE'08] 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%]
 
[FSE'06] 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. [Acceptance rate: 20%] [pdf].
(this paper was nominated for distinguished paper award)
 

Journal articles


[SoSyM] S. Maoz and J.O. Ringert
A Framework for Relating Syntactic and Semantic Model Differences
Software and Systems Modeling (SoSyM), July 2016. DOI: 10.1007/s10270-016-0552-y. [pdf].
 
[SQJ] J. Metsä, S. Maoz, M. Katara, and T. Mikkonen
Using aspects for testing of embedded software: experiences from two industrial case studies
Software Quality Journal . 2013. DOI 10.1007/s11219-012-9193-8.
 
[TAOSD] S. Maoz and Y. Sa'ar
Two-Way Traceability and Conflict Debugging for AspectLTL Programs
Transactions on Aspect-Oriented Software Development (TAOSD), Volume 7800 of LNCS, 2013, pp. 39-72. DOI: 10.1007/978-3-642-36964-3_2. [pdf].
 
[ASE] D. Lo and S. Maoz
Scenario-Based and Value-Based Specification Mining: Better Together
Automated Software Engineering . 19 (4), 2012, pp. 423-458. DOI: 10.1007/s10515-012-0103-x. [pdf].
 
[SoSyM] S. Maoz
Polymorphic Scenario-Based Specification Models: Semantics and Applications
Software and Systems Modeling (SoSyM), 11 (3), 2012, pp. 327-345. [pdf].
 
[SoSyM] S. Maoz and D. Harel
On Tracing Reactive Systems
Software and Systems Modeling (SoSyM), 10 (4), 2011, pp. 447-468. [pdf].
 
[TOSEM] 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].
 
[Computer] S. Maoz
Using Model-Based Traces as Runtime Models
IEEE Computer, 42 (10), 2009, pp. 28-36. [pdf].
 
[SoSyM] D. Harel and S. Maoz
Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams
Software and Systems Modeling (SoSyM), 7 (2), 2008, pp. 237-252 [pdf].
 
[InfComp] A. Rabinovich and S. Maoz
An Infinite Hierarchy of Temporal Logics Over Branching Time
Information and Computation,171 (2), 2001, pp. 306-332.
 

Copyright 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. In most cases, these works may not be reposted without the explicit permission of the copyright holder.