20002022

Research activity per year

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

Search results

  • 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
  • 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
  • PlayGo: Towards a comprehensive tool for scenario based programming

    Harel, D., Maoz, S., Szekely, S. & Barkan, D., 2010, ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. p. 359-360 2 p. (ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering).

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

  • Polymorphic scenario-based specification models: Semantics and applications

    Maoz, S., Jul 2012, In: Software and Systems Modeling. 11, 3, p. 327-345 19 p.

    Research output: Contribution to journalArticlepeer-review

  • Polymorphic scenario-based specification models: Semantics and applications

    Maoz, S., 2009, Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings. p. 499-513 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5795 LNCS).

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

  • 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

  • S2A: A compiler for multi-modal UML sequence diagrams

    Harel, D., Kleinbort, A. & Maoz, S., 2007, Fundamental Approaches to Software Engineering - 10th International Conference, FASE 2007. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Proceedings. Springer Verlag, p. 121-124 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4422 LNCS).

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

    Open Access
  • 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

  • Scenario-based and value-based specification mining: Better together

    Lo, D. & Maoz, S., 2010, ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. p. 387-396 10 p. (ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering).

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

  • Scenario-based and value-based specification mining: Better together

    Lo, D. & Maoz, S., Dec 2012, In: Automated Software Engineering. 19, 4, p. 423-458 36 p.

    Research output: Contribution to journalArticlepeer-review

  • 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
  • Semantically configurable consistency analysis for class and object diagrams

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, Model Driven Engineering Languages and Systems - 14th International Conference, MODELS 2011, Proceedings. p. 153-167 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6981 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

  • Some results on the expressive power and complexity of LSCs

    Harel, D., Maoz, S. & Segall, I., 2008, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). p. 351-366 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

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

  • Specification mining of symbolic scenario-based models

    Lo, D. & Maoz, S., 2008, Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08. p. 29-35 7 p. (ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and 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
  • 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 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
  • 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

  • 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

  • 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

  • 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

  • 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
  • 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

  • Towards succinctness in mining scenario-based specifications

    Lo, D. & Maoz, S., 2011, Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011. p. 231-240 10 p. 5773397. (Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011).

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

  • Towards trace visualization and exploration for reactive systems

    Maoz, S., Kleinbort, A. & Harel, D., 2007, Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2007. p. 153-156 4 p. 4351340. (Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2007).

    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

  • Two-way traceability and conflict debugging for AspectLTL programs

    Maoz, S. & Sa'ar, Y., 2012, AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development. p. 35-46 12 p. (AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development).

    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

  • 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

  • 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

  • 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

  • Using model-based traces as runtime models

    Maoz, S., 2009, Computer, 42, 10, p. 28-36 9 p.

    Research output: Contribution to specialist publicationArticle

  • Validating the correctness of reactive systems specifications through systematic exploration

    Ma'ayan, D., Maoz, S. & Rozi, R., 23 Oct 2022, Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022. Association for Computing Machinery, Inc, p. 132-142 11 p. (Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022).

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

    Open Access
  • 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

  • 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

  • Visual Formalisms

    Harel, D. & Maoz, S., 2009, Encyclopedia of Database Systems. LIU, LING. & ÖZSU, M. TAMER. (eds.). Boston, MA: Springer US, p. 3370-3374 5 p.

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

  • 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

  • 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

  • Why so many temporal logics climb up the trees

    Rabinovich, A. & Maoz, S., 2000, Mathematical Foundations of Computer Science 2000 - 25th International Symposium, MFCS 2000 , Proceedings. Rovan, B. & Nielsen, M. (eds.). Springer Verlag, p. 629-639 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1893).

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