Betim Musa

According to our database, Betim Musa authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Craig vs. Newton in software model checking.

Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Ultimate Automizer with Two-track Proofs - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014