M. Erkan Keremoglu

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Shared Memory Multiprocessor

Concurrent Programs

Temporal Properties

Top Venues

Empir. Softw. Eng.

Publications

Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
Conditional model checking: a technique to pass information between verifiers. SIGSOFT FSE (2012)
Serdar Tasiran, M. Erkan Keremoglu, Kivanç Muslu
Location pairs: a test coverage metric for shared-memory concurrent programs. Empir. Softw. Eng. 17 (3) (2012)
Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler
Conditional Model Checking CoRR (2011)
Dirk Beyer, M. Erkan Keremoglu
CPAchecker: A Tool for Configurable Software Verification. CAV (2011)
Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler
Predicate abstraction with adjustable-block encoding. FMCAD (2010)
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
Software Model Checking via Large-Block Encoding CoRR (2009)
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani
Software model checking via large-block encoding. FMCAD (2009)
Dirk Beyer, M. Erkan Keremoglu
CPAchecker: A Tool for Configurable Software Verification CoRR (2009)
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas
A classification of concurrency bugs in java benchmarks by developer intent. PADTAD (2006)
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES (2005)