Karsten Scheibler

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