Travelled to:1 × France
1 × United Kingdom
Collaborated with:M.Heizmann D.Dietsch A.Podelski J.Leike A.Nutz J.Christ J.Hoenicke M.Lindenmann C.Schilling S.Wissert
Talks about:contribut (2) competit (2) ultim (2) autom (2) unsatisfi (1) interpol (1) softwar (1) newton (1) model (1) craig (1)
Person: Betim Musa
DBLP: Musa:Betim
Contributed to:
20152014
2017Wrote 3 papers:
- TACAS-2015-HeizmannDLMP #array #contest
- Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
- TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability
- Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
- ESEC-FSE-2017-DietschHMNP #model checking
- Craig vs. Newton in software model checking (DD, MH, BM, AN, AP), pp. 487–497.