20002022

Research activity per year

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

Fingerprint

Dive into the research topics where Shahar Maoz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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
  • 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