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