20002022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2022

    Dynamic Update for Synthesized GR(1) Controllers

    Amram, G., Maoz, S., Segall, I. & Yossef, M., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 786-797 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2021

    Efficient Algorithms for Omega-Regular Energy Games

    Amram, G., Maoz, S., Pistiner, O. & Ringert, J. O., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-181 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13047 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • GR(1)*: GR(1) specifications extended with existential guarantees

    Amram, G., Maoz, S. & Pistiner, O., Aug 2021, In: Formal Aspects of Computing. 33, 4-5, p. 729-761 33 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Reactive Synthesis with Spectra: A Tutorial

    Maoz, S. & Ringert, J. O., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2021. IEEE Computer Society, p. 320-321 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Spectra: a specification language for reactive systems

    Maoz, S. & Ringert, J. O., Oct 2021, In: Software and Systems Modeling. 20, 5, p. 1553-1586 34 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Unrealizable Cores for Reactive Systems Specifications: Artifact

    Maoz, S. & Shalom, R., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2021. IEEE Computer Society, p. 217-218 2 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Unrealizable Cores for Reactive Systems Specifications

    Maoz, S. & Shalom, R., 30 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, p. 25-36 12 p. 9402008

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2020

    Inherent vacuity for GR(1) specifications

    Maoz, S. & Shalom, R., 8 Nov 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 99-110 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Just-In-Time Reactive Synthesis

    Maoz, S. & Shevrin, I., Sep 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. Institute of Electrical and Electronics Engineers Inc., p. 635-646 12 p. 9286093. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Performance heuristics for GR(1) synthesis and related algorithms

    Firman, E., Maoz, S. & Ringert, J. O., 1 Apr 2020, In: Acta Informatica. 57, 1-2, p. 37-79 43 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 2019

    GR(1)*: GR(1) specifications extended with existential guarantees

    Amram, G., Maoz, S. & Pistiner, O., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 83-100 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Size and accuracy in model inference

    Busany, N., Maoz, S. & Yulazari, Y., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 887-898 12 p. 8952335. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Statistical log differencing

    Bao, L., Busany, N., Lo, D. & Maoz, S., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 851-862 12 p. 8952205. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Symbolic Repairs for GR(1) Specifications

    Maoz, S., Ringert, J. O. & Shalom, R., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 1016-1026 11 p. 8812056. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    A framework for relating syntactic and semantic model differences

    Maoz, S. & Ringert, J. O., 1 Jul 2018, In: Software and Systems Modeling. 17, 3, p. 753-777 25 p.

    Research output: Contribution to journalArticlepeer-review

  • Modify, enhance, select: Co-evolution of combinatorial models and test plans

    Tzoref-Brill, R. & Maoz, S., 26 Oct 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 235-245 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On the software engineering challenges of applying reactive synthesis to robotics

    Maoz, S. & Ringert, J. O., 28 May 2018, Proceedings 2018 ACM/IEEE 1st International Workshop on Robotics Software Engineering, RoSE 2018. IEEE Computer Society, p. 17-22 6 p. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Using finite-state models for log differencing

    Amar, H., Bao, L., Busany, N., Lo, D. & Maoz, S., 26 Oct 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 49-59 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2017

    A symbolic justice violations transition system for unrealizable GR(1) specifications

    Kuvent, A., Maoz, S. & Ringert, J. O., 21 Aug 2017, ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Zisman, A., Bodden, E., Schafer, W. & van Deursen, A. (eds.). Association for Computing Machinery, p. 362-372 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. Part F130154).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Component and Connector Views in Practice: An Experience Report

    Bertram, V., Maoz, S., Ringert, J. O., Rumpe, B. & Von Wenckstern, M., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 167-177 11 p. 8101260. (Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • OCL framework to verify extra-functional properties in component and connector models

    Maoz, S., Mehlan, F., Ringert, J. O., Rumpe, B. & Von Wenckstern, M., 2017, In: CEUR Workshop Proceedings. 2019, p. 24-30 7 p.

    Research output: Contribution to journalConference articlepeer-review

  • Performance heuristics for GR(1) synthesis and related algorithms

    Firman, E., Maoz, S. & Ringert, J. O., 28 Nov 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 260, p. 62-80 19 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Syntactic and Semantic Differencing for Combinatorial Models of Test Designs

    Tzoref-Brill, R. & Maoz, S., 19 Jul 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 621-631 11 p. 7985699. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Why is My Component and Connector Views Specification Unsatisfiable?

    Maoz, S., Pomerantz, N., Ringert, J. O. & Shalom, R., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 134-144 11 p. 8101257. (Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2016

    Behavioral log analysis with statistical guarantees

    Busany, N. & Maoz, S., 14 May 2016, Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016. IEEE Computer Society, p. 877-887 11 p. (Proceedings - International Conference on Software Engineering; vol. 14-22-May-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Consistent extra-functional properties tagging for component and connector models

    Maoz, S., Ringert, J. O., Rumpe, B. & Von Wenckstern, M., 2016, In: CEUR Workshop Proceedings. 1723, p. 19-24 6 p.

    Research output: Contribution to journalConference articlepeer-review

  • GR(1) synthesis for LTL specification patterns

    Maoz, S. & Ringert, J. O., 2016, Software Engineering 2016. Knoop, J. & Zdun, U. (eds.). Gesellschaft fur Informatik (GI), p. 103-104 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P252).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On method ordering

    Geffen, Y. & Maoz, S., 5 Jul 2016, Proceedings of the 24th IEEE International Conference on Program Comprehension, ICPC 2016 - co-located with ICSE 2016. IEEE Computer Society, 7503711. (IEEE International Conference on Program Comprehension; vol. 2016-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On well-separation of GR(1) specifications

    Maoz, S. & Ringert, J. O., 1 Nov 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 362-372 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Symbolic BDD and ADD algorithms for energy games

    Maoz, S., Pistiner, O. & Ringert, J. O., 22 Nov 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 229, p. 35-54 20 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Synthesizing a Lego forklift controller in GR(1): A case study

    Maoz, S. & Ringert, J. O., 2 Feb 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 202, p. 58-72 15 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Visualization of combinatorial models and test plans

    Tzoref-Brill, R., Wojciak, P. & Maoz, S., 25 Aug 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 144-154 11 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2015

    A framework for relating syntactic and semantic model differences

    Maoz, S. & Ringert, J. O., 25 Nov 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 24-33 10 p. 7338232. (2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Behavioral log analysis with statistical guarantees

    Busany, N. & Maoz, S., 30 Aug 2015, 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings. Association for Computing Machinery, Inc, p. 898-901 4 p. (2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • GR(1) synthesis for LTL specification patterns

    Maoz, S. & Ringert, J. O., 30 Aug 2015, 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings. Association for Computing Machinery, Inc, p. 96-106 11 p. (2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Have we seen enough traces?

    Cohen, H. & Maoz, S., 2015, Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015. Institute of Electrical and Electronics Engineers Inc., p. 93-103 11 p. 7371999. (Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Lattice- based semantics for combinatorial model evolution

    Tzoref-brill, R. & Maoz, S., 2015, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). Springer Verlag, p. 276-292 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Scalable Parallelization of Specification Mining Using Distributed Computing

    Wang, S., Lo, D., Jiang, L., Maoz, S. & Budi, A., 1 Sep 2015, The Art and Science of Analyzing Software Data. Elsevier Inc., p. 623-648 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract)

    Maoz, S., Ringert, J. O. & Rumpe, B., 2015, Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW. Assmann, U., Demuth, B., Spitta, T., Puschel, G. & Kaiser, R. (eds.). Gesellschaft fur Informatik (GI), p. 110-111 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-239).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2014

    Semantically configurable analysis of scenario-based specifications

    Cohen, B. & Maoz, S., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 185-199 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8411 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Synthesis of component and connector models from crosscutting structural views

    Maoz, S., Ringert, J. O. & Rumpe, B., 2014, Software Engineering 2014. Hasselbring, W. & Ehmke, N. C. (eds.). Gesellschaft fur Informatik (GI), p. 63-64 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P227).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The confidence in our k-Tails

    Cohen, H. & Maoz, S., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 605-610 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Transactions on Aspect-Oriented Software Development XI

    Chiba, S. (ed.), Tanter, E. (ed.), Bodden, E. (ed.), Maoz, S. (ed.) & Kienzle, J. (ed.), 2014, 1 ed. Berlin, Heidelberg: Springer Berlin Heidelberg. 263 p. (Lecture Notes in Computer Science; vol. 8400)

    Research output: Book/ReportBookpeer-review

  • Using aspects for testing of embedded software: Experiences from two industrial case studies

    Metsä, J., Maoz, S., Katara, M. & Mikkonen, T., Jun 2014, In: Software Quality Journal. 22, 2, p. 185-213 29 p.

    Research output: Contribution to journalArticlepeer-review

  • Verifying component and connector models against crosscutting structural views

    Maoz, S., Ringert, J. O. & Rumpe, B., 31 May 2014, In: Proceedings - International Conference on Software Engineering. 1, p. 95-105 11 p.

    Research output: Contribution to journalConference articlepeer-review

  • 2013

    Counter play-out: Executing unrealizable scenario-based specifications

    Maoz, S. & Sa'Ar, Y., 2013, 2013 35th International Conference on Software Engineering, ICSE 2013 - Proceedings. p. 242-251 10 p. 6606570. (Proceedings - International Conference on Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Mining branching-time scenarios

    Fahland, D., Lo, D. & Maoz, S., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 443-453 11 p. 6693102. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Synthesis of component and connector models from crosscutting structural views

    Maoz, S., Ringert, J. O. & Rumpe, B., 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 444-454 11 p. (2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Two-way traceability and conflict debugging for AspectLTL programs

    Maoz, S. & Sa'ar, Y., 2013, Transactions on Aspect-Oriented Software Development X. p. 39-72 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2012

    Assume-guarantee scenarios: Semantics and synthesis

    Maoz, S. & Sa'ar, Y., 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 335-351 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review