Alper Sen
Alper Sen
Professor of Computer Engineering, Bogazici University, Istanbul, Turkey
boun.edu.tr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
BaşlıkAlıntı yapanlarYıl
Detecting temporal logic predicates in distributed programs using computation slicing
A Sen, VK Garg
International Conference On Principles Of Distributed Systems, 171-183, 2003
562003
Formal verification of simulation traces using computation slicing
A Sen, VK Garg
IEEE Transactions on Computers 56 (4), 511-527, 2007
392007
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
362010
Partial order trace analyzer (POTA) for distributed programs
A Sen, VK Garg
Electronic Notes in Theoretical Computer Science 89 (2), 22-43, 2003
362003
Detecting temporal logic predicates on the happened-before model
A Sen, VK Garg
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2001
342001
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
312008
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
292010
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
212010
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
192014
Solving computation slicing using predicate detection
N Mittal, A Sen, VK Garg
IEEE Transactions on Parallel and Distributed Systems 18 (12), 1700-1713, 2007
192007
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
182010
Mutation operators for concurrent SystemC designs
A Sen
2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009
162009
Concurrency-Oriented Verification and Coverage of System-Level Designs
A Sen
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
152011
Applications of lattice theory to distributed computing
VK Garg, N Mittal, A Sen
ACM SIGACT Notes 34 (3), 40-61, 2003
152003
MINIME: Pattern-Aware Multicore Benchmark Synthesizer
E Deniz, A Sen, B Kahne, J Holt
IEEE Transactions on Computers, 2015
132015
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
122017
Generation of TLM testbenches using mutation testing
M Sousa, A Sen
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
122012
Speeding up cycle based logic simulation using graphics processing units
A Sen, B Aksanli, M Bozkurt
International Journal of Parallel Programming 39 (5), 639-661, 2011
122011
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
112018
Using software architectural patterns for synthetic embedded multicore benchmark development
E Deniz, A Sen, J Holt, B Kahne
2012 IEEE International Symposium on Workload Characterization (IISWC), 89-99, 2012
92012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20