Prof. Dr. Shahar Maoz

page.title
Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

maoz@se-rwth.de


Information:

Shahar Maoz is an Associate Professor at the School of Computer Science in Tel Aviv University, where he heads the Software Modeling Laboratory. From 2010 to 2012 he was post-doc research fellow in RWTH Aachen University, Germany, with a postdoctoral fellowship from the Minerva Foundation. In 2015-2016 he spent a sabbatical at MIT CSAIL. Shahar’s research interests are in software engineering, specifically in the use of models and formal methods for software evolution, model inference, testing, and synthesis. His work has been published in top software engineering and modeling conferences and journals. He is a recipient of an ERC Starting Grant for the development of synthesis technologies for reactive systems software engineers (project SYNTECH).

Publications:

  1. [BMR+18]
    V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern:
    In: Software Engineering und Software Management 2018 (SE’18), Volume P-279, pp. 97-99, GI-Edition-Lecture Notes in Informatics (LNI), Bonner Köllen Verlag, Mar. 2018.
  2. [MMR+17b]
    S. Maoz, F. Mehlan, J. O. Ringert, B. Rumpe, M. von Wenckstern:
    In: Proceedings of MODELS 2017. Workshop ModComp, CEUR 2019, Sep. 2017.
  3. [BMR+17]
    V. Bertram, S. Maoz, J. O. Ringert, B. Rumpe, M. von Wenckstern:
    In: Conference on Model Driven Engineering Languages and Systems (MODELS’17), pp. 167-177, IEEE, Sep. 2017.
  4. [KMRR17]
    O. Kautz, S. Maoz, J. O. Ringert, B. Rumpe:
    RWTH Aachen University, AIB-2017-06, Technical Report, Jul. 2017.
  5. [MRRW16]
    S. Maoz, J. O. Ringert, B. Rumpe, M. v. Wenckstern:
    In: Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp’16), Volume 1723, pp. 19-24, CEUR Workshop Proceedings, Oct. 2016.
  6. [MRR15]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Softwareengineering & Management 2015, Volume P-239, pp. 110-111, GI-Edition-Lecture Notes in Informatics (LNI), Bonner Köllen Verlag, 2015.
  7. [MRR14b]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: International Conference on Software Engineering (ICSE’14), pp. 95-105, ACM, 2014.
  8. [MRR14a]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Software Engineering 2014, W. Hasselbring, N. C. Ehmke (Eds.), Volume 227, pp. 63-64, LNI, Gesellschaft für Informatik, Köllen Druck+Verlag GmbH, 2014.
  9. [MRR13]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’13), Meyer, B. and Baresi, L. and Mezini, M. (Eds.), pp. 444-454, ACM New York, 2013.
  10. [MRR12]
    S. Maoz, J. Ringert, B. Rumpe:
    In: Softwaretechnik-Trends, Volume 32, Gesellschaft für Informatik e.V., Nov. 2012.
  11. [MS12]
    S. Maoz, Y. Sa’ar:
    In: Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, Mar. 2012.
  12. [LM12]
    D. Lo, S. Maoz:
    In: Automated Software Engineering, pp. 1-36, Springer Netherlands, 2012.
  13. [MRR11g]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: ME 2011 - Models and Evolution, B. Schätz, D. Deridder, A. Pierantonio, J. Sprinkle, D. Tamzalit (Eds.), Oct. 2011.
  14. [MRR11a]
    S. Maoz, J. O. Ringert, B. Rumpe:
    RWTH Aachen University, AIB-2011-07, Technical Report, Aachen, Germany, Jul. 2011.
  15. [MRR11b]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: ECOOP 2011 - Object-Oriented Programming, M. Mezini (Eds.), pp. 230-254, Springer Berlin Heidelberg, 2011.
  16. [MRR11f]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Conference on Model Driven Engineering Languages and Systems (MODELS’11), pp. 153-167, LNCS 6981, Springer, 2011.
  17. [MRR11e]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Conference on Model Driven Engineering Languages and Systems (MODELS’11), pp. 592-607, LNCS 6981, Springer, 2011.
  18. [MRR11d]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Conference on Foundations of Software Engineering (ESEC/FSE ’11), pp. 179-189, ACM, 2011.
  19. [MRR11c]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Object-Oriented Programming Conference (ECOOP’11), pp. 281-305, LNCS 6813, Springer, 2011.
  20. [MRR10]
    S. Maoz, J. O. Ringert, B. Rumpe:
    In: Proceedings Int. Workshop on Models and Evolution (ME’10), pp. 194-203, LNCS 6627, Springer, 2010.
  21. [HMSB10]
    D. Harel, S. Maoz, S. Szekely, D. Barkan:
    In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE’10), C. Pecheur, et al. (Eds.), pp. 359-360, ACM, 2010.
  22. [LM10]
    D. Lo, S. Maoz:
    In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE’10), C. Pecheur, et al. (Eds.), pp. 387-396, ACM, 2010.
  23. [DLMK10]
    T. A. Doan, D. Lo, S. Maoz, S.- C. Khoo:
    In: Proceedings of the 32nd IEEE/ACM International Conference on Software Engineering (ICSE’10), J. Kramer, et al. (Eds.), Volume 2, pp. 319-320, ACM, 2010.