| SMTInterpol: An interpolating SMT solver J Christ, J Hoenicke, A Nutz International SPIN Workshop on Model Checking of Software, 248-254, 2012 | 209 | 2012 |
| Ultimate Automizer with SMTInterpol: (Competition Contribution) M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ... International Conference on Tools and Algorithms for the Construction and …, 2013 | 61 | 2013 |
| Proof tree preserving interpolation J Christ, J Hoenicke, A Nutz International Conference on Tools and Algorithms for the Construction and …, 2013 | 38 | 2013 |
| ULTIMATE KOJAK with Memory Safety Checks: (Competition Contribution) A Nutz, D Dietsch, MM Mohamed, A Podelski Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 33 | 2015 |
| Ultimate Kojak: (Competition Contribution) E Ermis, A Nutz, D Dietsch, J Hoenicke, A Podelski Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 8 | 2014 |
