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

(journal publications here)

[ICSE'24] Ariel Gorenstein, Shahar Maoz, and Jan Oliver Ringert
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
In Proc. ACM/IEEE 46th Int. Conf. on Software Engineering (ICSE), 2024.
[website]
 
[ICSE'23] Dor Ma'ayan and Shahar Maoz
Using Reactive Synthesis: An End-to-End Exploratory Case Study
In Proc. ACM/IEEE 45th Int. Conf. on Software Engineering (ICSE), 2023.
[website]
 
[ICSE'23] Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications
In Proc. ACM/IEEE 45th Int. Conf. on Software Engineering (ICSE), 2023.
[website]
 
[ICSE'23] Rafi Shalom and Shahar Maoz
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
In Proc. ACM/IEEE 45th Int. Conf. on Software Engineering (ICSE), 2023.
[website]
 
[ICSE'23] Dor Ma'ayan, Shahar Maoz, and Jan Oliver Ringert
Anti-Patterns (Smells) in Temporal Specifications
In Proc. ACM/IEEE 45th Int. Conf. on Software Engineering (ICSE), 2023.
New Ideas and Emerging Results (NIER) track. [website]
 
[MODELS'22] Dor Ma'ayan, Shahar Maoz, and Roey Rozi
Validating the Correctness of Reactive Systems Specifications Through Systematic Exploration
In Proc. ACM/IEEE 25th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), 2022.
[website]
 
[ICSE'22] Gal Amram, Shahar Maoz, Itai Segall, and Matan Yossef
Dynamic Update for Synthesized GR(1) Controllers
In Proc. ACM/IEEE 44th Int. Conf. on Software Engineering (ICSE), 2022.
[website]
 
[FM'21] Gal Amram, Shahar Maoz, Jan O. Ringert, and Or Pistiner
Efficient Algorithms for Omega-Regular Energy Games
In Proc. 24th Int. Symp. on Formal Methods (FM), 2021.
[website]
 
[ICSE'21] Shahar Maoz and Rafi Shalom
Unrealizable Cores for Reactive Systems Specifications
In Proc. ACM/IEEE 43rd Int. Conf. on Software Engineering (ICSE), 2021.
[website]
 
[ASE'20] Shahar Maoz and Ilia Shevrin
Just-In-Time Reactive Synthesis
In Proc. 35th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2020.
[website]
 
[ESEC/FSE'20] Shahar Maoz and Rafi Shalom
Inherent Vacuity for GR(1) Specifications
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), 2020.
[website]
 
[ASE'19] Nimrod Busany, Shahar Maoz, and Yehonatan Yulazari
Size and Accuracy in Model Inference
In Proc. 34th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2019.
[website]
 
[ASE'19] Lingfeng Bao, Nimrod Busany, David Lo, and Shahar Maoz
Statistical Log Differencing
In Proc. 34th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2019.
[website]
 
[FM'19] Gal Amram, Shahar Maoz, and Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
In Proc. 23rd Int. Symp. on Formal Methods (FM), 2019.
[website]
 
[ICSE'19] Shahar Maoz, Jan O. Ringert, and Rafi Shalom
Symbolic Repairs for GR(1) Specifications
In Proc. ACM/IEEE 41st Int. Conf. on Software Engineering (ICSE), 2019.
[pdf]
 
[ESEC/FSE'18] Hen Amar, Lingfeng Bao, Nimrod Busany, David Lo, and Shahar Maoz
Using Finite-State Models for Log Differencing
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), 2018.
[Acceptance rate: 19%] [pdf]
 
[ESEC/FSE'18] Rachel Tzoref-Brill and Shahar Maoz
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
In Proc. ACM SIGSOFT Symp. on Foundations of Soft. Eng. and Euro. Soft. Eng. Conf. (ESEC/FSE), 2018.
[Acceptance rate: 19%] [pdf]
 
[ESEC/FSE'17] Aviv Kuvent, Shahar Maoz, and Jan 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%] [pdf]
 
[ICSE'17] Rachel Tzoref-Brill and Shahar 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]
 
[MoDELS'17] Shahar Maoz, N. Pomerantz, Jan O. Ringert, Rafi Shalom
Why Is My Component and Connector Views Specification Unsatisfiable?
In Proc. ACM/IEEE 20th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), 2017.
[pdf]
 
[MoDELS'17] V. Bertram, Shahar Maoz, Jan O. Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector Views in Practice: An Experience Report
In Proc. ACM/IEEE 20th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS), 2017.
[pdf]
 
[FSE'16] Shahar Maoz and Jan 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] Rachel Tzoref-Brill, Paul Wojciak, and Shahar Maoz
Visualization of Combinatorial Models and Test Plans
In Proc. 31st IEEE/ACM Int. Conf. on Automated Software Engineering (ASE), 2016.
[pdf]
 
[ICSE'16] Nimrod Busany and Shahar Maoz
Behavioral Log Analysis with Statistical Guarantees
In Proc. 38th Int. Conf. on Software Engineering (ICSE), 2016.
[Acceptance rate: 19%] [pdf]
 
[ESEC/FSE'15] Shahar Maoz and Jan 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] Rachel Tzoref-Brill and Shahar 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] Nimrod Busany and Shahar 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] Hila Cohen and Shahar Maoz
Have we seen enough traces?
In Proc. 30th Int. Conf. on Automated Software Engineering (ASE), 2015.
[Acceptance rate: 20%] [pdf]
 
[MoDELS'15] Shahar Maoz and Jan 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] Shahar Maoz and Jan 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] Hila Cohen and Shahar 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Barak Cohen and Shahar 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] Dirk Fahland, David Lo, and Shahar 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz and Yaniv 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] Shahar Maoz and Yaniv 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] Shahar Maoz and Yaniv 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] Shahar Maoz and Yaniv 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] Shahar Maoz, Jan O. Ringert, and Bernhard 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] David Lo and Shahar 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] David Lo and Shahar 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] Shahar 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] Shahar 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] David Lo and Shahar 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] Yoram Atir, David Harel, Asaf Kleinbort, and Shahar 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] Shahar Maoz and David 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

(conference publications here)

[SoSyM] Shahar Maoz and Jan O. Ringert
Spectra: a specification language for reactive systems
Software and Systems Modeling (SoSyM), April 2021. [pdf]. [website]
 
[FAOC] Gal Amram, Shahar Maoz, and Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
Formal Aspects of Computing (FAoC), 2021. [pdf]. [website]
 
[AcIn] Elizabeth Firman, Shahar Maoz, and Jan O. Ringert
Performance Heuristics for GR(1) Synthesis and Related Algorithms
Acta Informatica (AcIn), December 2019. DOI: 10.1007/s00236-019-00351-9. [pdf]. [website]
 
[SoSyM] Shahar Maoz and Jan 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] Jan Metsä, Shahar Maoz, Mika Katara, and Timo 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] Shahar Maoz and Yaniv 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] David Lo and Shahar 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] Shahar Maoz
Polymorphic Scenario-Based Specification Models: Semantics and Applications
Software and Systems Modeling (SoSyM), 11 (3), 2012, pp. 327-345. [pdf].
 
[SoSyM] Shahar Maoz and David Harel
On Tracing Reactive Systems
Software and Systems Modeling (SoSyM), 10 (4), 2011, pp. 447-468. [pdf].
 
[TOSEM] Shahar Maoz, David Harel, and Asaf 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] Shahar Maoz
Using Model-Based Traces as Runtime Models
IEEE Computer, 42 (10), 2009, pp. 28-36. [pdf].
 
[SoSyM] David Harel and Shahar Maoz
Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams
Software and Systems Modeling (SoSyM), 7 (2), 2008, pp. 237-252 [pdf].
 
[InfComp] Alexander Rabinovich and Shahar 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.