Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aysu Betin Can
@article{DBLP:journals/access/DemirCS23,
author = {Demet Demir and
Aysu Betin Can and
Elif S{\"{u}}rer},
title = {Distribution Aware Testing Framework for Deep Neural Networks},
journal = {{IEEE} Access},
volume = {11},
pages = {119481--119505},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3327820},
doi = {10.1109/ACCESS.2023.3327820},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/DemirCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/AriyurekSB23,
author = {Sinan Ariyurek and
Elif S{\"{u}}rer and
Aysu Betin{-}Can},
title = {Playtesting: What is Beyond Personas},
journal = {{IEEE} Trans. Games},
volume = {15},
number = {3},
pages = {348--359},
year = {2023},
url = {https://doi.org/10.1109/TG.2022.3165882},
doi = {10.1109/TG.2022.3165882},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/AriyurekSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/BaysalOB23,
author = {Merve Vildan Baysal and
{\"{O}}zden {\"{O}}zcan{-}Top and
Aysu Betin{-}Can},
title = {Blockchain technology applications in the health domain: a multivocal
literature review},
journal = {J. Supercomput.},
volume = {79},
number = {3},
pages = {3112--3156},
year = {2023},
url = {https://doi.org/10.1007/s11227-022-04772-1},
doi = {10.1007/S11227-022-04772-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/BaysalOB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TekikSC22,
author = {Onur Tekik and
Elif S{\"{u}}rer and
Aysu Betin Can},
title = {Verifying Maze-Like Game Levels With Model Checker {SPIN}},
journal = {{IEEE} Access},
volume = {10},
pages = {66492--66510},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3185109},
doi = {10.1109/ACCESS.2022.3185109},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/TekikSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/AriyurekBS21,
author = {Sinan Ariyurek and
Aysu Betin{-}Can and
Elif S{\"{u}}rer},
title = {Automated Video Game Testing Using Synthetic and Humanlike Agents},
journal = {{IEEE} Trans. Games},
volume = {13},
number = {1},
pages = {50--67},
year = {2021},
url = {https://doi.org/10.1109/TG.2019.2947597},
doi = {10.1109/TG.2019.2947597},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/AriyurekBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-11965,
author = {Sinan Ariyurek and
Elif S{\"{u}}rer and
Aysu Betin{-}Can},
title = {Playtesting: What is Beyond Personas},
journal = {CoRR},
volume = {abs/2107.11965},
year = {2021},
url = {https://arxiv.org/abs/2107.11965},
eprinttype = {arXiv},
eprint = {2107.11965},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-11965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/AriyurekBS20,
author = {Sinan Ariyurek and
Aysu Betin{-}Can and
Elif S{\"{u}}rer},
title = {Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing},
booktitle = {{IEEE} Conference on Games, CoG 2020, Osaka, Japan, August 24-27,
2020},
pages = {25--32},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CoG47356.2020.9231670},
doi = {10.1109/COG47356.2020.9231670},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cig/AriyurekBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07813,
author = {Sinan Ariyurek and
Aysu Betin{-}Can and
Elif S{\"{u}}rer},
title = {Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing},
journal = {CoRR},
volume = {abs/2003.07813},
year = {2020},
url = {https://arxiv.org/abs/2003.07813},
eprinttype = {arXiv},
eprint = {2003.07813},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00317,
author = {Sinan Ariyurek and
Aysu Betin{-}Can and
Elif S{\"{u}}rer},
title = {Automated Video Game Testing Using Synthetic and Human-Like Agents},
journal = {CoRR},
volume = {abs/1906.00317},
year = {2019},
url = {http://arxiv.org/abs/1906.00317},
eprinttype = {arXiv},
eprint = {1906.00317},
timestamp = {Mon, 17 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GarousiOB18,
author = {Vahid Garousi and
Ramazan {\"{O}}zkan and
Aysu Betin{-}Can},
title = {Multi-objective regression test selection in practice: An empirical
study in the defense software industry},
journal = {Inf. Softw. Technol.},
volume = {103},
pages = {40--54},
year = {2018},
url = {https://doi.org/10.1016/j.infsof.2018.06.007},
doi = {10.1016/J.INFSOF.2018.06.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/GarousiOB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcloud/Al-TurjmanBEA16,
author = {Fadi Al{-}Turjman and
Aysu Betin{-}Can and
Enver Ever and
Sinem Alturjman},
title = {Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones:
An Overview},
booktitle = {2016 {IEEE} International Conference on Smart Cloud, SmartCloud 2016,
New York, NY, USA, November 18-20, 2016},
pages = {196--201},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SmartCloud.2016.56},
doi = {10.1109/SMARTCLOUD.2016.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smartcloud/Al-TurjmanBEA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/SimsekCC16,
author = {Merve Vildan Simsek and
Aysu Betin Can and
Barboros Can},
editor = {Semih Bilgen and
Ahmet Coskun{\c{c}}ay and
Altan Ko{\c{c}}yigit},
title = {Android Uygulamalar Icin Yazilim Kalite Yonetimi},
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 = {514--525},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1721/UYMS16\_paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/SimsekCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Garousi-YusifogluAC15,
author = {Vahid Garousi{-}Yusifoglu and
Yasaman Amannejad and
Aysu Betin Can},
title = {Software test-code engineering: {A} systematic mapping},
journal = {Inf. Softw. Technol.},
volume = {58},
pages = {123--147},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.06.009},
doi = {10.1016/J.INFSOF.2014.06.009},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Garousi-YusifogluAC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GarousiCBD15,
author = {Vahid Garousi and
Ahmet Coskun{\c{c}}ay and
Aysu Betin{-}Can and
Onur Demir{\"{o}}rs},
title = {A survey of software engineering practices in Turkey},
journal = {J. Syst. Softw.},
volume = {108},
pages = {148--177},
year = {2015},
url = {https://doi.org/10.1016/j.jss.2015.06.036},
doi = {10.1016/J.JSS.2015.06.036},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/GarousiCBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/PacinC15,
author = {Yudum Pa{\c{c}}in and
Aysu Betin Can},
editor = {Tugkan Tuglular and
Murat Komesli},
title = {Web Uygulamalar{\i}nda Dola{\c{s}}{\i}m ve Eri{\c{s}}im Kontrol{\"{u}}
Hatalar{\i}n{\i}n Tespiti ve Yeniden Canland{\i}r{\i}lmas{\i}},
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/55\_Bildiri.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/PacinC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/DoganBG14,
author = {Serdar Dogan and
Aysu Betin{-}Can and
Vahid Garousi},
title = {Web application testing: {A} systematic literature review},
journal = {J. Syst. Softw.},
volume = {91},
pages = {174--201},
year = {2014},
url = {https://doi.org/10.1016/j.jss.2014.01.010},
doi = {10.1016/J.JSS.2014.01.010},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/DoganBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/SaglamC14,
author = {Ismail Alper Saglam and
Aysu Betin Can},
editor = {Yeliz Yesilada and
Aysu Betin Can and
Onur Demir{\"{o}}rs},
title = {Android Uygulamalar{\i} Bellek Hatalar{\i} Yakalanmas{\i} ve Etkileri},
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/21\_Bildiri.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/SaglamC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uyms/2014,
editor = {Yeliz Yesilada and
Aysu Betin Can and
Onur Demir{\"{o}}rs},
title = {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},
urn = {urn:nbn:de:0074-1221-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uyms/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GarousiCBD14,
author = {Vahid Garousi and
Ahmet Coskun{\c{c}}ay and
Aysu Betin{-}Can and
Onur Demir{\"{o}}rs},
title = {A Survey of Software Engineering Practices in Turkey (extended version)},
journal = {CoRR},
volume = {abs/1412.4648},
year = {2014},
url = {http://arxiv.org/abs/1412.4648},
eprinttype = {arXiv},
eprint = {1412.4648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GarousiCBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GarousiMBM13,
author = {Vahid Garousi and
Ali Mesbah and
Aysu Betin{-}Can and
Shabnam Mirshokraie},
title = {A systematic mapping study of web application testing},
journal = {Inf. Softw. Technol.},
volume = {55},
number = {8},
pages = {1374--1396},
year = {2013},
url = {https://doi.org/10.1016/j.infsof.2013.02.006},
doi = {10.1016/J.INFSOF.2013.02.006},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/GarousiMBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uyms/GarousiCCD13,
author = {Vahid Garousi and
Ahmet Coskun{\c{c}}ay and
Aysu Betin Can and
Onur Demir{\"{o}}rs},
editor = {Ahmet Egesoy and
Riza Cenk Erdur and
N. Yasemin Topaloglu},
title = {T{\"{u}}rkiye'deki Yaz{\i}l{\i}m Test Uygulamalar{\i} Anketi},
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/submission62.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:35 +0100},
biburl = {https://dblp.org/rec/conf/uyms/GarousiCCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/ZamilC11,
author = {Mohammed G. H. al Zamil and
Aysu Betin Can},
title = {{ROLEX-SP:} Rules of lexical syntactic patterns for free text categorization},
journal = {Knowl. Based Syst.},
volume = {24},
number = {1},
pages = {58--65},
year = {2011},
url = {https://doi.org/10.1016/j.knosys.2010.07.005},
doi = {10.1016/J.KNOSYS.2010.07.005},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/ZamilC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/OzkinaciC11,
author = {Mehmet Erdal {\"{O}}zkinaci and
Aysu Betin Can},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Detecting Execution and {HTML} Errors in {ASP.NET} Web Applications},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {172--178},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/OzkinaciC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BultanYB10,
author = {Tevfik Bultan and
Fang Yu and
Aysu Betin{-}Can},
title = {Modular verification of synchronization with reentrant locks},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558623},
doi = {10.1109/MEMCOD.2010.5558623},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BultanYB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cimca/TolubaevaC08,
author = {Munara Tolubaeva and
Aysu Betin Can},
editor = {Masoud Mohammadian},
title = {Automatic Detection of Shared Objects in Multithreaded Java Programs},
booktitle = {2008 International Conferences on Computational Intelligence for Modelling,
Control and Automation {(CIMCA} 2008), Intelligent Agents, Web Technologies
and Internet Commerce {(IAWTIC} 2008), Innovation in Software Engineering
{(ISE} 2008), 10-12 December 2008, Vienna, Austria},
pages = {522--526},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CIMCA.2008.225},
doi = {10.1109/CIMCA.2008.225},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cimca/TolubaevaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IspirC08,
author = {Mustafa Ispir and
Aysu Betin Can},
title = {An Assume Guarantee Verification Methodology for Aspect-Oriented Programming},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {391--394},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.56},
doi = {10.1109/ASE.2008.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/IspirC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Betin-CanBLLT07,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Mikael Lindvall and
Benjamin Lux and
Stefan Topp},
title = {Eliminating synchronization faults in air traffic control software
via design for verification with concurrency controllers},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {2},
pages = {129--178},
year = {2007},
url = {https://doi.org/10.1007/s10515-007-0008-2},
doi = {10.1007/S10515-007-0008-2},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Betin-CanBLLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/Betin-CanB07,
author = {Aysu Betin{-}Can and
Nazife Baykal},
title = {MedicoPort: {A} medical search engine for all},
journal = {Comput. Methods Programs Biomed.},
volume = {86},
number = {1},
pages = {73--86},
year = {2007},
url = {https://doi.org/10.1016/j.cmpb.2007.01.007},
doi = {10.1016/J.CMPB.2007.01.007},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cmpb/Betin-CanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/LindvallRDMZBBAAABHFSTPH07,
author = {Mikael Lindvall and
Ioana Rus and
Paolo Donzelli and
Atif M. Memon and
Marvin V. Zelkowitz and
Aysu Betin{-}Can and
Tevfik Bultan and
Christopher Ackermann and
Bettina Anders and
Sima Asgari and
Victor R. Basili and
Lorin Hochstein and
J{\"{o}}rg Fellmann and
Forrest Shull and
Roseanne Tesoriero Tvedt and
Daniel Pech and
Daniel Hirschbach},
title = {Experimenting with software testbeds for evaluating new technologies},
journal = {Empir. Softw. Eng.},
volume = {12},
number = {4},
pages = {417--444},
year = {2007},
url = {https://doi.org/10.1007/s10664-006-9034-0},
doi = {10.1007/S10664-006-9034-0},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/LindvallRDMZBBAAABHFSTPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Betin-CanB07,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Highly dependable concurrent programming using design for verification},
journal = {Formal Aspects Comput.},
volume = {19},
number = {2},
pages = {243--268},
year = {2007},
url = {https://doi.org/10.1007/s00165-006-0017-0},
doi = {10.1007/S00165-006-0017-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Betin-CanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/Betin-CanB05,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Verifiable Web Services with Hierarchical Interfaces},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.128},
doi = {10.1109/ICWS.2005.128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/Betin-CanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanBLLT05,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Mikael Lindvall and
Benjamin Lux and
Stefan Topp},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Application of design for verification with concurrency controllers
to air traffic control software},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {14--23},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101914},
doi = {10.1145/1101908.1101914},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Betin-CanBLLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BultanB05,
author = {Tevfik Bultan and
Aysu Betin{-}Can},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Scalable Software Model Checking Using Design for Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {337--346},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_36},
doi = {10.1007/978-3-540-69149-5\_36},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BultanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/Betin-CanBF05,
author = {Aysu Betin{-}Can and
Tevfik Bultan and
Xiang Fu},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Design for verification for asynchronously communicating Web services},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005},
pages = {750--759},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1060745.1060853},
doi = {10.1145/1060745.1060853},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/Betin-CanBF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Betin-CanB04,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
title = {Verifiable Concurrent Programming Using Concurrency Controllers},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10025},
doi = {10.1109/ASE.2004.10025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Betin-CanB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Betin-CanB03,
author = {Aysu Betin{-}Can and
Tevfik Bultan},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Interface-Based Specification and Verification of Concurrency Controllers},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {464--479},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80007-6},
doi = {10.1016/S1571-0661(05)80007-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Betin-CanB03.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 2023-11-29 20:28 CET 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:
