Alper Sen

Cited by

	All	Since 2017
Citations	842	369
h-index	18	11
i10-index	30	12

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202211 25 13 13 30 42 15 20 32 54 53 41 40 58 47 58 63 90 108 3

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Vijay K. GargCullen Trust Endowed Professor, University of Texas at AustinVerified email at ece.utexas.edu
Etem DenizPhD / Chief Researcher, Computer Engineering, Bogazici University / TUBITAK BILGEMVerified email at boun.edu.tr
Yavuz KorogluComputer Engineering Department, Boğaziçi UniversityVerified email at boun.edu.tr
Serkan KirbasBloomberg LPVerified email at bloomberg.net
Ayşe (Bener) BaşarRyerson UniversityVerified email at ryerson.ca
Arda YurdakulProfessor of Computer Engineering, Bogazici UniversityVerified email at boun.edu.tr
Tracy HallProfessor of Software Engineering, Lancaster UniversityVerified email at lancaster.ac.uk
Simos GerasimouLecturer (Assistant Professor) in Computer Science, University of YorkVerified email at york.ac.uk
Bora CaglayanHuawei European Research InstituteVerified email at huawei.com
Baris AksanliAssistant Professor, San Diego State UniversityVerified email at sdsu.edu
Scott LittleEngineer, IntelVerified email at intel.com
Chris MyersUniversity of UtahVerified email at ece.utah.edu
Günhan DündarElektrik-Elektronik Mühendisliği Profesörü, Boğaziçi ÜniversitesiVerified email at boun.edu.tr
Marcelo Sousaexplore.devVerified email at explore.dev
Vinit OgaleGoogleVerified email at google.com
Dogan UlusBogazici UniversityVerified email at boun.edu.tr
Can OzturanProfessor of Computer Engineering, Bogazici UniversityVerified email at boun.edu.tr
Jacob AbrahamProfessor, University of TexasVerified email at cerc.utexas.edu
Faik BaskayaElektrik-Elektronik Mühendisliği Bölümü, Boğaziçi ÜniversitesiVerified email at boun.edu.tr
Gönenç BerkolAnalog Mixed Signal IC Design Engineer, Analog DevicesVerified email at analog.com

Alper Sen

Full Professor of Computer Engineering, Bogazici University, Istanbul, Turkey

Verified email at boun.edu.tr - Homepage

Verification Software Testing Parallel and Distributed Systems Multicore and Embedded Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Detecting temporal logic predicates in distributed programs using computation slicing A Sen, VK Garg International Conference On Principles Of Distributed Systems, 171-183, 2003	61	2003
Coverage metrics for verification of concurrent SystemC designs using mutation testing A Sen, MS Abadir 2010 IEEE International High Level Design Validation and Test Workshop …, 2010	47	2010
Formal verification of simulation traces using computation slicing A Sen, VK Garg IEEE Transactions on Computers 56 (4), 511-527, 2007	44	2007
Detecting temporal logic predicates on the happened-before model A Sen, VK Garg Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002	43	2002
QBE: QLearning-based exploration of android applications Y Koroglu, A Sen, O Muslu, Y Mete, C Ulker, T Tanriverdi, Y Donmez 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018	39	2018
Partial order trace analyzer (POTA) for distributed programs A Sen, VK Garg Electronic Notes in Theoretical Computer Science 89 (2), 22-43, 2003	39	2003
Analog/mixed-signal circuit verification using models generated from simulation traces S Little, D Walter, K Jones, C Myers, A Sen International Journal of Foundations of Computer Science 21 (02), 191-210, 2010	33	2010
Predictive runtime verification of multi-processor SoCs in SystemC A Sen, V Ogale, MS Abadir Proceedings of the 45th annual Design Automation Conference, 948-953, 2008	32	2008
Deepfault: Fault localization for deep neural networks HF Eniser, S Gerasimou, A Sen arXiv preprint arXiv:1902.05974, 2019	29	2019
Parallel cycle based logic simulation using graphics processing units A Sen, B Aksanli, M Bozkurt, M Mert 2010 Ninth International Symposium on Parallel and Distributed Computing, 71-78, 2010	29	2010
Importance-driven deep learning system testing S Gerasimou, HF Eniser, A Sen, A Cakan 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020	27	2020
The relationship between evolutionary coupling and defects in large industrial software S Kirbas, B Caglayan, T Hall, S Counsell, D Bowes, A Sen, A Bener Journal of Software: Evolution and Process 29 (4), e1842, 2017	27	2017
The effect of evolutionary coupling on software defects: an industrial case study on a legacy system S Kirbas, A Sen, B Caglayan, A Bener, R Mahmutogullari Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014	27	2014
MINIME: Pattern-Aware Multicore Benchmark Synthesizer E Deniz, A Sen, B Kahne, J Holt IEEE Transactions on Computers, 2015	21	2015
Concurrency-Oriented Verification and Coverage of System-Level Designs A Sen ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011	21	2011
Introducing hardware-in-loop concept to the hardware/software co-design of real-time embedded systems D Fennibay, A Yurdakul, A Sen 2010 10th IEEE International Conference on Computer and Information …, 2010	21	2010
Solving computation slicing using predicate detection N Mittal, A Sen, VK Garg IEEE Transactions on Parallel and Distributed Systems 18 (12), 1700-1713, 2007	21	2007
Mutation operators for concurrent SystemC designs A Sen 2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009	20	2009
Applications of lattice theory to distributed computing VK Garg, N Mittal, A Sen ACM SIGACT Notes 34 (3), 40-61, 2003	18	2003
Testing service oriented architectures using stateful service visualization via machine learning HF Enişer, A Sen Proceedings of the 13th International Workshop on Automation of Software …, 2018	14	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors