default search action
Karsten Scheibler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j1]Tobias Seufert
, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1351-1364 (2023) - 2022
- [c24]Lukas Mentel, Karsten Scheibler, Tino Teige:
Detection and Elimination of Constants to Strengthen k-Induction. MBMV 2022: 1-10 - 2021
- [c23]Karsten Scheibler, Felix Winterer, Tobias Seufert
ICP and IC3. DATE 2021: 1116-1121 - [c22]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: 725-729 - [c21]Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige:
Benchmarking SMT Solvers on Automotive Code. MBMV 2021: 1-10 - [c20]Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker:
ICP and IC3 with Stronger Generalization. MBMV 2021: 1-12 - [i1]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 abs/2105.09169 (2021)
2010 – 2019
- 2019
- [c19]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 - 2017
- [b1]Karsten Scheibler:
Applying CDCL to verification and test: when laziness pays off. University of Freiburg, Freiburg im Breisgau, Germany, 2017 - [c18]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: 53-54 - 2016
- [c17]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: 749-754 - [c16]Karsten Scheibler, Dominik Erb, Bernd Becker:
Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE 2016: 972-977 - [c15]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: 177-184 - [c14]Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference 2016: 186-201 - [c13]Karsten Scheibler, Dominik Erb, Bernd Becker
Applying Tailored Formal Methods to X-ATPG. MBMV 2016: 138 - [c12]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: 32-38 - 2015
- [c11]Karsten Scheibler, Dominik Erb, Bernd Becker
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS 2015: 1-6 - [c10]Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker:
Towards Verification of Artificial Neural Networks. MBMV 2015: 30-40 - [c9]Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. VTS 2015: 1-6 - 2014
- [c8]Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. ATS 2014: 131-136 - [c7]Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker:
Efficient SMT-based ATPG for interconnect open defects. DATE 2014: 1-6 - [c6]Karsten Scheibler, Bernd Becker
Using interval constraint propagation for pseudo-Boolean constraint solving. FMCAD 2014: 203-206 - [c5]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: 1-10 - [c4]Karsten Scheibler, Bernd Becker:
Implication Graph Compression inside the SMT Solver iSAT3. MBMV 2014: 25-36 - 2013
- [c3]Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE 2013: 193-207 - [c2]Karsten Scheibler, Stefan Kupferschmid, Bernd Becker:
Recent Improvements in the SMT Solver iSAT. MBMV 2013: 231-241 - 2011
- [c1]Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach:
Superposition Modulo Non-linear Arithmetic. FroCoS 2011: 119-134
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 23:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: