Alper Sen
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
602003
Formal verification of simulation traces using computation slicing
A Sen, VK Garg
IEEE Transactions on Computers 56 (4), 511-527, 2007
412007
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
402010
Partial order trace analyzer (POTA) for distributed programs
A Sen, VK Garg
Electronic Notes in Theoretical Computer Science 89 (2), 22-43, 2003
402003
Detecting temporal logic predicates on the happened-before model
A Sen, VK Garg
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
402002
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
232010
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
212014
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
Mutation operators for concurrent SystemC designs
A Sen
2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009
192009
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
182018
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
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
172017
Applications of lattice theory to distributed computing
VK Garg, N Mittal, A Sen
ACM SIGACT Notes 34 (3), 40-61, 2003
172003
Concurrency-Oriented Verification and Coverage of System-Level Designs
A Sen
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
162011
MINIME: Pattern-Aware Multicore Benchmark Synthesizer
E Deniz, A Sen, B Kahne, J Holt
IEEE Transactions on Computers, 2015
142015
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
Finding satisfying global states: All for one and one for all
N Mittal, A Sen, VK Garg, R Atreya
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
112004
The system can't perform the operation now. Try again later.
Articles 1–20