| Issue Date | Title | Author(s) |
| 141 | 2020 | Loyalty program using Blockchain | Sönmeztürk, Osman; Ayav, Tolga ; Erten, Yusuf Murat |
| 142 | 2010 | Making accident data compatible with ITS-based traffic management: Turkish case | Duvarcı, Yavuz ; Geçer Sargın, Feral ; Kumova, Bora İsmail ; Çınar, Ali Kemal; Selvi, Ömer |
| 143 | 2010 | A maximum degree self-stabilizing spanning tree algorithm | Çokuslu, Deniz ; Erciyeş, Kayhan ; Hameurlain, Abdelkader |
| 144 | 2019 | Measureability of functional size in agile software projects: Multiple case studies with COSMIC FSM | Hacaloğlu, Tuna; Demirörs, Onur |
| 145 | Jul-2014 | Measurement of JavaScript applications' readiness to untrusted data using Bayesian Networks | Ufuktepe, Ekincan |
| 146 | 2018 | Measuring change in software projects through an earned value lens | Efe, Pınar; Demirörs, Onur ; Benetallah, Boualem |
| 147 | 2015 | Message from TAIN symposium organizing committee | Tuğlular, Tuğkan ; Cai, Y.; Dustdar, S.; Yamazaki, K. |
| 148 | 2012 | Message from the MVV workshop chairs: The Fourth international workshop on model-based verification & validation | Tuğlular, Tuğkan ; Linschulte, Michael |
| 149 | Sep-2017 | Message from the NCIW program co-chairs | Tuğlular, Tuğkan ; Yamazaki, Katsuyuki |
| 150 | 2020 | Mikroservis mimarisinde analiz ve tasarım: Türkiye’den bir inceleme | Bilgin, Burak; Ünlü, Hüseyin; Demirörs, Onur |
| 151 | 2020 | Minimizing information loss in shared data: Hiding frequent patterns with multiple sensitive support thresholds | Bostanoğlu, Belgin Ergenç ; Öztürk, Ahmet Cumhur |
| 152 | 2016 | Mobil nesne takibinin hızlandırılması | Özuysal, Mustafa |
| 153 | Sep-2015 | Model based testing of VHDL programs | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 154 | May-2015 | Model checker-based delay fault testing of sequential circuits | Takan, Savaş ; Güler, Berkin; Ayav, Tolga |
| 155 | 2012 | A model of distributed key generation for industrial control systems | Kılınç, Görkem; Fovino, Igor Nai; Ferigato, Carlo; Koltuksuz, Ahmet |
| 156 | Jul-2015 | Model-based contract testing of graphical user interfaces | Tuğlular, Tuğkan ; Linschulte, Michael; Belli, Fevzi ; Müftüoğlu, Arda |
| 157 | 2010 | Model-based higher-order mutation analysis | Belli, Fevzi ; Güler, Nevin; Hollmann, Axel; Suna, Gökhan; Yıldız, Esra |
| 158 | May-2016 | Model-based mutation testing-approach and case studies | Belli, Fevzi ; Budnik, Christof J.; Hollmann, Axel; Tuğlular, Tuğkan ; Wong, W. Eric |
| 159 | 2018 | Model-based selective layer-centric testing | Belli, Fevzi ; Güler Dinçer, Nevin; Linschulte, Michael; Tuğlular, Tuğkan |
| 160 | Jul-2020 | A model-based test generation approach for agile software product lines | Öztürk, Dilek |
