Challenges in Constraint-Based Analysis of Hybrid Systems. - Andreas Eggers; Natalia Kalinnik; Stefan Kupferschmid; Tino Teige (CSCLP, 2008)

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. - Stefan Kupferschmid; Tino Teige; Bernd Becker 001; Martin Fränzle (MBMV, 2009)

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. - Christoph Scholl 001; Stefan Disch; Florian Pigorsch; Stefan Kupferschmid (TACAS, 2009)

Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. - Christian Miller; Stefan Kupferschmid; Bernd Becker 001 (MBMV, 2010)

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. - Christian Miller; Stefan Kupferschmid; Matthew Lewis 004; Bernd Becker 001 (SAT, 2010)

Integration of an LP Solver into Interval Constraint Propagation. - Ernst Althaus; Bernd Becker 001; Daniel Dumitriu; Stefan Kupferschmid (COCOA, 2011)

Proof certificates and non-linear arithmetic constraints. - Stefan Kupferschmid; Bernd Becker 001; Tino Teige; Martin Fränzle (DDECS, 2011)

Craig Interpolation in the Presence of Non-linear Constraints. - Stefan Kupferschmid; Bernd Becker 001 (FORMATS, 2011)

Superposition Modulo Non-linear Arithmetic. - Andreas Eggers; Evgeny Kruglov; Stefan Kupferschmid; Karsten Scheibler; Tino Teige; Christoph Weidenbach (FroCoS, 2011)

Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. - Stefan Kupferschmid; Bernd Becker 001 (MBMV, 2011)

Incremental preprocessing methods for use in BMC. - Stefan Kupferschmid; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (Formal Methods Syst. Des., 2011)

Functional test of small-delay faults using SAT and Craig interpolation. - Matthias Sauer 002; Stefan Kupferschmid; Alexander Czutro; Ilia Polian; Sudhakar M. Reddy; Bernd Becker 001 (ITC, 2012)

Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. - Matthias Sauer 002; Stefan Kupferschmid; Alejandro Czutro; Sudhakar M. Reddy; Bernd Becker 001 (VLSI Design, 2012)

Recent Improvements in the SMT Solver iSAT. - Karsten Scheibler; Stefan Kupferschmid; Bernd Becker 001 (MBMV, 2013)

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung. - Stefan Kupferschmid (Der Andere Verlag, 2013)

A Formal Approach to the Traveling Professor Problem. - Matthias Sauer 002; Stefan Kupferschmid (Aspekte der Technischen Informatik, 2014)