Karsten Scheibler

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 18

Top Venues

MBMV

DATE

FMCAD

ETS

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Lukas Mentel, Karsten Scheibler, Tino Teige
Detection and Elimination of Constants to Strengthen k-Induction. MBMV (2022)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. CoRR (2021)
Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige
Benchmarking SMT Solvers on Automotive Code. MBMV (2021)
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
ICP and IC3. DATE (2021)
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. FM (2021)
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
ICP and IC3 with Stronger Generalization. MBMV (2021)
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-square@SIAM AG (2019)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Karsten Scheibler, Dominik Erb, Bernd Becker
Applying Tailored Formal Methods to X-ATPG. MBMV (2016)
Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. ASP-DAC (2016)
Karsten Scheibler, Dominik Erb, Bernd Becker
Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE (2016)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Karsten Scheibler, Dominik Erb, Bernd Becker
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS (2015)
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
Towards Verification of Artificial Neural Networks. MBMV (2015)
Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. VTS (2015)
Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. ATS (2014)
Karsten Scheibler, Bernd Becker
Implication Graph Compression inside the SMT Solver iSAT3. MBMV (2014)
Karsten Scheibler, Bernd Becker
Using interval constraint propagation for pseudo-Boolean constraint solving. FMCAD (2014)
Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
Test pattern generation in presence of unknown values based on restricted symbolic logic. ITC (2014)
Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker
Efficient SMT-based ATPG for interconnect open defects. DATE (2014)
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE (2013)
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
Recent Improvements in the SMT Solver iSAT. MBMV (2013)
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
Superposition Modulo Non-linear Arithmetic. FroCoS (2011)

Karsten Scheibler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karsten Scheibler