Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: M. Erkan Keremoglu
@article{DBLP:journals/ese/TasiranKM12, author = {Serdar Tasiran and M. Erkan Keremoglu and Kivan{\c{c}} Muslu}, title = {Location pairs: a test coverage metric for shared-memory concurrent programs}, journal = {Empir. Softw. Eng.}, volume = {17}, number = {3}, pages = {129--165}, year = {2012}, url = {https://doi.org/10.1007/s10664-011-9166-8}, doi = {10.1007/S10664-011-9166-8}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ese/TasiranKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/BeyerHKW12, author = {Dirk Beyer and Thomas A. Henzinger and M. Erkan Keremoglu and Philipp Wendler}, editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan}, title = {Conditional model checking: a technique to pass information between verifiers}, booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012}, pages = {57}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2393596.2393664}, doi = {10.1145/2393596.2393664}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BeyerHKW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeyerK11, author = {Dirk Beyer and M. Erkan Keremoglu}, editor = {Ganesh Gopalakrishnan and Shaz Qadeer}, title = {CPAchecker: {A} Tool for Configurable Software Verification}, booktitle = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6806}, pages = {184--190}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22110-1\_16}, doi = {10.1007/978-3-642-22110-1\_16}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeyerK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1109-6926, author = {Dirk Beyer and Thomas A. Henzinger and M. Erkan Keremoglu and Philipp Wendler}, title = {Conditional Model Checking}, journal = {CoRR}, volume = {abs/1109.6926}, year = {2011}, url = {http://arxiv.org/abs/1109.6926}, eprinttype = {arXiv}, eprint = {1109.6926}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1109-6926.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BeyerKW10, author = {Dirk Beyer and M. Erkan Keremoglu and Philipp Wendler}, editor = {Roderick Bloem and Natasha Sharygina}, title = {Predicate abstraction with adjustable-block encoding}, booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October 20-23}, pages = {189--197}, publisher = {{IEEE}}, year = {2010}, url = {https://ieeexplore.ieee.org/document/5770949/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BeyerKW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BeyerCGKS09, author = {Dirk Beyer and Alessandro Cimatti and Alberto Griggio and M. Erkan Keremoglu and Roberto Sebastiani}, title = {Software model checking via large-block encoding}, booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}}, pages = {25--32}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/FMCAD.2009.5351147}, doi = {10.1109/FMCAD.2009.5351147}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BeyerCGKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0902-0019, author = {Dirk Beyer and M. Erkan Keremoglu}, title = {CPAchecker: {A} Tool for Configurable Software Verification}, journal = {CoRR}, volume = {abs/0902.0019}, year = {2009}, url = {http://arxiv.org/abs/0902.0019}, eprinttype = {arXiv}, eprint = {0902.0019}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0902-0019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0904-4709, author = {Dirk Beyer and Alessandro Cimatti and Alberto Griggio and M. Erkan Keremoglu and Roberto Sebastiani}, title = {Software Model Checking via Large-Block Encoding}, journal = {CoRR}, volume = {abs/0904.4709}, year = {2009}, url = {http://arxiv.org/abs/0904.4709}, eprinttype = {arXiv}, eprint = {0904.4709}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0904-4709.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/KeremogluTE06, author = {M. Erkan Keremoglu and Serdar Tasiran and Tayfun Elmas}, editor = {Shmuel Ur and Eitan Farchi}, title = {A classification of concurrency bugs in java benchmarks by developer intent}, booktitle = {Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis {(ISSTA} 2006), {PADTAD} 2006, Portland, Maine, USA, July 17, 2006}, pages = {23--26}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1147403.1147407}, doi = {10.1145/1147403.1147407}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/KeremogluTE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fates/TasiranEBK05, author = {Serdar Tasiran and Tayfun Elmas and Guven Bolukbasi and M. Erkan Keremoglu}, editor = {Wolfgang Grieskamp and Carsten Weise}, title = {A Novel Test Coverage Metric for Concurrently-Accessed Software Components}, booktitle = {Formal Approaches to Software Testing, 5th International Workshop, {FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3997}, pages = {62--71}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11759744\_5}, doi = {10.1007/11759744\_5}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/fates/TasiranEBK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.