Travelled to:1 × United Kingdom
2 × USA
Collaborated with:D.Beyer T.A.Henzinger P.Wendler S.Tasiran T.Elmas G.Bolukbasi
Talks about:softwar (2) techniqu (1) configur (1) coverag (1) concurr (1) between (1) verifi (1) metric (1) inform (1) condit (1)
Person: M. Erkan Keremoglu
DBLP: Keremoglu:M=_Erkan
Contributed to:
2012
2011
2005Wrote 3 papers:
- FSE-2012-BeyerHKW #model checking #verification
- Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.
- CAV-2011-BeyerK #configuration management #named #verification
- CPAchecker: A Tool for Configurable Software Verification (DB, MEK), pp. 184–190.
- FATES-2005-TasiranEBK #component #metric #novel #test coverage
- A Novel Test Coverage Metric for Concurrently-Accessed Software Components (ST, TE, GB, MEK), pp. 62–71.