20002022

Research activity per year

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

Search results

  • 2000

    Why so many temporal logics climb up the trees

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

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

  • 2001

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

    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

  • 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

  • 2007

    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

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

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

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

    Open Access
  • Towards trace visualization and exploration for reactive systems

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

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

  • 2008

    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

  • Hierarchical inter-object traces for specification mining

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

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

  • 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
  • Some results on the expressive power and complexity of LSCs

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

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

  • Specification mining of symbolic scenario-based models

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

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

  • 2009

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

  • 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

  • Polymorphic scenario-based specification models: Semantics and applications

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

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

  • Using model-based traces as runtime models

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

    Research output: Contribution to specialist publicationArticle

  • Visual Formalisms

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

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

  • 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

  • PlayGo: Towards a comprehensive tool for scenario based programming

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

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

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

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

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

  • 2011

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

  • 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

  • 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

  • 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

  • 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

  • Polymorphic scenario-based specification models: Semantics and applications

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

  • 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

  • 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

  • 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

  • Transactions on Aspect-Oriented Software Development XI

    Chiba, S. (ed.), Tanter, E. (ed.), Bodden, E. (ed.), Maoz, S. (ed.) & Kienzle, J. (ed.), 2014, 1 ed. Berlin, Heidelberg: Springer Berlin Heidelberg. 263 p. (Lecture Notes in Computer Science; vol. 8400)

    Research output: Book/ReportBookpeer-review

  • Using aspects for testing of embedded software: Experiences from two industrial case studies

    Metsä, J., Maoz, S., Katara, M. & Mikkonen, T., Jun 2014, In: Software Quality Journal. 22, 2, p. 185-213 29 p.

    Research output: Contribution to journalArticlepeer-review