| 2012 | ITC | Functional test of small-delay faults using SAT and Craig interpolation. | Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker |
| 2012 | VLSID | Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. | Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker |
| 2011 | COCOA | Integration of an LP Solver into Interval Constraint Propagation. | Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid |
| 2011 | DDECS | Proof certificates and non-linear arithmetic constraints. | Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Frnzle |
| 2010 | SAT | Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. | Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker |
| 2009 | TACAS | Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. | Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid |