20002024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

    Gorenstein, A., Maoz, S. & Ringert, J. O., 6 Feb 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. IEEE Computer Society, (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • MiniMon: Minimizing Android Applications with Intelligent Monitoring-based Debloating

    Liu, J., Zhang, Z., Hu, X., Thung, F., Maoz, S., Gao, D., Toch, E., Zhao, Z. & Lo, D., 2024, Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024. IEEE Computer Society, p. 2542-2554 13 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • Towards Speedy Permission-Based Debloating for Android Apps

    Thung, F., Liu, J., Rattanukul, P., Maoz, S., Toch, E., Gao, D. & Lo, D., 14 Apr 2024, Proceedings - 2024 IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2024. Association for Computing Machinery, Inc, p. 84-87 4 p. (Proceedings - 2024 IEEE/ACM 11th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2024).

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

    Open Access
  • 2023

    Anti-Patterns (Smells) in Temporal Specifications

    Ma’ayan, D., Maoz, S. & Ringert, J. O., 2023, Proceedings - 2023 ACM/IEEE 45th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2023. IEEE Computer Society, p. 13-18 6 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
    1 Scopus citations
  • AutoDebloater: Automated Android App Debloating

    Liu, J., Hu, X., Thung, F., Maoz, S., Toch, E., Gao, D. & Lo, D., 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 2090-2093 4 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

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

    Open Access
  • Triggers for Reactive Synthesis Specifications

    Amram, G., Ma'ayan, D., Maoz, S., Pistiner, O. & Ringert, J. O., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 729-741 13 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
    2 Scopus citations
  • Using Reactive Synthesis: An End-to-End Exploratory Case Study

    Ma'ayan, D. & Maoz, S., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 742-754 13 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
    1 Scopus citations
  • Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

    Shalom, R. & Maoz, S., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 221-232 12 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • 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
    1 Scopus citations
  • 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
    1 Scopus citations
  • 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

    Open Access
    2 Scopus citations
  • 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

    4 Scopus citations
  • Unrealizable cores for reactive systems specifications

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

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

    Open Access
    5 Scopus citations
  • 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

    3 Scopus citations
  • 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

    Open Access
    14 Scopus citations
  • 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

    Open Access
    9 Scopus citations
  • 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

    8 Scopus citations
  • 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

    5 Scopus citations
  • 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

    Open Access
    11 Scopus citations
  • 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

    Open Access
    30 Scopus citations
  • 2018

    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

    8 Scopus citations
  • 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

    Open Access
    18 Scopus citations
  • 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

    Open Access
    17 Scopus citations
  • 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

    Open Access
    21 Scopus citations
  • 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

    Open Access
    16 Scopus citations
  • 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

    8 Scopus citations
  • 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

    Open Access
    3 Scopus citations
  • 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

    28 Scopus citations
  • 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

    8 Scopus citations
  • 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

    Open Access
    24 Scopus citations
  • 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

    4 Scopus citations
  • 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

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

    6 Scopus citations
  • 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

    Open Access
    64 Scopus citations
  • 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

    14 Scopus citations
  • 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

    6 Scopus citations
  • 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

    1 Scopus citations
  • 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
    2 Scopus citations
  • 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

    5 Scopus citations
  • 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

    19 Scopus citations
  • 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

    Open Access
    29 Scopus citations
  • 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

    Open Access
    33 Scopus citations
  • 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

    2 Scopus citations
  • 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

    30 Scopus citations
  • 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

    6 Scopus citations
  • 2011

    ADDiff: Semantic differencing for activity diagrams

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, SIGSOFT/FSE'11 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering. p. 179-189 11 p. (SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering).

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

    56 Scopus citations
  • A manifesto for semantic model differencing

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers. p. 194-203 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6627 LNCS).

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

    49 Scopus citations
  • AspectLTL: An aspect language for LTL specifications

    Maoz, S. & Sa'ar, Y., 2011, Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11. p. 19-30 12 p. (Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD.11).

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

    29 Scopus citations