20002022

Research activity per year

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

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

  • 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

  • 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

  • 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

    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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • CD2Alloy: Class diagrams analysis using alloy revisited

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, Model Driven Engineering Languages and Systems - 14th International Conference, MODELS 2011, Proceedings. p. 592-607 16 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

  • CDDiff: Semantic differencing for class diagrams

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 230-254 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

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

  • Modal object diagrams

    Maoz, S., Ringert, J. O. & Rumpe, B., 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 281-305 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

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

  • 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

  • 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

  • 2010

    Accelerating smart play-out

    Harel, D., Kugler, H., Maoz, S. & Segall, I., 2010, SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 477-488 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5901 LNCS).

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

  • LM: A miner for scenario-based specifications

    Doan, T. A., Lo, D., Maoz, S. & Khoo, S. C., 2010, ICSE 2010 - Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. p. 319-320 2 p. (Proceedings - International Conference on Software Engineering; vol. 2).

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

  • On the power of play-out for scenario-based programs

    Harel, D., Kantor, A. & Maoz, S., 2010, Concurrency, Compositionality, and Correctness - Essays in Honor of Willem-Paul de Roever. Dams, D., Hannemann, U. & Steffen, M. (eds.). p. 207-220 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5930 LNCS).

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