The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Karsten Scheibler" ( http://dblp.L3S.de/Authors/Karsten_Scheibler )

  Author page on DBLP  Author page in RDF  Community of Karsten Scheibler in ASPL-2

Publication years (Num. hits)
2011-2016 (17) 2017 (2)
Publication types (Num. hits)
inproceedings(18) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Karsten Scheibler Applying CDCL to verification and test: when laziness pays off. Search on Bibsonomy 2017   RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. Search on Bibsonomy ASP-DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker 0001 Advancing Software Model Checking Beyond Linear Arithmetic Theories. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Applying Tailored Formal Methods to X-ATPG. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. Search on Bibsonomy VTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker 0001 Towards Verification of Artificial Neural Networks. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. Search on Bibsonomy ETS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Bernd Becker 0001 Using interval constraint propagation for pseudo-Boolean constraint solving. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Bernd Becker 0001 Efficient SMT-based ATPG for interconnect open defects. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Bernd Becker 0001 Implication Graph Compression inside the SMT Solver iSAT3. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Matthias Sauer 0002, Sudhakar M. Reddy, Bernd Becker 0001 Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. Search on Bibsonomy ATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 Test pattern generation in presence of unknown values based on restricted symbolic logic. Search on Bibsonomy ITC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Stefan Kupferschmid, Bernd Becker 0001 Recent Improvements in the SMT Solver iSAT. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker 0001 A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach Superposition Modulo Non-linear Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license