Stefan Kupferschmid

According to our database, Stefan Kupferschmid authored at least 16 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

A Formal Approach to the Traveling Professor Problem.

Matthias Sauer, Stefan Kupferschmid

Proceedings of the Aspekte der Technischen Informatik, 2014

2013

Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung.

Stefan Kupferschmid

PhD thesis, 2013

Recent Improvements in the SMT Solver iSAT.

Karsten Scheibler, Stefan Kupferschmid, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2012

Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.

Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 25th International Conference on VLSI Design, 2012

Functional test of small-delay faults using SAT and Craig interpolation.

Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 2012 IEEE International Test Conference, 2012

2011

Incremental preprocessing methods for use in BMC.

Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker

Formal Methods Syst. Des., 2011

Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen.

Stefan Kupferschmid, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Superposition Modulo Non-linear Arithmetic.

Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Craig Interpolation in the Presence of Non-linear Constraints.

Stefan Kupferschmid, Bernd Becker

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Proof certificates and non-linear arithmetic constraints.

Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

Integration of an LP Solver into Interval Constraint Propagation.

Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid

Proceedings of the Combinatorial Optimization and Applications, 2011

2010

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints.

Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.

Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

2008

Challenges in Constraint-Based Analysis of Hybrid Systems.

Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige

Proceedings of the Recent Advances in Constraints, 2008