Detecting Temporal Logic Predicates on the Happened-Before Model. - Alper Sen 001; Vijay K. Garg (IPDPS, 2002)

On Checking Whether a Predicate Definitely Holds. - Alper Sen 001; Vijay K. Garg (FATES, 2003)

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. - Alper Sen 001; Vijay K. Garg (OPODIS, 2003)

Partial Order Trace Analyzer (POTA) for Distributed Programs. - Alper Sen 001; Vijay K. Garg (RV@CAV, 2003)

Finding Satisfying Global States: All for One and One for All. - Neeraj Mittal; Alper Sen 001; Vijay K. Garg; Ranganath Atreya (IPDPS, 2004)

Formal Verification of a System-on-Chip Using Computation Slicing. - Alper Sen 001; Vijay K. Garg; Jacob A. Abraham; Jayanta Bhadra (ITC, 2004)

Establishing latch correspondence for embedded circuits of PowerPC microprocessors. - Himyanshu Anand; Jayanta Bhadra; Alper Sen 001; Magdy S. Abadir; Kenneth G. Davis (HLDVT, 2005)

Error Diagnosis in Equivalence Checking of High Performance Microprocessors. - Alper Sen 001 (V&D@FLoC, 2006)

Runtime Verification of k-Mutual Exclusion for SoCs. - Selma Ikiz; Alper Sen 001 (MTV, 2007)

Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. - Scott Little; Alper Sen 001; Chris J. Myers (MTV, 2007)

Formal Verification of Simulation Traces Using Computation Slicing. - Alper Sen 001; Vijay K. Garg (IEEE Trans. Computers, 2007)

Solving Computation Slicing Using Predicate Detection. - Neeraj Mittal; Alper Sen 001; Vijay K. Garg (IEEE Trans. Parallel Distributed Syst., 2007)

Predictive runtime verification of multi-processor SoCs in SystemC. - Alper Sen 001; Vinit Ogale; Magdy S. Abadir (DAC, 2008)

Mutation Operators for Concurrent SystemC Designs. - Alper Sen 001 (MTV, 2009)

Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems. - Dogan Fennibay; Arda Yurdakul; Alper Sen 001 (CIT, 2010)

Coverage metrics for verification of concurrent SystemC designs using mutation testing. - Alper Sen 001; Magdy S. Abadir (HLDVT, 2010)

Parallel Cycle Based Logic Simulation Using Graphics Processing Units. - Alper Sen 001; Baris Aksanli; Murat Bozkurt; Melih Mert (ISPDC, 2010)

Using Graphics Processing Units for Logic Simulation of Electronic Designs. - Alper Sen 001; Baris Aksanli; Murat Bozkurt (MTV, 2010)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers; Alper Sen 001 (Int. J. Found. Comput. Sci., 2010)

Verification Tests for MCAPI. - Alper Sen 001; Etem Deniz (MTV, 2011)

Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units. - Alper Sen 001; Baris Aksanli; Murat Bozkurt (Int. J. Parallel Program., 2011)

Special Issue on the 9th International Symposium on Parallel and Distributed Computing. - Alper Sen 001; Can C. Özturan (Sci. Program., 2011)

Concurrency-oriented verification and coverage of system-level designs. - Alper Sen 001 (ACM Trans. Design Autom. Electr. Syst., 2011)

Generation of TLM testbenches using mutation testing. - Marcelo Sousa; Alper Sen 001 (CODES+ISSS, 2012)

Verification coverage of embedded multicore applications. - Etem Deniz; Alper Sen 001; Jim Holt (DATE, 2012)

A Verifiable High Level Data Path Synthesis Framework. - Gorker Alp Malazgirt; Ender Culha; Alper Sen 001; I. Faik Baskaya; Arda Yurdakul (DSD, 2012)

Using haloes in mixed-signal assertion based verification. - Dogan Ulus; Alper Sen 001 (HLDVT, 2012)

Using software architectural patterns for synthetic embedded multicore benchmark development. - Etem Deniz; Alper Sen 001; Jim Holt; Brian Kahne (IISWC, 2012)

High-Level verifiable data-path Synthesis for DSP systems. - Ender Culha; Gorker Alp Malazgirt; I. Faik Baskaya; Alper Sen 001; Arda Yurdakul (SIU, 2012)

A Heterogeneous Simulation and Modeling Framework for Automation Systems. - Dogan Fennibay; Arda Yurdakul; Alper Sen 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Verification and coverage of message passing multicore applications. - Etem Deniz; Alper Sen 001; Jim Holt (ACM Trans. Design Autom. Electr. Syst., 2012)

Integrating circuit analyses for assertion-based verification of programmable AMS circuits. - Dogan Ulus; Alper Sen 001; I. Faik Baskaya (FDL, 2013)

Yazılım Depoları Madenciliği ile Endüstriyel Yazılım Evrimi İncelemesi. - Serkan Kirbas; Alper Sen 001 (UYMS, 2013)

Analog layer extensions for analog/mixed-signal assertion languages. - Dogan Ulus; Alper Sen 001; I. Faik Baskaya (VLSI-SoC, 2013)

LLVMVF: A Generic Approach for Verification of Multicore Software. - Marcelo Sousa; Alper Sen 001 (J. Electron. Test., 2013)

Fast System Level Benchmarks for Multicore Architectures. - Alper Sen 001; Gökçehan Kara; Etem Deniz; Smaïl Niar (DSD, 2014)

The effect of evolutionary coupling on software defects: an industrial case study on a legacy system. - Serkan Kirbas; Alper Sen 001; Bora Caglayan; Ayse Bener; Rasim Mahmutogullari (ESEM, 2014)

Hybrid dynamic data race detection in systemC. - Alper Sen 001; Onder Kalaci (FDL, 2014)

Değişiklik Bağlaşımı ve Yazılım Hataları İlişkisinin İncelenmesi. - Serkan Kirbas; Alper Sen 001; Bora Çaglayan; Ayse Bener (UYMS, 2014)

Kullanıcı Tarafında eBelge Oluşturma ve Yazdırma Yazılım Deneyimleri. - Salih Bayar; Mehmet Görkem Ülkar; Alper Sen 001 (UYMS, 2015)

Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test. - Yavuz Köroglu; Alper Sen 001 (UYMS, 2015)

Thread-level synthetic benchmarks for multicore systems. - Alper Sen 001; Etem Deniz (Microprocess. Microsystems, 2015)

MINIME: Pattern-Aware Multicore Benchmark Synthesizer. - Etem Deniz; Alper Sen 001; Brian Kahne; Jim Holt (IEEE Trans. Computers, 2015)

Defect prediction on a legacy industrial software: a case study on software with few defects. - Yavuz Köroglu; Alper Sen 001; Doruk Kutluay; Akin Bayraktar; Yalcin Tosun; Murat Çinar; Hasan Kaya (CESI@ICSE, 2016)

Design of a Modified Concolic Testing Algorithm with Smaller Constraints. - Yavuz Köroglu; Alper Sen 001 (CSTVA@ISSTA, 2016)

e-Arsiv Fatura icin Aksakliga Dayanikli Dagitik bir Sistem Tasarimi. - Salih Bayar; Alper Sen 001 (UYMS, 2016)

Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications. - Etem Deniz; Alper Sen 001 (Int. J. Parallel Program., 2016)

An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation. - Muharrem Orkun Saglamdemir; Gönenç Berkol; Günhan Dündar; Alper Sen 001 (Integr., 2016)

MINIME-GPU: Multicore Benchmark Synthesizer for GPUs. - Etem Deniz; Alper Sen 001 (ACM Trans. Archit. Code Optim., 2016)

MINIME-validator: Validating hardware with synthetic parallel testcases. - Alper Sen 001; Etem Deniz; Brian Kahne (DATE, 2017)

Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation). - Hasan Ferit Eniser; Alper Sen 001; Suleyman Olcay Polat (UYMS, 2017)

Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele Karma Yontem(Combining Model-Based and Random Approaches to Improve Crash Detection in Android). - Yavuz Köroglu; Mustafa Efendioglu; Alper Sen 001 (UYMS, 2017)

Evolutionary coupling measurement: Making sense of the current chaos. - Serkan Kirbas; Tracy Hall; Alper Sen 001 (Sci. Comput. Program., 2017)

The relationship between evolutionary coupling and defects in large industrial software. - Serkan Kirbas; Bora Caglayan; Tracy Hall; Steve Counsell; David Bowes; Alper Sen 001; Ayse Bener (J. Softw. Evol. Process., 2017)

TCM: Test Case Mutation to Improve Crash Detection in Android. - Yavuz Köroglu; Alper Sen 001 (FASE, 2018)

Testing service oriented architectures using stateful service visualization via machine learning. - Hasan Ferit Eniser; Alper Sen 001 (AST@ICSE, 2018)

QBE: QLearning-Based Exploration of Android Applications. - Yavuz Köroglu; Alper Sen 001; Ozlem Muslu; Yunus Mete; Ceyda Ulker; Tolga Tanriverdi; Yunus Donmez (ICST, 2018)

Fancymock: creating virtual services from transactions. - Hasan Ferit Eniser; Alper Sen 001; Suleyman Olcay Polat (SAC, 2018)

The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract). - Serkan Kirbas; Bora Caglayan; Tracy Hall; Steve Counsell; David Bowes; Alper Sen 001; Ayse Bener (SANER, 2018)

Hybrid Data Race Detection for Multicore Software. - Alper Sen 001; Onder Kalaci (Comput. Informatics, 2018)

Analog behavioral equivalence boundary computation under the effect of process variations. - Muharrem Orkun Saglamdemir; Günhan Dündar; Alper Sen 001 (Integr., 2018)

DeepFault: Fault Localization for Deep Neural Networks. - Hasan Ferit Eniser; Simos Gerasimou; Alper Sen 001 (FASE, 2019)

Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications. - Yavuz Köroglu; Alper Sen 001 (CoRR, 2019)

Bug Prediction of SystemC Models Using Machine Learning. - Mustafa Efendioglu; Alper Sen 001; Yavuz Köroglu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

A Cluster Based System for Analyzing Ethereum Blockchain Transaction Data. - Baran Kiliç; Can C. Özturan; Alper Sen 001 (BCCA, 2020)

Importance-driven deep learning system testing. - Simos Gerasimou; Hasan Ferit Eniser; Alper Sen 001; Alper Çakan (ICSE, 2020)

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. - Samet Demir; Hasan Ferit Eniser; Alper Sen 001 (AISafety@IJCAI, 2020)

Machine Learning Based Bug Prediction Engine For Smart Contracts. - Ahmet Gül; Yavuz Köroglu; Alper Sen 001 (UYMS, 2020)

Automated Functional Test Generation Practice for a Large-Scale Android Application. - Yavuz Köroglu; Alper Sen 001; Abdurrahman Akin (UYMS, 2020)

Testing OpenAPI Banking Payment System with Model Based Test Approach. - Ahmet Sapan; Bilgehan Öztekin; Ersin Ünsal; Alper Sen 001 (UYMS, 2020)

Virtualization of stateful services via machine learning. - Hasan Ferit Eniser; Alper Sen 001 (Softw. Qual. J., 2020)

Improving Robustness of Deep Learning Systems with Fast and Customizable Adversarial Data Generation. - Mehmet Melih Arici; Alper Sen 001 (AITest, 2021)

Functional test generation from UI test scenarios using reinforcement learning for android applications. - Yavuz Köroglu; Alper Sen 001 (Softw. Test. Verification Reliab., 2021)

MBET: Resilience Improvement Method for DNNs. - Abdullah Murat Buldu; Alper Sen 001; Karthik Swaminathan; Brian Kahne (AITest, 2022)

Fraud Detection in Blockchains using Machine Learning. - Baran Kiliç; Alper Sen 001; Can C. Özturan (BCCA, 2022)

Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay. - Yavuz Köroglu; Alper Sen 001 (IEEE Access, 2022)

Parallel analysis of Ethereum blockchain transaction data using cluster computing. - Baran Kiliç; Can C. Özturan; Alper Sen 001 (Clust. Comput., 2022)

DeepDTS: Diverse Test Selection Method for Deep Neural Networks. - Mert Dedekoy; Alper Sen 001 (QRS Companion, 2024)

Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay. - Yavuz Köroglu; Alper Sen 001 (IEEE DataPort, 2024)