M. Erkan Keremoglu

Conditional model checking: a technique to pass information between verifiers

Thomas A. Henzinger, Dirk Beyer, M. Erkan Keremoglu, 2012, SIGSOFT FSE.

Conditional Model Checking pdf

Thomas A. Henzinger, Dirk Beyer, M. Erkan Keremoglu, 2011, ArXiv.

Predicate abstraction with adjustable-block encoding

Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler, 2010, Formal Methods in Computer Aided Design.

A classification of concurrency bugs in java benchmarks by developer intent

Serdar Tasiran, M. Erkan Keremoglu, Tayfun Elmas, 2006, PADTAD '06.

CPAchecker: A Tool for Configurable Software Verification

Dirk Beyer, M. Erkan Keremoglu, Dirk Beyer, 2009, CAV.

Software model checking via large-block encoding

Dirk Beyer, Alberto Griggio, Alessandro Cimatti, 2009, 2009 Formal Methods in Computer-Aided Design.

A Novel Test Coverage Metric for Concurrently-Accessed Software Components

Serdar Tasiran, M. Erkan Keremoglu, Tayfun Elmas, 2005, FATES.

Location pairs: a test coverage metric for shared-memory concurrent programs

Serdar Tasiran, M. Erkan Keremoglu, Kivanç Muslu, 2011, Empirical Software Engineering.

University of Trento Software Model Checking via Large-block Encoding Software Model Checking via Large-block Encoding

Dirk Beyer, Alberto Griggio, Alessandro Cimatti, 2009 .