Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alper Sen 0001
@article{DBLP:journals/access/KorogluS22,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
title = {Fast Witness Generation for Readable {GUI} Test Scenarios via Generalized
Experience Replay},
journal = {{IEEE} Access},
volume = {10},
pages = {116224--116240},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3218902},
doi = {10.1109/ACCESS.2022.3218902},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/KorogluS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/KilicOS22,
author = {Baran Kili{\c{c}} and
Can C. {\"{O}}zturan and
Alper Sen},
title = {Parallel analysis of Ethereum blockchain transaction data using cluster
computing},
journal = {Clust. Comput.},
volume = {25},
number = {3},
pages = {1885--1898},
year = {2022},
url = {https://doi.org/10.1007/s10586-021-03511-0},
doi = {10.1007/S10586-021-03511-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/KilicOS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/BulduSSK22,
author = {Abdullah Murat Buldu and
Alper Sen and
Karthik Swaminathan and
Brian Kahne},
title = {{MBET:} Resilience Improvement Method for DNNs},
booktitle = {{IEEE} International Conference On Artificial Intelligence Testing,
AITest 2022, Newark, CA, USA, August 15-18, 2022},
pages = {72--78},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/AITest55621.2022.00019},
doi = {10.1109/AITEST55621.2022.00019},
timestamp = {Thu, 06 Oct 2022 22:35:08 +0200},
biburl = {https://dblp.org/rec/conf/aitest/BulduSSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcca/KilicSO22,
author = {Baran Kili{\c{c}} and
Alper Sen and
Can C. {\"{O}}zturan},
editor = {Mohammad A. Alsmirat and
Moayad Aloqaily and
Yaser Jararweh and
Izzat Alsmadi},
title = {Fraud Detection in Blockchains using Machine Learning},
booktitle = {Fourth International Conference on Blockchain Computing and Applications,
{BCCA} 2022, San Antonio, TX, USA, September 5-7, 2022},
pages = {214--218},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BCCA55292.2022.9922045},
doi = {10.1109/BCCA55292.2022.9922045},
timestamp = {Wed, 16 Nov 2022 21:55:15 +0100},
biburl = {https://dblp.org/rec/conf/bcca/KilicSO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/KorogluS21,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
title = {Functional test generation from {UI} test scenarios using reinforcement
learning for android applications},
journal = {Softw. Test. Verification Reliab.},
volume = {31},
number = {3},
year = {2021},
url = {https://doi.org/10.1002/stvr.1752},
doi = {10.1002/STVR.1752},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/KorogluS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aitest/AriciS21,
author = {Mehmet Melih Arici and
Alper Sen},
title = {Improving Robustness of Deep Learning Systems with Fast and Customizable
Adversarial Data Generation},
booktitle = {2021 {IEEE} International Conference on Artificial Intelligence Testing,
AITest 2021, Oxford, United Kingdom, August 23-26, 2021},
pages = {37--38},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/AITEST52744.2021.00017},
doi = {10.1109/AITEST52744.2021.00017},
timestamp = {Wed, 20 Oct 2021 16:44:29 +0200},
biburl = {https://dblp.org/rec/conf/aitest/AriciS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/EniserS20,
author = {Hasan Ferit Eniser and
Alper Sen},
title = {Virtualization of stateful services via machine learning},
journal = {Softw. Qual. J.},
volume = {28},
number = {1},
pages = {283--306},
year = {2020},
url = {https://doi.org/10.1007/s11219-019-09468-z},
doi = {10.1007/S11219-019-09468-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/EniserS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcca/KilicOS20,
author = {Baran Kili{\c{c}} and
Can C. {\"{O}}zturan and
Alper Sen},
editor = {Mohammad A. Alsmirat and
Yaser Jararweh and
Moayad Aloqaily and
{\"{O}}znur {\"{O}}zkasap},
title = {A Cluster Based System for Analyzing Ethereum Blockchain Transaction
Data},
booktitle = {2020 Second International Conference on Blockchain Computing and Applications,
{BCCA} 2020, Antalya, Turkey, November 2-5, 2020},
pages = {59--65},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/BCCA50787.2020.9274081},
doi = {10.1109/BCCA50787.2020.9274081},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcca/KilicOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouE0C20a,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Importance-driven deep learning system testing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020},
pages = {322--323},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377812.3390793},
doi = {10.1145/3377812.3390793},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouE0C20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GerasimouE0C20,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Importance-driven deep learning system testing},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {702--713},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380391},
doi = {10.1145/3377811.3380391},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GerasimouE0C20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DemirE020,
author = {Samet Demir and
Hasan Ferit Eniser and
Alper Sen},
editor = {Hu{\'{a}}scar Espinoza and
John A. McDermid and
Xiaowei Huang and
Mauricio Castillo{-}Effen and
Xin Cynthia Chen and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
Richard Mallah},
title = {DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning},
booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2020
co-located with the 29th International Joint Conference on Artificial
Intelligence and the 17th Pacific Rim International Conference on
Artificial Intelligence {(IJCAI-PRICAI} 2020), Yokohama, Japan, January,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2640},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2640/paper\_19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/DemirE020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/GulKS20,
author = {Ahmet G{\"{u}}l and
Yavuz K{\"{o}}roglu and
Alper Sen},
editor = {Bekir Tevfik Akg{\"{u}}n and
Tolga Ayav and
Semih Bilgen and
Geylani Kardas},
title = {Machine Learning Based Bug Prediction Engine For Smart Contracts},
booktitle = {14th Turkish National Software Engineering Symposium, {UYMS} 2020,
Istanbul, Turkey, October 7-9, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/UYMS50627.2020.9247056},
doi = {10.1109/UYMS50627.2020.9247056},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/GulKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/KorogluSA20,
author = {Yavuz K{\"{o}}roglu and
Alper Sen and
Abdurrahman Akin},
editor = {Bekir Tevfik Akg{\"{u}}n and
Tolga Ayav and
Semih Bilgen and
Geylani Kardas},
title = {Automated Functional Test Generation Practice for a Large-Scale Android
Application},
booktitle = {14th Turkish National Software Engineering Symposium, {UYMS} 2020,
Istanbul, Turkey, October 7-9, 2020},
pages = {1--3},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/UYMS50627.2020.9247060},
doi = {10.1109/UYMS50627.2020.9247060},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/KorogluSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/SapanOUS20,
author = {Ahmet Sapan and
Bilgehan {\"{O}}ztekin and
Ersin {\"{U}}nsal and
Alper Sen},
editor = {Bekir Tevfik Akg{\"{u}}n and
Tolga Ayav and
Semih Bilgen and
Geylani Kardas},
title = {Testing OpenAPI Banking Payment System with Model Based Test Approach},
booktitle = {14th Turkish National Software Engineering Symposium, {UYMS} 2020,
Istanbul, Turkey, October 7-9, 2020},
pages = {1--4},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/UYMS50627.2020.9247010},
doi = {10.1109/UYMS50627.2020.9247010},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/SapanOUS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03433,
author = {Simos Gerasimou and
Hasan Ferit Eniser and
Alper Sen and
Alper {\c{C}}akan},
title = {Importance-Driven Deep Learning System Testing},
journal = {CoRR},
volume = {abs/2002.03433},
year = {2020},
url = {https://arxiv.org/abs/2002.03433},
eprinttype = {arXiv},
eprint = {2002.03433},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EfendiogluSK19,
author = {Mustafa Efendioglu and
Alper Sen and
Yavuz K{\"{o}}roglu},
title = {Bug Prediction of SystemC Models Using Machine Learning},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {38},
number = {3},
pages = {419--429},
year = {2019},
url = {https://doi.org/10.1109/TCAD.2018.2878193},
doi = {10.1109/TCAD.2018.2878193},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/EfendiogluSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EniserGS19,
author = {Hasan Ferit Eniser and
Simos Gerasimou and
Alper Sen},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {DeepFault: Fault Localization for Deep Neural Networks},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {171--191},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_10},
doi = {10.1007/978-3-030-16722-6\_10},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/EniserGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05974,
author = {Hasan Ferit Eniser and
Simos Gerasimou and
Alper Sen},
title = {DeepFault: Fault Localization for Deep Neural Networks},
journal = {CoRR},
volume = {abs/1902.05974},
year = {2019},
url = {http://arxiv.org/abs/1902.05974},
eprinttype = {arXiv},
eprint = {1902.05974},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05403,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
title = {Reinforcement Learning-Driven Test Generation for Android {GUI} Applications
using Formal Specifications},
journal = {CoRR},
volume = {abs/1911.05403},
year = {2019},
url = {http://arxiv.org/abs/1911.05403},
eprinttype = {arXiv},
eprint = {1911.05403},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-05403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10621,
author = {Samet Demir and
Hasan Ferit Eniser and
Alper Sen},
title = {DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning},
journal = {CoRR},
volume = {abs/1911.10621},
year = {2019},
url = {http://arxiv.org/abs/1911.10621},
eprinttype = {arXiv},
eprint = {1911.10621},
timestamp = {Tue, 03 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-10621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/SenK18,
author = {Alper Sen and
Onder Kalaci},
title = {Hybrid Data Race Detection for Multicore Software},
journal = {Comput. Informatics},
volume = {37},
number = {1},
pages = {186--212},
year = {2018},
url = {https://doi.org/10.4149/cai\_2018\_1\_186},
doi = {10.4149/CAI\_2018\_1\_186},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cai/SenK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/SaglamdemirDS18,
author = {Muharrem Orkun Saglamdemir and
G{\"{u}}nhan D{\"{u}}ndar and
Alper Sen},
title = {Analog behavioral equivalence boundary computation under the effect
of process variations},
journal = {Integr.},
volume = {61},
pages = {39--48},
year = {2018},
url = {https://doi.org/10.1016/j.vlsi.2017.10.014},
doi = {10.1016/J.VLSI.2017.10.014},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/SaglamdemirDS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KorogluS18,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {{TCM:} Test Case Mutation to Improve Crash Detection in Android},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {264--280},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_15},
doi = {10.1007/978-3-319-89363-1\_15},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/KorogluS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EniserS18,
author = {Hasan Ferit Eniser and
Alper Sen},
editor = {Xiaoying Bai and
J. Jenny Li and
Andreas Ulrich},
title = {Testing service oriented architectures using stateful service visualization
via machine learning},
booktitle = {Proceedings of the 13th International Workshop on Automation of Software
Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {9--15},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194733.3194737},
doi = {10.1145/3194733.3194737},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/EniserS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KorogluSMMUTD18,
author = {Yavuz K{\"{o}}roglu and
Alper Sen and
Ozlem Muslu and
Yunus Mete and
Ceyda Ulker and
Tolga Tanriverdi and
Yunus Donmez},
title = {{QBE:} QLearning-Based Exploration of Android Applications},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {105--115},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICST.2018.00020},
doi = {10.1109/ICST.2018.00020},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KorogluSMMUTD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Eniser0P18,
author = {Hasan Ferit Eniser and
Alper Sen and
Suleyman Olcay Polat},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Fancymock: creating virtual services from transactions},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1576--1578},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167424},
doi = {10.1145/3167132.3167424},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/Eniser0P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KirbasCHCB0B18,
author = {Serkan Kirbas and
Bora Caglayan and
Tracy Hall and
Steve Counsell and
David Bowes and
Alper Sen and
Ayse Bener},
editor = {Rocco Oliveto and
Massimiliano Di Penta and
David C. Shepherd},
title = {The relationship between evolutionary coupling and defects in large
industrial software (journal-first abstract)},
booktitle = {25th International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2018, Campobasso, Italy, March 20-23, 2018},
pages = {471},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SANER.2018.8330237},
doi = {10.1109/SANER.2018.8330237},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/KirbasCHCB0B18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KirbasHS17,
author = {Serkan Kirbas and
Tracy Hall and
Alper Sen},
title = {Evolutionary coupling measurement: Making sense of the current chaos},
journal = {Sci. Comput. Program.},
volume = {135},
pages = {4--19},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.10.003},
doi = {10.1016/J.SCICO.2016.10.003},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KirbasHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/KirbasCHCBSB17,
author = {Serkan Kirbas and
Bora Caglayan and
Tracy Hall and
Steve Counsell and
David Bowes and
Alper Sen and
Ayse Bener},
title = {The relationship between evolutionary coupling and defects in large
industrial software},
journal = {J. Softw. Evol. Process.},
volume = {29},
number = {4},
year = {2017},
url = {https://doi.org/10.1002/smr.1842},
doi = {10.1002/SMR.1842},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/KirbasCHCBSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/0001DK17,
author = {Alper Sen and
Etem Deniz and
Brian Kahne},
editor = {David Atienza and
Giorgio Di Natale},
title = {MINIME-validator: Validating hardware with synthetic parallel testcases},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {386--391},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927021},
doi = {10.23919/DATE.2017.7927021},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/0001DK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/KorogluE017,
author = {Yavuz K{\"{o}}roglu and
Mustafa Efendioglu and
Alper Sen},
editor = {{\c{C}}igdem Turhan and
Ahmet Coskun{\c{c}}ay and
Ali Yazici and
Halit Oguzt{\"{u}}z{\"{u}}n},
title = {Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele
Karma Yontem(Combining Model-Based and Random Approaches to Improve
Crash Detection in Android)},
booktitle = {Proceedings of the 11th Turkish National Software Engineering Symposium,
Alanya, Turkey, October 18-20, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1980},
pages = {89--100},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1980/YTM\_2017\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/KorogluE017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/Eniser0P17,
author = {Hasan Ferit Eniser and
Alper Sen and
Suleyman Olcay Polat},
editor = {{\c{C}}igdem Turhan and
Ahmet Coskun{\c{c}}ay and
Ali Yazici and
Halit Oguzt{\"{u}}z{\"{u}}n},
title = {Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation)},
booktitle = {Proceedings of the 11th Turkish National Software Engineering Symposium,
Alanya, Turkey, October 18-20, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1980},
pages = {594--606},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1980/UYMS17\_paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/Eniser0P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/DenizS16,
author = {Etem Deniz and
Alper Sen},
title = {Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded
Applications},
journal = {Int. J. Parallel Program.},
volume = {44},
number = {4},
pages = {867--900},
year = {2016},
url = {https://doi.org/10.1007/s10766-015-0396-z},
doi = {10.1007/S10766-015-0396-Z},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/DenizS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/SaglamdemirBDS16,
author = {Muharrem Orkun Saglamdemir and
G{\"{o}}nen{\c{c}} Berkol and
G{\"{u}}nhan D{\"{u}}ndar and
Alper Sen},
title = {An analog behavioral equivalence boundary search methodology for simulink
models and circuit level designs utilizing evolutionary computation},
journal = {Integr.},
volume = {55},
pages = {366--375},
year = {2016},
url = {https://doi.org/10.1016/j.vlsi.2016.05.005},
doi = {10.1016/J.VLSI.2016.05.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/SaglamdemirBDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/Deniz016,
author = {Etem Deniz and
Alper Sen},
title = {{MINIME-GPU:} Multicore Benchmark Synthesizer for GPUs},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {12},
number = {4},
pages = {34:1--34:25},
year = {2016},
url = {https://doi.org/10.1145/2818693},
doi = {10.1145/2818693},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/Deniz016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KorogluSKBTCK16,
author = {Yavuz K{\"{o}}roglu and
Alper Sen and
Doruk Kutluay and
Akin Bayraktar and
Yalcin Tosun and
Murat {\c{C}}inar and
Hasan Kaya},
title = {Defect prediction on a legacy industrial software: a case study on
software with few defects},
booktitle = {Proceedings of the 4th International Workshop on Conducting Empirical
Studies in Industry, CESI@ICSE 2016, Austin, Texas, USA, May 17, 2016},
pages = {14--20},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2896839.2896843},
doi = {10.1145/2896839.2896843},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KorogluSKBTCK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KorogluS16,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
editor = {Omer Tripp and
Christoph M. Wintersteiger},
title = {Design of a Modified Concolic Testing Algorithm with Smaller Constraints},
booktitle = {Proceedings of the 7th Workshop on Constraint Solvers in Testing,
Verification, and Analysis co-located with The International Symposium
on Software Testing and Analysis {(ISSTA} 2016), Saarbr{\"{u}}cken,
Germany, July 17th, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1639},
pages = {3--14},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1639/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/issta/KorogluS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/BayarS16,
author = {Salih Bayar and
Alper Sen},
editor = {Semih Bilgen and
Ahmet Coskun{\c{c}}ay and
Altan Ko{\c{c}}yigit},
title = {e-Arsiv Fatura icin Aksakliga Dayanikli Dagitik bir Sistem Tasarimi},
booktitle = {Proceedings of the 10th Turkish National Software Engineering Symposium,
{UYMS} 2016, Canakkale, Turkey, October 24-26, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1721},
pages = {556--561},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1721/UYMS16\_paper\_85.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/BayarS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/0001D15,
author = {Alper Sen and
Etem Deniz},
title = {Thread-level synthetic benchmarks for multicore systems},
journal = {Microprocess. Microsystems},
volume = {39},
number = {7},
pages = {471--479},
year = {2015},
url = {https://doi.org/10.1016/j.micpro.2015.07.010},
doi = {10.1016/J.MICPRO.2015.07.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/0001D15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Deniz0KH15,
author = {Etem Deniz and
Alper Sen and
Brian Kahne and
Jim Holt},
title = {{MINIME:} Pattern-Aware Multicore Benchmark Synthesizer},
journal = {{IEEE} Trans. Computers},
volume = {64},
number = {8},
pages = {2239--2252},
year = {2015},
url = {https://doi.org/10.1109/TC.2014.2349522},
doi = {10.1109/TC.2014.2349522},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Deniz0KH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/BayarUS15,
author = {Salih Bayar and
Mehmet G{\"{o}}rkem {\"{U}}lkar and
Alper Sen},
editor = {Tugkan Tuglular and
Murat Komesli},
title = {Kullan{\i}c{\i} Taraf{\i}nda eBelge Olu{\c{s}}turma ve Yazd{\i}rma
Yaz{\i}l{\i}m Deneyimleri},
booktitle = {Proceedings of the 9th Turkish National Software Engineering Symposium,
Yasar University, Izmir, Turkey, September, 9-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1483},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1483/38\_Deneyim.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/BayarUS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/KorogluS15,
author = {Yavuz K{\"{o}}roglu and
Alper Sen},
editor = {Tugkan Tuglular and
Murat Komesli},
title = {B{\"{u}}y{\"{u}}yen K{\i}smi Yol K{\i}s{\i}tlar{\i}yla Konkolik
Test},
booktitle = {Proceedings of the 9th Turkish National Software Engineering Symposium,
Yasar University, Izmir, Turkey, September, 9-11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1483},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1483/1\_Bildiri.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/KorogluS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/0001KDN14,
author = {Alper Sen and
G{\"{o}}k{\c{c}}ehan Kara and
Etem Deniz and
Sma{\"{\i}}l Niar},
title = {Fast System Level Benchmarks for Multicore Architectures},
booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona,
Italy, August 27-29, 2014},
pages = {635--638},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSD.2014.16},
doi = {10.1109/DSD.2014.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/0001KDN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/KirbasSCBM14,
author = {Serkan Kirbas and
Alper Sen and
Bora Caglayan and
Ayse Bener and
Rasim Mahmutogullari},
editor = {Maurizio Morisio and
Tore Dyb{\aa} and
Marco Torchiano},
title = {The effect of evolutionary coupling on software defects: an industrial
case study on a legacy system},
booktitle = {2014 {ACM-IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} '14, Torino, Italy, September 18-19, 2014},
pages = {6:1--6:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2652524.2652577},
doi = {10.1145/2652524.2652577},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esem/KirbasSCBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SenK14,
author = {Alper Sen and
Onder Kalaci},
title = {Hybrid dynamic data race detection in systemC},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FDL.2014.7119347},
doi = {10.1109/FDL.2014.7119347},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/fdl/SenK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/KirbasSCB14,
author = {Serkan Kirbas and
Alper Sen and
Bora {\c{C}}aglayan and
Ayse Bener},
editor = {Yeliz Yesilada and
Aysu Betin Can and
Onur Demir{\"{o}}rs},
title = {De{\u{g}}i{\c{s}}iklik Ba{\u{g}}la{\c{s}}{\i}m{\i} ve Yaz{\i}l{\i}m
Hatalar{\i} {\.{I}}li{\c{s}}kisinin {\.{I}}ncelenmesi},
booktitle = {Proceedings of the 8th Turkish National Software Engineering Symposium,
G{\"{u}}zelyurt, KKTC, Turkey, September 8-10, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1221},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1221/40\_Bildiri.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/KirbasSCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2013difts,
editor = {Malay K. Ganai and
Alper Sen},
title = {Proceedings of the Second International Workshop on Design and Implementation
of Formal Tools and Systems, Portland, OR, USA, October 19, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1130},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1130},
urn = {urn:nbn:de:0074-1130-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/2013difts.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/SousaS13,
author = {Marcelo Sousa and
Alper Sen},
title = {{LLVMVF:} {A} Generic Approach for Verification of Multicore Software},
journal = {J. Electron. Test.},
volume = {29},
number = {5},
pages = {635--646},
year = {2013},
url = {https://doi.org/10.1007/s10836-013-5405-9},
doi = {10.1007/S10836-013-5405-9},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/SousaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/UlusSB13,
author = {Dogan Ulus and
Alper Sen and
I. Faik Baskaya},
title = {Integrating circuit analyses for assertion-based verification of programmable
{AMS} circuits},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6646628/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/UlusSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/KirbasS13,
author = {Serkan Kirbas and
Alper Sen},
editor = {Ahmet Egesoy and
Riza Cenk Erdur and
N. Yasemin Topaloglu},
title = {Yaz{\i}l{\i}m Depolar{\i} Madencili{\u{g}}i ile End{\"{u}}striyel
Yaz{\i}l{\i}m Evrimi {\.{I}}ncelemesi},
booktitle = {Proceedings of the 7th National Software Engineering Symposium, {\.{I}}zmir,
Turkey, September, 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1072},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1072/submission2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/KirbasS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/UlusSB13,
author = {Dogan Ulus and
Alper Sen and
I. Faik Baskaya},
editor = {Martin Margala and
Ricardo Augusto da Luz Reis and
Alex Orailoglu and
Luigi Carro and
Lu{\'{\i}}s Miguel Silveira and
H. Fatih Ugurdag},
title = {Analog layer extensions for analog/mixed-signal assertion languages},
booktitle = {21st {IEEE/IFIP} International Conference on {VLSI} and System-on-Chip,
VLSI-SoC 2013, Istanbul, Turkey, October 7-9, 2013},
pages = {66--71},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/VLSI-SoC.2013.6673252},
doi = {10.1109/VLSI-SOC.2013.6673252},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsi/UlusSB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/FennibayY012,
author = {Dogan Fennibay and
Arda Yurdakul and
Alper Sen},
title = {A Heterogeneous Simulation and Modeling Framework for Automation Systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {31},
number = {11},
pages = {1642--1655},
year = {2012},
url = {https://doi.org/10.1109/TCAD.2012.2199116},
doi = {10.1109/TCAD.2012.2199116},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/FennibayY012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/DenizSH12,
author = {Etem Deniz and
Alper Sen and
Jim Holt},
title = {Verification and coverage of message passing multicore applications},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {17},
number = {3},
pages = {23:1--23:31},
year = {2012},
url = {https://doi.org/10.1145/2209291.2209296},
doi = {10.1145/2209291.2209296},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/DenizSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SousaS12,
author = {Marcelo Sousa and
Alper Sen},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Naehyuck Chang and
Franco Fummi},
title = {Generation of {TLM} testbenches using mutation testing},
booktitle = {Proceedings of the 10th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
pages = {323--332},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380445.2380498},
doi = {10.1145/2380445.2380498},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/SousaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DenizSH12,
author = {Etem Deniz and
Alper Sen and
Jim Holt},
editor = {Wolfgang Rosenstiel and
Lothar Thiele},
title = {Verification coverage of embedded multicore applications},
booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2012, Dresden, Germany, March 12-16, 2012},
pages = {252--255},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DATE.2012.6176471},
doi = {10.1109/DATE.2012.6176471},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/DenizSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/MalazgirtC0BY12,
author = {Gorker Alp Malazgirt and
Ender Culha and
Alper Sen and
I. Faik Baskaya and
Arda Yurdakul},
title = {A Verifiable High Level Data Path Synthesis Framework},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {397--404},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.16},
doi = {10.1109/DSD.2012.16},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/MalazgirtC0BY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Ulus012,
author = {Dogan Ulus and
Alper Sen},
title = {Using haloes in mixed-signal assertion based verification},
booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
pages = {49--55},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HLDVT.2012.6418242},
doi = {10.1109/HLDVT.2012.6418242},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/Ulus012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiswc/Deniz0HK12,
author = {Etem Deniz and
Alper Sen and
Jim Holt and
Brian Kahne},
title = {Using software architectural patterns for synthetic embedded multicore
benchmark development},
booktitle = {Proceedings of the 2012 {IEEE} International Symposium on Workload
Characterization, {IISWC} 2012, La Jolla, CA, USA, November 4-6, 2012},
pages = {89--99},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IISWC.2012.6402908},
doi = {10.1109/IISWC.2012.6402908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iiswc/Deniz0HK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siu/CulhaMB0Y12,
author = {Ender Culha and
Gorker Alp Malazgirt and
I. Faik Baskaya and
Alper Sen and
Arda Yurdakul},
title = {High-Level verifiable data-path Synthesis for {DSP} systems},
booktitle = {20th Signal Processing and Communications Applications Conference,
{SIU} 2012, Mugla, Turkey, April 18-20, 2012},
pages = {1--4},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SIU.2012.6204710},
doi = {10.1109/SIU.2012.6204710},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/siu/CulhaMB0Y12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/SenAB11,
author = {Alper Sen and
Baris Aksanli and
Murat Bozkurt},
title = {Speeding Up Cycle Based Logic Simulation Using Graphics Processing
Units},
journal = {Int. J. Parallel Program.},
volume = {39},
number = {5},
pages = {639--661},
year = {2011},
url = {https://doi.org/10.1007/s10766-011-0164-7},
doi = {10.1007/S10766-011-0164-7},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/SenAB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/SenO11,
author = {Alper Sen and
Can C. {\"{O}}zturan},
title = {Special Issue on the 9th International Symposium on Parallel and Distributed
Computing},
journal = {Sci. Program.},
volume = {19},
number = {1},
pages = {1},
year = {2011},
url = {https://doi.org/10.3233/SPR-2011-0314},
doi = {10.3233/SPR-2011-0314},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/SenO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/Sen11,
author = {Alper Sen},
title = {Concurrency-oriented verification and coverage of system-level designs},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {16},
number = {4},
pages = {37:1--37:25},
year = {2011},
url = {https://doi.org/10.1145/2003695.2003697},
doi = {10.1145/2003695.2003697},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/Sen11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/SenD11,
author = {Alper Sen and
Etem Deniz},
editor = {Magdy S. Abadir and
Jay Bhadra and
Li{-}C. Wang},
title = {Verification Tests for {MCAPI}},
booktitle = {12th International Workshop on Microprocessor Test and Verification,
{MTV} 2011, Austin, TX, USA, December 5-7, 2011},
pages = {46--50},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/MTV.2011.18},
doi = {10.1109/MTV.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/SenD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LittleWJMS10,
author = {Scott Little and
David Walter and
Kevin R. Jones and
Chris J. Myers and
Alper Sen},
title = {Analog/Mixed-Signal Circuit Verification Using Models Generated from
Simulation Traces},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {2},
pages = {191--210},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007209},
doi = {10.1142/S0129054110007209},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LittleWJMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/FennibayYS10,
author = {Dogan Fennibay and
Arda Yurdakul and
Alper Sen},
title = {Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design
of Real-time Embedded Systems},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {1902--1909},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.325},
doi = {10.1109/CIT.2010.325},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/FennibayYS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/SenA10,
author = {Alper Sen and
Magdy S. Abadir},
title = {Coverage metrics for verification of concurrent SystemC designs using
mutation testing},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {75--81},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496659},
doi = {10.1109/HLDVT.2010.5496659},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/SenA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/SenABM10,
author = {Alper Sen and
Baris Aksanli and
Murat Bozkurt and
Melih Mert},
title = {Parallel Cycle Based Logic Simulation Using Graphics Processing Units},
booktitle = {Ninth International Symposium on Parallel and Distributed Computing,
{ISPDC} 2010, Istanbul, Turkey, July 7-9, 2010},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISPDC.2010.26},
doi = {10.1109/ISPDC.2010.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/SenABM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/SenAB10,
author = {Alper Sen and
Baris Aksanli and
Murat Bozkurt},
editor = {Magdy S. Abadir and
Jay Bhadra and
Li{-}C. Wang},
title = {Using Graphics Processing Units for Logic Simulation of Electronic
Designs},
booktitle = {11th International Workshop on Microprocessor Test and Verification,
{MTV} 2010, Austin, TX, USA, December 13-15, 2010},
pages = {73--76},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MTV.2010.21},
doi = {10.1109/MTV.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/SenAB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/Sen09,
author = {Alper Sen},
title = {Mutation Operators for Concurrent SystemC Designs},
booktitle = {10th International Workshop on Microprocessor Test and Verification,
{MTV} 2009, Austin, Texas, USA, 7-9 December 2009},
pages = {27--31},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MTV.2009.8},
doi = {10.1109/MTV.2009.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/Sen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SenOA08,
author = {Alper Sen and
Vinit Ogale and
Magdy S. Abadir},
editor = {Limor Fix},
title = {Predictive runtime verification of multi-processor SoCs in SystemC},
booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
pages = {948--953},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1391469.1391708},
doi = {10.1145/1391469.1391708},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SenOA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/SenG07,
author = {Alper Sen and
Vijay K. Garg},
title = {Formal Verification of Simulation Traces Using Computation Slicing},
journal = {{IEEE} Trans. Computers},
volume = {56},
number = {4},
pages = {511--527},
year = {2007},
url = {https://doi.org/10.1109/TC.2007.1011},
doi = {10.1109/TC.2007.1011},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/SenG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MittalSG07,
author = {Neeraj Mittal and
Alper Sen and
Vijay K. Garg},
title = {Solving Computation Slicing Using Predicate Detection},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {18},
number = {12},
pages = {1700--1713},
year = {2007},
url = {https://doi.org/10.1109/TPDS.2007.1077},
doi = {10.1109/TPDS.2007.1077},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/MittalSG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/IkizS07,
author = {Selma Ikiz and
Alper Sen},
editor = {Magdy S. Abadir and
Li{-}C. Wang and
Jayanta Bhadra},
title = {Runtime Verification of k-Mutual Exclusion for SoCs},
booktitle = {Eighth International Workshop on Microprocessor Test and Verification
{(MTV} 2007), Common Challenges and Solutions, 5-6 December 2007,
Austin, Texas, {USA}},
pages = {44--50},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MTV.2007.21},
doi = {10.1109/MTV.2007.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/IkizS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/LittleSM07,
author = {Scott Little and
Alper Sen and
Chris J. Myers},
editor = {Magdy S. Abadir and
Li{-}C. Wang and
Jayanta Bhadra},
title = {Application of Automated Model Generation Techniques to Analog/Mixed-Signal
Circuits},
booktitle = {Eighth International Workshop on Microprocessor Test and Verification
{(MTV} 2007), Common Challenges and Solutions, 5-6 December 2007,
Austin, Texas, {USA}},
pages = {109--115},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MTV.2007.17},
doi = {10.1109/MTV.2007.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/LittleSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sen07,
author = {Alper Sen},
editor = {Roderick Bloem and
Marco Roveri and
Fabio Somenzi},
title = {Error Diagnosis in Equivalence Checking of High Performance Microprocessors},
booktitle = {Proceedings of the Workshop on Verification and Debugging, V{\&}D@FLoC
2006, Seattle, WA, USA, August 21, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {4},
pages = {9--18},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.026},
doi = {10.1016/J.ENTCS.2006.12.026},
timestamp = {Fri, 27 Jan 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/AnandBSAD05,
author = {Himyanshu Anand and
Jayanta Bhadra and
Alper Sen and
Magdy S. Abadir and
Kenneth G. Davis},
title = {Establishing latch correspondence for embedded circuits of PowerPC
microprocessors},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568811},
doi = {10.1109/HLDVT.2005.1568811},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/AnandBSAD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MittalSGA04,
author = {Neeraj Mittal and
Alper Sen and
Vijay K. Garg and
Ranganath Atreya},
title = {Finding Satisfying Global States: All for One and One for All},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1302994},
doi = {10.1109/IPDPS.2004.1302994},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MittalSGA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/SenGAB04,
author = {Alper Sen and
Vijay K. Garg and
Jacob A. Abraham and
Jayanta Bhadra},
title = {Formal Verification of a System-on-Chip Using Computation Slicing},
booktitle = {Proceedings 2004 International Test Conference {(ITC} 2004), October
26-28, 2004, Charlotte, NC, {USA}},
pages = {810--819},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/TEST.2004.1387344},
doi = {10.1109/TEST.2004.1387344},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/SenGAB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/SenG03,
author = {Alper Sen and
Vijay K. Garg},
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {On Checking Whether a Predicate Definitely Holds},
booktitle = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
pages = {15--29},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24617-6\_2},
doi = {10.1007/978-3-540-24617-6\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/SenG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SenG03,
author = {Alper Sen and
Vijay K. Garg},
editor = {Marina Papatriantafilou and
Philippe Hunel},
title = {Detecting Temporal Logic Predicates in Distributed Programs Using
Computation Slicing},
booktitle = {Principles of Distributed Systems, 7th International Conference, {OPODIS}
2003 La Martinique, French West Indies, December 10-13, 2003 Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3144},
pages = {171--183},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27860-3\_17},
doi = {10.1007/978-3-540-27860-3\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SenG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SenG03,
author = {Alper Sen and
Vijay K. Garg},
editor = {Oleg Sokolsky and
Mahesh Viswanathan},
title = {Partial Order Trace Analyzer {(POTA)} for Distributed Programs},
booktitle = {Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {2},
pages = {22--43},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81041-7},
doi = {10.1016/S1571-0661(04)81041-7},
timestamp = {Fri, 16 Dec 2022 11:03:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SenG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SenG02,
author = {Alper Sen and
Vijay K. Garg},
title = {Detecting Temporal Logic Predicates on the Happened-Before Model},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1015583},
doi = {10.1109/IPDPS.2002.1015583},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SenG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
