Karsten Scheibler

According to our database, Karsten Scheibler authored at least 25 papers between 2011 and 2023.

Collaborative distances:

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

2023

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR.

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

2022

Detection and Elimination of Constants to Strengthen k-Induction.

Lukas Mentel, Karsten Scheibler, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2021

ICP and IC3 with Stronger Generalization.

Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Benchmarking SMT Solvers on Automotive Code.

Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 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

Proceedings of the Formal Methods - 24th International Symposium, 2021

ICP and IC3.

Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019

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

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2017

Applying CDCL to verification and test: when laziness pays off.

Karsten Scheibler

PhD thesis, 2017

2016

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Applying Tailored Formal Methods to X-ATPG.

Karsten Scheibler, Dominik Erb, Bernd Becker

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Advancing Software Model Checking Beyond Linear Arithmetic Theories.

Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker

Proceedings of the Hardware and Software: Verification and Testing, 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

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs.

Karsten Scheibler, Dominik Erb, Bernd Becker

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns.

Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects.

Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 33rd IEEE VLSI Test Symposium, 2015

Towards Verification of Artificial Neural Networks.

Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Improving test pattern generation in presence of unknown values beyond restricted symbolic logic.

Karsten Scheibler, Dominik Erb, Bernd Becker

Proceedings of the 20th IEEE European Test Symposium, 2015

2014

Implication Graph Compression inside the SMT Solver iSAT3.

Karsten Scheibler, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Test pattern generation in presence of unknown values based on restricted symbolic logic.

Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker

Proceedings of the 2014 International Test Conference, 2014

Using interval constraint propagation for pseudo-Boolean constraint solving.

Karsten Scheibler, Bernd Becker

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Efficient SMT-based ATPG for interconnect open defects.

Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects.

Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 23rd IEEE Asian Test Symposium, 2014

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

A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker

Proceedings of the Automated Deduction - CADE-24, 2013

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