20002022

Research activity per year

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

Search results

  • 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

  • A compiler for multimodal scenarios: Transforming LSCs into aspectJ

    Maoz, S., Harel, D. & Kleinbort, A., Sep 2011, In: ACM Transactions on Software Engineering and Methodology. 20, 4, 18.

    Research output: Contribution to journalArticlepeer-review

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

  • 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

  • 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

  • An infinite hierarchy of temporal logics over branching time

    Rabinovich, A. & Maoz, S., 15 Dec 2001, In: Information and Computation. 171, 2, p. 306-332 27 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • An operational semantics for activity diagrams using SMV

    Maoz, S., Ringert, J. O. & Rumpe, B., 12 Jul 2011, Aachen: RWTH Aachen, Department of Computer Science. (Aachener Informatik-Berichte; vol. 2011,7)(Technical report / Department of Computer Science, RWTH Aachen)

    Research output: Book/ReportReportpeer-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

  • Assert and negate revisited: Modal semantics for UML sequence diagrams

    Harel, D. & Maoz, S., May 2008, In: Software and Systems Modeling. 7, 2, p. 237-252 16 p.

    Research output: Contribution to journalArticlepeer-review

  • Assert and negate revisited: Modal semantics for uml sequence diagrams

    Harel, D. & Maoz, S., 2006, Proceedings of the 2006 Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, SCESM 2006, Co-Located with the 28th International Conference on Software Engineering, ICSE 2006. p. 13-19 7 p. (Proceedings - International Conference on Software Engineering).

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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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 journalConference articlepeer-review

  • 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

  • Dynamic Update for Synthesized GR(1) Controllers

    Amram, G., Maoz, S., Segall, I. & Yossef, M., 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. IEEE Computer Society, p. 786-797 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

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

    Open Access
  • Efficient Algorithms for Omega-Regular Energy Games

    Amram, G., Maoz, S., Pistiner, O. & Ringert, J. O., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-181 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13047 LNCS).

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

  • From multi-modal scenarios to code: Compiling LSCs into aspectJ

    Maoz, S. & Harel, D., 2006, Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering. p. 219-230 12 p. 1181802. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

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

  • GR(1)*: GR(1) specifications extended with existential guarantees

    Amram, G., Maoz, S. & Pistiner, O., 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

  • GR(1)*: GR(1) specifications extended with existential guarantees

    Amram, G., Maoz, S. & Pistiner, O., Aug 2021, In: Formal Aspects of Computing. 33, 4-5, p. 729-761 33 p.

    Research output: Contribution to journalArticlepeer-review

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

  • 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

  • Hierarchical inter-object traces for specification mining

    Lo, D. & Maoz, S., 2008, p. 761-762. 2 p.

    Research output: Contribution to conferencePaperpeer-review

  • 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

  • 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

  • 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

  • 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

  • Mining hierarchical scenario-based specifications

    Lo, D. & Maoz, S., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 359-370 12 p. 5431759. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

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

  • Mining modal scenario-based specifications from execution traces of reactive systems

    Lo, D., Maoz, S. & Khoo, S. C., 2007, ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering. p. 465-468 4 p. (ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering).

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

  • Mining modal scenarios from execution traces

    Lo, D., Maoz, S. & Khoo, S. C., 2007, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2007 - Companion. p. 777-778 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Mining scenario-based specifications with value-based invariants

    Lo, D. & Maoz, S., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 755-756 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Mining scenario-based triggers and effects

    Lo, D. & Maoz, S., 2008, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings. p. 109-118 10 p. 4639314. (ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings).

    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

  • Model-based testing using LSCs and S2A

    Maoz, S., Metsä, J. & Katara, M., 2009, Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings. p. 301-306 6 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

  • Model-Based traces

    Maoz, S., 2009, Models in Software Engineering - Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers. p. 109-119 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5421).

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

  • 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

  • Object composition in scenario-based programming

    Atir, Y., Harel, D., Kleinbort, A. & Maoz, S., 2008, Fundamental Approaches to Software Engineering - 11th International Conference, FASE 2008 - Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Proceedings. p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4961 LNCS).

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

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

  • 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

  • On tracing reactive systems

    Maoz, S. & Harel, D., Oct 2011, In: Software and Systems Modeling. 10, 4, p. 447-468 22 p.

    Research output: Contribution to journalArticlepeer-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