Karsten Scheibler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | ICP and IC3. | Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker |
| 2021 | FM | Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. | Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jrgen Holberg, Tom Bienmller |
| 2016 | ASPDAC | 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 |
| 2016 | DATE | Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. | Karsten Scheibler, Dominik Erb, Bernd Becker |
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |
| 2015 | ETS | Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. | Karsten Scheibler, Dominik Erb, Bernd Becker |
| 2015 | VTS | Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. | Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker |
| 2014 | DATE | Efficient SMT-based ATPG for interconnect open defects. | Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker |
| 2014 | FMCAD | Using interval constraint propagation for pseudo-Boolean constraint solving. | Karsten Scheibler, Bernd Becker |
| 2014 | ITC | 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 |
| 2013 | CADE | A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. | Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika brahm, Bernd Becker |