Betim Musa

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Unsatisfiable Cores

Cluttered Environments

Maximum Satisfiability

Top Venues

ESEC/SIGSOFT FSE

Publications

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE (2017)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS (2015)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)