BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × France
2 × Italy
Collaborated with:
J.Hoenicke A.Podelski M.Schäf T.Wies J.Christ A.Nutz D.Dietsch M.Heizmann M.Lindenmann C.Schilling
Talks about:
contribut (2) interpol (2) competit (2) ultim (2) sensit (1) invari (1) split (1) local (1) kojak (1) fault (1)

Person: Evren Ermis

DBLP DBLP: Ermis:Evren

Contributed to:

TACAS 20142014
TACAS 20132013
VMCAI 20132013
FM 20122012
VMCAI 20122012

Wrote 5 papers:

TACAS-2014-ErmisNDHP #contest
Ultimate Kojak — (Competition Contribution) (EE, AN, DD, JH, AP), pp. 421–423.
TACAS-2013-HeizmannCDEHLNSP #contest
Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
VMCAI-2013-ChristESW #fault #locality
Flow-Sensitive Fault Localization (JC, EE, MS, TW), pp. 189–208.
FM-2012-ErmisSW #fault #invariant
Error Invariants (EE, MS, TW), pp. 187–201.
VMCAI-2012-ErmisHP
Splitting via Interpolants (EE, JH, AP), pp. 186–201.

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.