Name | Karsten Scheibler, Dr. |

Adresse | Technische Fakultät Albert-Ludwigs-Universität Georges Köhler Allee, Gebäude 51 79110 Freiburg im Breisgau Deutschland |

Büro | Gebäude 51, Raum 01..035 |

Telefon | ++49 +761 203-8145 |

Fax | ++49 +761 203-8142 |

scheibler@informatik.uni-freiburg.de |

Karsten Scheibler

Jahre: 2017 | 2016 | 2015 | 2014 | 2013 | 2011

## 2017

nach oben zur Jahresübersicht- 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**

2017*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* -
*Universität Freiburg / FreiDok***Applying CDCL to Verification and Test: When Laziness Pays Off**

Karsten Scheibler

## 2016

nach oben zur Jahresübersicht- Matthias Sauer, Sven Reimer, Daniel Tille, Karsten Scheibler, Dominik Erb, Ulrike Pfannkuchen, Bernd Becker
**Clock Cycle Aware Encoding for SAT-based Circuit Initialization**

2016 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” - Karsten Scheibler, Dominik Erb, Bernd Becker
**Accurate CEGAR-based ATPG in Presence of Unknown Values for Large Industrial Designs**

2016*Conf. on Design, Automation and Test in Europe* - 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**

2016*First International Workshop on Satisfiability Checking and Symbolic Computation - FETOPEN-CSA SC2 Workshop - Affiliated with SYNASC 2016* - Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
**Accurate ICP-based Floating-Point Reasoning**

2016*Formal Methods in Computer-Aided Design*, Seiten: 177 - 184 - Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
**Advancing software model checking beyond linear arithmetic theories**

2016 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016*Twelfth Haifa Verification Conference 2016*, Bloem, Roderick, Arbel, Eli (Eds.), Band: 10028, Seiten: 186 - 201 - Karsten Scheibler, Dominik Erb, Bernd Becker
**Applying Tailored Formal Methods to X-ATPG**

2016*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”* - Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
**Extending iSAT3 with ICP-Contractors for Bitwise Integer Operations**

*AVACS Technical Report, SFB/TR 14 AVACS, Subproject T1*, Band: 116, 2016 - 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**

2016*21st Asia and South Pacific Design Automation Conference*

## 2015

nach oben zur Jahresübersicht- Karsten Scheibler, Dominik Erb, Bernd Becker
**Improving Test Pattern Generation in Presence of Unknown Values beyond Restricted Symbolic Logic**

2015*to be published at European Test Symposium (ETS)* - Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
**Multi-Cycle Circuit Parameter Independent ATPG for Interconnect Open Defects**

2015*33rd VLSI Test Symposium (VTS)* - Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
**Towards Verification of Artificial Neural Networks**

2015*GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”*

## 2014

nach oben zur Jahresübersicht- Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
**Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects**

2014*23nd IEEE Asian Test Symposium (ATS)* - Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker
**Efficient SMT-based ATPG for Interconnect Open Defects**

2014*Conf. on Design, Automation and Test in Europe* - Karsten Scheibler, Bernd Becker
**Implication Graph Compression inside the SMT Solver iSAT3**

2014 - Dominik Erb, Karsten Scheibler, Michael Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
**Test Pattern Generation in Presence of Unknown Values Based on Restricted Symbolic Logic**

2014*Int'l Test Conf.* - Karsten Scheibler, Bernd Becker
**Using Interval Constraint Propagation for Pseudo-Boolean Constraint Solving**

2014*Formal Methods in Computer-Aided Design*

## 2013

nach oben zur Jahresübersicht- Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
**A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition**

2013*CADE*, Springer, Band: 7898, Seiten: 193 - 207 - Karsten Scheibler, Matthias Sauer, Kohei Miyase, Bernd Becker
**Controlling Small-Delay Test Power Consumption using Satisfibility Modulo Theory Solving**

2013*GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”* - Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
**Recent Improvements in the SMT Solver iSAT**

2013

## 2011

nach oben zur Jahresübersicht- Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
**Superposition modulo non-linear arithmetic**

2011*Int'l Symp. on Frontiers of Combining Systems*, Springer, Seiten: 119 - 134