BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Keremoglu:M=_Erkan

Contributed to:

FSE 20122012
CAV 20112011
FATES 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.