Achieving naturalness in runtime enforcement

Life is a composition of events, a composition that is guided by our dreams.No matter how big and unreachable our dreams seem to be, the events of our life are composed in such a way that they come true, with the help of several people.Studying till Ph.D. level was an old dream of mine.During this journey I encountered several people who played a significant role to convert my dream to reality.I would like to thank all these people at this very important stage of my life.In the first place, I must thank Prof. Mehmet Aksit who converted my dream to reality by offering me a Ph.D. position and by accompanying me in every step of this long journey.Our frequent meetings in which Mehmet was constantly inspiring me and was sharing his knowledge with me, our long paper-writing meetings which we used to have our dinner at McDonald's and until 2 or 3 o'clock in the morning Mehmet was patiently teaching me that there is a huge difference between writing poems and technical papers, our midnight meetings about the core concepts of the thesis, our long thesis-writing nights when we were correcting the thesis in Starbucks, our conference trips where we were writing papers in taxi, airport and airplane, the opportunities that Mehmet created for me to meet excellent researchers all around the world, our frequent discussions about Rumi and his poems, all and all fill my eyes with the tears of gratitude.I am also very thankful to the family of Mehmet for all the attention that they gave me during last four years.In the first year of my Ph.D., I had the chance to work with Dr. Bedir Tekinerdogan as my daily supervisor.I appreciate his contribution to my research, and I wish him the best of success in his life in Turkey.In the end of my second year, Dr. Christoph Bockisch joined the group and kindly offered his help to us.His concrete view on the subjects played an important role in achieving and publishing concrete results.I am also very thankful to him for this effort.ix I learned about runtime enforcement and its application in TRADER during the time I was closely working with Prof. Jozef Hooman.I