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

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. - Ulrich Loup; Karsten Scheibler; Florian Corzilius; Erika Ábrahám; Bernd Becker 001 (CADE, 2013)

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

Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. - Dominik Erb; Karsten Scheibler; Matthias Sauer 002; Sudhakar M. Reddy; Bernd Becker 001 (ATS, 2014)

Efficient SMT-based ATPG for interconnect open defects. - Dominik Erb; Karsten Scheibler; Matthias Sauer 002; Bernd Becker 001 (DATE, 2014)

Using interval constraint propagation for pseudo-Boolean constraint solving. - Karsten Scheibler; Bernd Becker 001 (FMCAD, 2014)

Test pattern generation in presence of unknown values based on restricted symbolic logic. - Dominik Erb; Karsten Scheibler; Michael A. Kochte; Matthias Sauer 002; Hans-Joachim Wunderlich; Bernd Becker 001 (ITC, 2014)

Implication Graph Compression inside the SMT Solver iSAT3. - Karsten Scheibler; Bernd Becker 001 (MBMV, 2014)

Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. - Karsten Scheibler; Dominik Erb; Bernd Becker 001 (ETS, 2015)

Towards Verification of Artificial Neural Networks. - Karsten Scheibler; Leonore Winterer; Ralf Wimmer 001; Bernd Becker 001 (MBMV, 2015)

Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. - Dominik Erb; Karsten Scheibler; Matthias Sauer 002; Sudhakar M. Reddy; Bernd Becker 001 (VTS, 2015)

Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. - Dominik Erb; Karsten Scheibler; Michael A. Kochte; Matthias Sauer 002; Hans-Joachim Wunderlich; Bernd Becker 001 (ASP-DAC, 2016)

Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. - Karsten Scheibler; Dominik Erb; Bernd Becker 001 (DATE, 2016)

Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Advancing Software Model Checking Beyond Linear Arithmetic Theories. - Ahmed Mahdi; Karsten Scheibler; Felix Neubauer; Martin Fränzle; Bernd Becker 001 (Haifa Verification Conference, 2016)

Applying Tailored Formal Methods to X-ATPG. - Karsten Scheibler; Dominik Erb; Bernd Becker 001 (MBMV, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)

Applying CDCL to verification and test: when laziness pays off. - Karsten Scheibler (2017)

Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Karsten Scheibler; Andreas Eggers; Tino Teige; Marius Walz; Tom Bienmüller; Udo Brockmeyer (SC-square@SIAM AG, 2019)

ICP and IC3. - Karsten Scheibler; Felix Winterer; Tobias Seufert; Tino Teige; Christoph Scholl 001; Bernd Becker 001 (DATE, 2021)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. - Tino Teige; Andreas Eggers; Karsten Scheibler; Matthias Stasch; Udo Brockmeyer; Hans Jürgen Holberg; Tom Bienmüller (FM, 2021)

Benchmarking SMT Solvers on Automotive Code. - Lukas Mentel; Karsten Scheibler; Felix Winterer; Bernd Becker 001; Tino Teige (MBMV, 2021)

ICP and IC3 with Stronger Generalization. - Felix Winterer; Tobias Seufert; Karsten Scheibler; Tino Teige; Chritsoph Scholl; Bernd Becker 001 (MBMV, 2021)

Detection and Elimination of Constants to Strengthen k-Induction. - Lukas Mentel; Karsten Scheibler; Tino Teige (MBMV, 2022)

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. - Tobias Seufert; Felix Winterer; Christoph Scholl 001; Karsten Scheibler; Tobias Paxian; Bernd Becker 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)