Research Areas


  • Programming language design and semantics
  • Program analysis and transformation
  • Runtime program generation
  • Domain-specific languages
  • Type theory
  • Architectural styles and design patterns
  • Service-oriented architectures
  • Software fault tolerance
  • Evaluation and optimization of software quality attributes
  • Distributed and adaptive systems

Selected Recent Publications


  • Ceren Sahin Gebizli, Hasan Sozer,
    Automated Refinement of Models for Model-based Testing using Exploratory Testing.
    Software Quality Journal, Vol. 25, No. 3, 2017.

  • Hasan Sozer, Ceren Sahin Gebizli,
    Model-based testing of digital TVs: an industry-as-laboratory approach.
    Software Quality Journal, published online, DOI: 10.1007/s11219-016-9321-y, June 2016.

  • Gun Karagoz, Hasan Sozer,
    Reproducing failures based on semiformal failure scenario descriptions.
    Software Quality Journal, Vol. 25, No. 1, 2017.

  • Tolga Ayav, Hasan Sozer,
    Identifying critical architectural components with spectral analysis of fault trees.
    Applied Soft Computing, Vol. 49, 2016.

  • Buse Yilmaz, Baris Aktemur, Maria Garzaran, Sam Kamin, Furkan Kirac,
    Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication.
    ACM Transactions on Architecture and Code Optimization (TACO). Volume 13, Issue 1, Article 5 (March 2016)

  • Hasan Sozer,
    Integrated Static Code Analysis and Runtime Verification.
    Software: Practice and Experience, Vol. 45, No. 10, pages 1359-1373, October 2015.

  • Sam Kamin, Maria Garzaran, Baris Aktemur, Danqing Xu, Buse Yilmaz, Zhongbo Chen,
    Optimization by Runtime Specialization for Sparse Matrix-Vector Multiplication.
    GPCE 2014: The 13th International Conference on Generative Programming: Concepts & Experiences, Västerås, Sweden.

  • Koray Gulcu, Hasan Sozer, Baris Aktemur, Ali Ozer Ercan,
    Fault Masking as a Service.
    Software: Practice and Experience, Vol. 44, No. 7, pages 835-854, July 2014.



Copyright © 2011 Ozu SRL