No photo of Shahar Maoz

View Scopus Profile

Shahar Maoz

Professor

Former affiliations
 https://orcid.org/0000-0002-4022-5349
20002025

Research activity per year

Search results

  • 2025

    Fast Attack Graph Defense Localization via Bisimulation

    Busany, N., Shalom, R., Klein, D. & Maoz, S., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 245-263 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    2 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 proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations
  • 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 proceeding › Conference contribution › peer-review

    Open Access
    3 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    3 Scopus citations

  • 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 journal › Article › peer-review

    Open Access
    1 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 proceeding › Conference contribution › peer-review

    4 Scopus citations

  • 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 journal › Article › peer-review

    Open Access
    28 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 proceeding › Conference contribution › peer-review

    Open Access
    7 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • 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 journal › Article › peer-review

    Open Access
    17 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    12 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 proceeding › Conference contribution › peer-review

    Open Access
    31 Scopus citations
  • 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 journal › Article › peer-review

    17 Scopus citations

  • 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 proceeding › Conference contribution › peer-review

    10 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 proceeding › Conference contribution › peer-review

    Open Access
    19 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 proceeding › Conference contribution › peer-review

    Open Access
    18 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    19 Scopus citations

  • 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 journal › Conference article › peer-review

    3 Scopus citations

  • 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 journal › Conference article › peer-review

    Open Access
    3 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 proceeding › Conference contribution › peer-review

    9 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 proceeding › Conference contribution › peer-review

    Open Access
    4 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 proceeding › Conference contribution › peer-review

    29 Scopus citations

  • 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 journal › Conference article › peer-review

    5 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    9 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 proceeding › Conference contribution › peer-review

    Open Access
    24 Scopus citations

  • 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 journal › Conference article › peer-review

    Open Access
    4 Scopus citations

  • 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 journal › Conference article › peer-review

    Open Access
    19 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    68 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    7 Scopus citations

  • 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 proceeding › Chapter › peer-review

    3 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations