Mehmet E. Keremoglu, Ph.D.
Affiliations: | 2012 | Simon Fraser University, Burnaby, British Columbia, Canada |
Area:
Computer ScienceGoogle:
"Mehmet Keremoglu"Parents
Sign in to add mentor| Dirk Beyer | grad student | 2012 | Simon Fraser | |
| (Towards scalable software analysis using combinations and conditions with CPAchecker.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Beyer D, Henzinger TA, Keremoglu ME, et al. (2012) Conditional model checking: A technique to pass information between verifiers Proceedings of the Acm Sigsoft 20th International Symposium On the Foundations of Software Engineering, Fse 2012 |
| Beyer D, Keremoglu ME. (2011) CPAchecker: A tool for configurable software verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6806: 184-190 |
| Beyer D, Keremoglu ME, Wendler P. (2010) Predicate abstraction with adjustable-block encoding Formal Methods in Computer Aided Design, Fmcad 2010. 189-197 |
| Beyer D, Cimatti A, Griggio A, et al. (2009) Software model checking via large-block encoding 9th International Conference Formal Methods in Computer Aided Design, Fmcad 2009. 25-32 |
| Keremoglu ME, Tasiran S, Elmas T. (2006) A classification of concurrency bugs in java benchmarks by developer intent Proceeding of the 2006 Workshop On Parallel and Distributed Systems: Testing and Debugging, Padtad '06. 2006: 23-25 |
| Tasiran S, Elmas T, Bolukbasi G, et al. (2006) A novel test coverage metric for concurrently-accessed software components (A work-in-progress paper) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3997: 62-71 |