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


  • Merve Astekin, Harun Zengin, Hasan Sozer,
    DILAF: A Framework for Distributed Analysis of Large-Scale System Logs for Anomaly Detection.
    Software: Practice and Experience, DOI:10.1002/spe.2653, 2018.

  • Ceren Sahin Gebizli, Abdulhadi Kirkici, Hasan Sozer,
    Increasing test efficiency by risk-driven model-based testing.
    Journal of Systems and Software, Vol. 144, pp. 356-365, 2018.

  • Furkan Kirac, Baris Aktemur, Hasan Sozer,
    VISOR: A fast image processing pipeline with scaling and translation invariance for test oracle automation of visual output systems.
    Journal of Systems and Software, Vol. 136, pp. 266-277, 2018.

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

  • Hasan Sozer, Ceren Sahin Gebizli,
    Model-based testing of digital TVs: an industry-as-laboratory approach.
    Software Quality Journal, Vol. 25, No. 4, pp. 1185-1202, 2017.

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

  • Tolga Ayav, Hasan Sozer,
    Identifying critical architectural components with spectral analysis of fault trees.
    Applied Soft Computing, Vol. 49, pp. 1270-1282, 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