| Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | 0 | 0.34 | 2017 |
| Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). | 2 | 0.37 | 2017 |
| Eliminating spurious transitions in reachability with support functions | 7 | 0.43 | 2015 |
