Alper Sen

Cited by

	All	Since 2016
Citations	760	346
h-index	17	10
i10-index	26	10

200320042005200620072008200920102011201220132014201520162017201820192020202111 25 13 13 31 41 15 19 33 54 55 38 40 57 47 57 62 87 36

Public access

View all

2 articles

0 articles

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 KirbasBrunel University LondonVerified email at brunel.ac.uk
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
Bora CaglayanHuawei European Research InstituteVerified email at huawei.com
Baris AksanliAssistant Professor, San Diego State UniversityVerified email at sdsu.edu
Simos GerasimouLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Scott LittleEngineer, IntelVerified email at intel.com
Chris MyersUniversity of UtahVerified email at ece.utah.edu
Vinit OgaleGoogleVerified email at google.com
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
Dogan UlusVevaLabsVerified 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
Can OzturanProfessor of Computer Engineering, Bogazici UniversityVerified email at boun.edu.tr
Gorker Alp MalazgirtPhD, UPCVerified email at ac.upc.edu

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	45	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
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
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	29	2018
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	28	2010
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	25	2014
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	24	2017
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	20	2010
Mutation operators for concurrent SystemC designs A Sen 2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009	20	2009
Solving computation slicing using predicate detection N Mittal, A Sen, VK Garg IEEE Transactions on Parallel and Distributed Systems 18 (12), 1700-1713, 2007	20	2007
MINIME: Pattern-Aware Multicore Benchmark Synthesizer E Deniz, A Sen, B Kahne, J Holt IEEE Transactions on Computers, 2015	18	2015
Applications of lattice theory to distributed computing VK Garg, N Mittal, A Sen ACM SIGACT Notes 34 (3), 40-61, 2003	17	2003
Deepfault: Fault localization for deep neural networks HF Eniser, S Gerasimou, A Sen International Conference on Fundamental Approaches to Software Engineering …, 2019	15	2019
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	14	2020
Generation of TLM testbenches using mutation testing M Sousa, A Sen Proceedings of the eighth IEEE/ACM/IFIP international conference on hardware …, 2012	13	2012

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

Upload PDF

Follow this author

Cited by

Co-authors