Browsing PhD Dissertations by Author "Sözer, Hasan"
Now showing items 1-6 of 6
-
Automated maintenance support for data-tier software
Data-tier software includes the data model and business logic of enterprise systems, and it is subject to long-term maintenance. Even though the user interface of these systems can be completely replaced, data-tier software ... -
Automated refinement of models for model-based testing
Gebizli, Ceren Şahin (2017-07)Model-Based Testing (MBT) enables automatic generation of test cases based on models of a system. It has been successfully applied in various application domains, each of which might introduce specific challenges. In this ... -
Runtime specialization and autotuning of sparse matrix-vector multiplication
Ylmaz, Buse (2015-12)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this thesis, we present a purpose-built compiler to quickly specialize Sparse Matrix-Vector Multiplication ... -
Runtime verification of internet of things using complex-event processing (RECEP)
İnçki, Koray (2018-06)Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ... -
Scalable analysis of large-scale system logs for anomaly detection
Astekin, Merve (2019-05-30)System logs provide information regarding the status of system components and various events that occur at runtime. This information can support fault detection, diagnosis and prediction activities. However, it is a ... -
A semantic policy framework for internet of things
Göynügür, Emre (2018-10-31)With the proliferation of technology, connected and interconnected devices (henceforth referred to as IoT) are fast becoming a viable option to automate the day-to-day interactions of users with their environments. However, ...
Share this page