Alper Sen
Alper Sen
Professor of Computer Engineering, Bogazici University, Istanbul, Turkey
Email verificata su boun.edu.tr - Home page
Titolo
Citata da
Citata da
Anno
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
442010
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
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
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
272018
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
232017
Concurrency-Oriented Verification and Coverage of System-Level Designs
A Sen
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
202011
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
172015
Applications of lattice theory to distributed computing
VK Garg, N Mittal, A Sen
ACM SIGACT Notes 34 (3), 40-61, 2003
172003
Generation of TLM testbenches using mutation testing
M Sousa, A Sen
Proceedings of the eighth IEEE/ACM/IFIP international conference on hardware …, 2012
132012
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20