BibTeX records: Ahmet Çelik

download as .bib file

@article{DBLP:journals/pacmpl/CelikNRG19,
  author    = {Ahmet {\c{C}}elik and
               Pengyu Nie and
               Christopher J. Rossbach and
               Milos Gligoric},
  title     = {Design, implementation, and application of GPU-based Java bytecode
               interpreters},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {177:1--177:28},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360603},
  doi       = {10.1145/3360603},
  timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/CelikNRG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CelikPPAG19,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Marinela Parovic and
               Emilio Jes{\'{u}}s Gallego Arias and
               Milos Gligoric},
  title     = {Mutation Analysis for Coq},
  booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages     = {539--551},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ASE.2019.00057},
  doi       = {10.1109/ASE.2019.00057},
  timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/CelikPPAG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/CelikGBPT19,
  author    = {Ahmet {\c{C}}elik and
               Mustafa Can Gursoy and
               Ertugrul Basar and
               Ali Emre Pusane and
               Tuna Tugcu},
  title     = {A Low-Complexity Solution to Angular Misalignments in Molecular Index
               Modulation},
  booktitle = {30th {IEEE} Annual International Symposium on Personal, Indoor and
               Mobile Radio Communications, {PIMRC} 2019, Istanbul, Turkey, September
               8-11, 2019},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/PIMRC.2019.8904369},
  doi       = {10.1109/PIMRC.2019.8904369},
  timestamp = {Tue, 26 Nov 2019 09:39:15 +0100},
  biburl    = {https://dblp.org/rec/conf/pimrc/CelikGBPT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CelikPG18,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Milos Gligoric},
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {A regression proof selection tool for coq},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {117--120},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3183440.3183493},
  doi       = {10.1145/3183440.3183493},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CelikPG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangZCKBG18,
  author    = {Kaiyuan Wang and
               Chenguang Zhu and
               Ahmet {\c{C}}elik and
               Jongwook Kim and
               Don S. Batory and
               Milos Gligoric},
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {Towards refactoring-aware regression test selection},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering,
               {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
  pages     = {233--244},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3180155.3180254},
  doi       = {10.1145/3180155.3180254},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/WangZCKBG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PalmskogCG18,
  author    = {Karl Palmskog and
               Ahmet {\c{C}}elik and
               Milos Gligoric},
  editor    = {Frank Tip and
               Eric Bodden},
  title     = {piCoq: parallel regression proving for large-scale verification projects},
  booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
               July 16-21, 2018},
  pages     = {344--355},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3213846.3213877},
  doi       = {10.1145/3213846.3213877},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/PalmskogCG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CelikLG18,
  author    = {Ahmet {\c{C}}elik and
               Young{-}Chul Lee and
               Milos Gligoric},
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {Regression test selection for TizenRT},
  booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
               2018},
  pages     = {845--850},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236024.3275527},
  doi       = {10.1145/3236024.3275527},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CelikLG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CelikPKG17,
  author    = {Ahmet {\c{C}}elik and
               Sreepathi Pai and
               Sarfraz Khurshid and
               Milos Gligoric},
  title     = {Bounded exhaustive test-input generation on GPUs},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {94:1--94:25},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133918},
  doi       = {10.1145/3133918},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/CelikPKG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CelikPG17,
  author    = {Ahmet {\c{C}}elik and
               Karl Palmskog and
               Milos Gligoric},
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {iCoq: regression proof selection for large-scale verification projects},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {171--182},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115630},
  doi       = {10.1109/ASE.2017.8115630},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/CelikPG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CelikVMG17,
  author    = {Ahmet {\c{C}}elik and
               Marko Vasic and
               Aleksandar Milicevic and
               Milos Gligoric},
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Regression test selection across {JVM} boundaries},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {809--820},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3106237.3106297},
  doi       = {10.1145/3106237.3106297},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CelikVMG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CelikKMG16,
  author    = {Ahmet {\c{C}}elik and
               Alex Knaust and
               Aleksandar Milicevic and
               Milos Gligoric},
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Build system with lazy retrieval for Java projects},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {643--654},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290.2950358},
  doi       = {10.1145/2950290.2950358},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CelikKMG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/OzgulGOC12,
  author    = {Fatih {\"{O}}zg{\"{u}}l and
               Murat Gok and
               Yakup Ozal and
               Ahmet {\c{C}}elik},
  title     = {Mining Hate Crimes to Figure Out Reasons Behind},
  booktitle = {International Conference on Advances in Social Networks Analysis and
               Mining, {ASONAM} 2012, Istanbul, Turkey, 26-29 August 2012},
  pages     = {887--889},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/ASONAM.2012.159},
  doi       = {10.1109/ASONAM.2012.159},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/asunam/OzgulGOC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isi/OzgulACE11,
  author    = {Fatih {\"{O}}zg{\"{u}}l and
               Claus Atzenbeck and
               Ahmet {\c{C}}elik and
               Zeki Erdem},
  title     = {Incorporating data sources and methodologies for crime data mining},
  booktitle = {2011 {IEEE} International Conference on Intelligence and Security
               Informatics, {ISI} 2011, Beijing, China, 10-12 July, 2011},
  pages     = {176--180},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://doi.org/10.1109/ISI.2011.5983995},
  doi       = {10.1109/ISI.2011.5983995},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/conf/isi/OzgulACE11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paisi/OzgulCAE11,
  author    = {Fatih {\"{O}}zg{\"{u}}l and
               Ahmet {\c{C}}elik and
               Claus Atzenbeck and
               Zeki Erdem},
  editor    = {Michael Chau and
               G. Alan Wang and
               Xiaolong Zheng and
               Hsinchun Chen and
               Daniel Zeng and
               Wenji Mao},
  title     = {Specific Similarity Measure for Terrorist Networks: How Much Similar
               Are Terrorist Networks of Turkey?},
  booktitle = {Intelligence and Security Informatics - Pacific Asia Workshop, {PAISI}
               2011, Beijing, China, July 9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6749},
  pages     = {15--26},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22039-5\_2},
  doi       = {10.1007/978-3-642-22039-5\_2},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/paisi/OzgulCAE11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lnsn/OzgulCAG11,
  author    = {Fatih {\"{O}}zg{\"{u}}l and
               Ahmet {\c{C}}elik and
               Claus Atzenbeck and
               Nadir Gergin},
  editor    = {Uffe Kock Wiil},
  title     = {Investigating Terrorist Attacks Using {CDR} Data: {A} Case Study},
  booktitle = {Counterterrorism and Open Source Intelligence},
  series    = {Lecture Notes in Social Networks},
  volume    = {2},
  pages     = {343--354},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-7091-0388-3\_17},
  doi       = {10.1007/978-3-7091-0388-3\_17},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/series/lnsn/OzgulCAG11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/EnginCK08,
  author    = {Orhan Engin and
               Ahmet {\c{C}}elik and
               Ihsan Kaya},
  title     = {A fuzzy approach to define sample size for attributes control chart
               in multistage processes: An application in engine valve manufacturing
               process},
  journal   = {Appl. Soft Comput.},
  volume    = {8},
  number    = {4},
  pages     = {1654--1663},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.asoc.2008.01.005},
  doi       = {10.1016/j.asoc.2008.01.005},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/asc/EnginCK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics