Stefan Kupferschmid

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Venues

Aspekte der Technischen Informatik

VLSI Design

MBMV

ITC

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

Matthias Sauer, Stefan Kupferschmid
A Formal Approach to the Traveling Professor Problem. Aspekte der Technischen Informatik (2014)
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
Recent Improvements in the SMT Solver iSAT. MBMV (2013)
Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker
Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. VLSI Design (2012)
Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
Functional test of small-delay faults using SAT and Craig interpolation. ITC (2012)
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
Superposition Modulo Non-linear Arithmetic. FroCoS (2011)
Stefan Kupferschmid, Bernd Becker
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. MBMV (2011)
Stefan Kupferschmid, Bernd Becker
Craig Interpolation in the Presence of Non-linear Constraints. FORMATS (2011)
Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
Integration of an LP Solver into Interval Constraint Propagation. COCOA (2011)
Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
Proof certificates and non-linear arithmetic constraints. DDECS (2011)
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
Incremental preprocessing methods for use in BMC. Formal Methods Syst. Des. 39 (2) (2011)
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT (2010)
Christian Miller, Stefan Kupferschmid, Bernd Becker
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. MBMV (2010)
Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV (2009)
Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. TACAS (2009)
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP (2008)

Stefan Kupferschmid.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Kupferschmid