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

[TOSEM 4/26] Ilia Shevrin, Lars Grunske, and Shahar Maoz
An Empirical Study on the Impact of Example Traces on Linear Temporal Logic Comprehension
In ACM Trans. on Software Engineering and Methodology (TOSEM), April 2026.
[https://doi.org/10.1145/3812536]
[FM'26] Shachaf Cohen and Shahar Maoz
Performance Heuristics for GR(1) Unrealizable Core Computation
In Proc. 27th Int. Symp. on Formal Methods (FM), 2026.
[https://doi.org/10.1007/978-3-032-26220-2_9]
[SoSyM 2/26] Shahar Maoz, Rafi Shalom, and Ophir Taieb
Reactive Synthesis Specification Review for Validity and Quality
Software and Systems Modeling (SoSyM), February 2026.
[https://doi.org/10.1007/s10270-026-01364-y]
[TOSEM 11/25] Ilia Shevrin and Shahar Maoz
Leveraging Symmetry in GR(1) Synthesis
In ACM Trans. on Software Engineering and Methodology (TOSEM), November 2025.
[https://doi.org/10.1145/3778355]
[ASE'25] Dor Ma'ayan, Shahar Maoz, and Jan Oliver Ringert
Evolution-Aware Heuristics for GR(1) Realizability Checking
In Proc. IEEE/ACM 40th Int. Conf. on Automated Software Engineering (ASE), 2025.
[https://doi.org/10.1109/ASE63991.2025.00030]
[TOSEM 9/25] Dor Ma'ayan, Shahar Maoz, and Jan Oliver Ringert
Exploring Development Methods for Reactive Synthesis Specifications
In ACM Trans. on Software Engineering and Methodology (TOSEM), September 2025.
[https://doi.org/10.1145/3767159]
[TOSEM 6/25] Ilia Shevrin and Shahar Maoz
What Properties Affect Boolean Formula Comprehension in Formal Specifications?
In ACM Trans. on Software Engineering and Methodology (TOSEM), June 2025.
[https://doi.org/10.1145/3744557]
[TACAS'25] Roy Yatskan, Ilia Shevrin, and Shahar Maoz
Performance Heuristics for GR(1) Realizability Checking and Related Analyses
In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2025.
[https://doi.org/10.1007/978-3-031-90643-5_3]
[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] [https://doi.org/10.1145/3597503.3608131]
[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] [https://doi.org/10.1109/ICSE48619.2023.00071]
[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] [https://doi.org/10.1109/ICSE48619.2023.00070]
[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] [https://doi.org/10.1109/ICSE48619.2023.00030]
[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] [https://doi.org/10.1109/ICSE-NIER58687.2023.00009]
[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] [https://doi.org/10.1145/3550355.3552425]
[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] [https://doi.org/10.1145/3510003.3510054]
[SoSyM] Shahar Maoz and Jan O. Ringert
Spectra: a specification language for reactive systems
Software and Systems Modeling (SoSyM), April 2021.
[website] [https://doi.org/10.1007/S10270-021-00868-Z]
[FAOC] Gal Amram, Shahar Maoz, and Or Pistiner
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
Formal Aspects of Computing (FAoC), 2021. [website] [https://doi.org/10.1007/s00165-021-00535-6]
[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] [https://doi.org/10.1007/978-3-030-90870-6_9]
[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] [https://doi.org/10.1109/ICSE43902.2021.00016]
[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] [https://doi.org/10.1145/3324884.3416557]
[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] [https://doi.org/10.1145/3368089.3409669]
[AcIn] Elizabeth Firman, Shahar Maoz, and Jan O. Ringert
Performance Heuristics for GR(1) Synthesis and Related Algorithms
Acta Informatica (AcIn), December 2019.
[website] [https://doi.org/10.1007/s00236-019-00351-9]
[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] [https://doi.org/10.1109/ASE.2019.00087]
[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] [https://doi.org/10.1109/ASE.2019.00084]
[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] [https://doi.org/10.1007/978-3-030-30942-8_7]
[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.
[https://doi.org/10.1109/ICSE.2019.00106]
[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.
[https://doi.org/10.1145/3236024.3236069]
[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.
[https://doi.org/10.1145/3236024.3236067]
[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.
[https://doi.org/10.1145/3106237.3106240]
[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.
[https://doi.org/10.1109/ICSE.2017.63]
[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.
[https://doi.org/10.1109/MODELS.2017.26]
[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.
[https://doi.org/10.1109/MODELS.2017.29]
[SoSyM] Shahar Maoz and Jan O. Ringert
A Framework for Relating Syntactic and Semantic Model Differences
Software and Systems Modeling (SoSyM), July 2016.
[https://doi.org/10.1007/s10270-016-0552-y]
[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.
[https://doi.org/10.1145/2950290.2950300]
[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.
[https://doi.org/10.1145/2970276.2970301]
[ICSE'16] Nimrod Busany and Shahar Maoz
Behavioral Log Analysis with Statistical Guarantees
In Proc. 38th Int. Conf. on Software Engineering (ICSE), 2016.
[https://doi.org/10.1145/2884781.2884805]
[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.
[https://doi.org/10.1145/2786805.2786824]
[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.
[https://doi.org/10.1007/978-3-319-24953-7_22]
[ASE'15] Hila Cohen and Shahar Maoz
Have we seen enough traces?
In Proc. 30th Int. Conf. on Automated Software Engineering (ASE), 2015.
[https://doi.org/10.1109/ASE.2015.62]
[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.
[https://doi.org/10.1109/MODELS.2015.7338232] 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.
[https://doi.org/10.4204/EPTCS.202.5]
[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] [https://doi.org/10.1145/2642937.2642944]
[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.
[project website] [https://doi.org/10.1145/2568225.2568237]
[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.
[project website] [https://doi.org/10.1007/978-3-642-54804-8_13]
[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.
[https://doi.org/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.
[https://dx.doi.org/10.1007/978-3-642-36964-3_2]
[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.
[https://doi.org/10.1109/ASE.2013.6693102]
[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.
[project website] [https://doi.org/10.1145/2491411.2491414]
[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.
[https://doi.org/10.1109/ICSE.2013.6606570]
[ASE] David Lo and Shahar Maoz
Scenario-Based and Value-Based Specification Mining: Better Together
Automated Software Engineering . 19 (4), 2012, pp. 423-458.
  [https://dx.doi.org/10.1007/s10515-012-0103-x]
[SoSyM] Shahar Maoz
Polymorphic Scenario-Based Specification Models: Semantics and Applications
Software and Systems Modeling (SoSyM), 11 (3), 2012, pp. 327-345.
[https://doi.org/10.1007/s10270-010-0168-6]
[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.
[https://doi.org/10.1007/978-3-642-33666-9_22]
[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][https://doi.org/10.1145/2162049.2162055] (This paper was invited for journal submission)
[SoSyM] Shahar Maoz and David Harel
On Tracing Reactive Systems
Software and Systems Modeling (SoSyM), 10 (4), 2011, pp. 447-468.
[https://doi.org/10.1007/S10270-010-0151-2]
[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.
[https://doi.org/10.1145/2000799.2000804]
[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.
Springer Best Paper Award and ACM SIGSOFT Distinguished Paper Award
[https://doi.org/10.1007/978-3-642-24485-8_12] (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.
[project website]. [https://doi.org/10.1007/978-3-642-24485-8_44]
[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.
[project website]. [https://doi.org/10.1145/2025113.2025140]
[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.
[project website]. [https://doi.org/10.1007/978-3-642-22655-7_12]
[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.
[https://doi.org/10.1007/978-3-642-22655-7_14]
[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.
[project website]. [https://doi.org/10.1145/1960275.1960280]
[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.
[project website][https://doi.org/10.1007/978-3-642-21210-9_19] 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.
[https://doi.org/10.1145/1858996.1859081] (This paper was invited for journal submission)
[Computer] Shahar Maoz
Using Model-Based Traces as Runtime Models
IEEE Computer, 42 (10), 2009, pp. 28-36.
[https://doi.org/10.1109/MC.2009.336]
[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.
[https://doi.org/10.1109/ASE.2009.19]
[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.
[https://doi.org/10.1007/978-3-642-04425-0_38] (This paper was invited for journal submission)
[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
[https://doi.org/10.1007/s10270-007-0054-z]
[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.
[https://doi.org/10.1007/978-3-642-01648-6_12] 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.
[https://doi.org/10.1109/ASE.2008.21]
[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 Soft. Eng. (FASE), LNCS, vol. 4961, Springer, 2008, pp. 301-316.
[https://doi.org/10.1007/978-3-540-78743-3_23]
[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.
[https://doi.org/10.1145/1181775.1181802]
[InfComp] Alexander Rabinovich and Shahar Maoz
An Infinite Hierarchy of Temporal Logics Over Branching Time
Information and Computation,171 (2), 2001, pp. 306-332.
[https://doi.org/10.1006/INCO.2001.2970]