Alper Sen
Alper Sen
Full Professor of Computer Engineering, Bogazici University, Istanbul, Turkey
Verified email at boun.edu.tr - Homepage
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
612003
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
452010
Formal verification of simulation traces using computation slicing
A Sen, VK Garg
IEEE Transactions on Computers 56 (4), 511-527, 2007
442007
Detecting temporal logic predicates on the happened-before model
A Sen, VK Garg
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
432002
Partial order trace analyzer (POTA) for distributed programs
A Sen, VK Garg
Electronic Notes in Theoretical Computer Science 89 (2), 22-43, 2003
392003
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
332010
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
322008
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
292018
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
282010
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
252014
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
242017
Concurrency-Oriented Verification and Coverage of System-Level Designs
A Sen
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
212011
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
202010
Mutation operators for concurrent SystemC designs
A Sen
2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009
202009
Solving computation slicing using predicate detection
N Mittal, A Sen, VK Garg
IEEE Transactions on Parallel and Distributed Systems 18 (12), 1700-1713, 2007
202007
MINIME: Pattern-Aware Multicore Benchmark Synthesizer
E Deniz, A Sen, B Kahne, J Holt
IEEE Transactions on Computers, 2015
182015
Applications of lattice theory to distributed computing
VK Garg, N Mittal, A Sen
ACM SIGACT Notes 34 (3), 40-61, 2003
172003
Deepfault: Fault localization for deep neural networks
HF Eniser, S Gerasimou, A Sen
International Conference on Fundamental Approaches to Software Engineering …, 2019
152019
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
142020
Generation of TLM testbenches using mutation testing
M Sousa, A Sen
Proceedings of the eighth IEEE/ACM/IFIP international conference on hardware …, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20