## Publikationen

- Alle Publikationen
- Originalarbeiten in wissenschaftlichen Fachzeitschriften
- Buchbeiträge
- Konferenzbeiträge
- Sonstige Publikationen

Jahre: 2017 | 2016 | 2015 | 2014 | 2013 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1994 | 1993 | 1987 | 1986

## 2017

nach oben zur Jahresübersicht- Pascal Raiola, Dominik Erb, Sudhakar Reddy, Bernd Becker
**Accurate Diagnosis of Interconnect Open Defects based on the Robust Enhanced Aggressor Victim Model**

2017*30th International Conference on VLSI Design* - Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, Bernd Becker, Holger Hermanns
**Cost vs. Time in Stochastic Games and Markov Automata**

2017*Form Asp Comput*, Band: 29, Nummer: 4, Seiten: 629 - 649 - Uwe Wagschal, Thomas Waldvogel, Thomas Metz, Bernd Becker, Linus Feiten, Samuel Weishaupt, Kamaljeet Singh
**Das TV-Duell und die Landtagswahl in Schleswig-Holstein: Das Debat-O-Meter als neues Instrument der politischen Kommunikationsforschung**

2017*Zeitschrift für Parlamentsfragen (ZParl)*, Band: 48. Jg., Nummer: 3, Seiten: 594 - 613 - Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
**Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG**

2017*J Electron Test*, Band: 33, Nummer: 6, Seiten: 751 - 767

## 2016

nach oben zur Jahresübersicht- Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
**A Flexible Framework for the Automatic Generation of SBST Programs**

2016*IEEE Transactions on Very Large Scale Integration (VLSI) Systems*, Band: 24, Nummer: 10, Seiten: 3055 - 3066 - Schwabe Nils, Scholl Philipp, Van Laerhoven Kristof
**An Ad-Hoc Capture System for Augmenting Non-Digital Water Meters**

2016*Proceedings of the 6th International Conference on the Internet of Things* - Schwabe Nils, Scholl Philipp, Van Laerhoven Kristof
**An Ad-Hoc Capture System for Augmenting Non-Digital Water Meters**

2016*Proceedings of the 6th International Conference on the Internet of Things* - Thomas Metz, Uwe Wagschal, Thomas Waldvogel, Marko Bachl, Linus Feiten, Bernd Becker
**Das Debat-O-Meter: ein neues Instrument zur Analyse von TV-Duellen**

2016*ZSE Zeitschrift für Staats- und Europawissenschaften*, Band: 14, Nummer: 1, Seiten: 124 - 149 - Mashhadi Afra, Acer Utku, Boran Aidan, Scholl Philipp, Forlivesi Claudio, Vanderhulst Geert, Kawsar Fahim
**Exploring space syntax on entrepreneurial opportunities with Wi-Fi analytics**

2016*Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp ’16* - Mashhadi Afra, Acer Utku, Boran Aidan, Scholl Philipp, Forlivesi Claudio, Vanderhulst Geert, Kawsar Fahim
**Exploring space syntax on entrepreneurial opportunities with Wi-Fi analytics**

2016*Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp ’16* - 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* - Theiss Marian, Scholl Philipp
**Predicting Grasps with a Wearable Inertial and EMG Sensing Unit for Low-Power Detection of In-Hand Objects**

2016*Augmented Human* - Theiss Marian, Scholl Philipp
**Predicting Grasps with a Wearable Inertial and EMG Sensing Unit for Low-Power Detection of In-Hand Objects**

2016*Augmented Human* - Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer, Bernd Becker
**Systematic Frequency Biases in Ring Oscillator PUFs on FPGAs**

2016*IEEE Transactions on Multi-Scale Computing Systems (TMSCS)*, Band: PP, Nummer: 99 - Paolo Marin, Massimno Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
**Twelve Years of QBF Evaluations: QSAT Is PSpace-Hard and It Shows**

2016*Fund Inform*, Band: 149, Nummer: 1-2, Seiten: 133 - 158

## 2015

nach oben zur Jahresübersicht- Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
**Accurate QBF-based Test Pattern Generation in Presence of Unknown Values**

2015*Computer-Aided Design of Integrated Circuits and Systems (TCAD)* - Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker
**Formal Vulnerability Analysis of Security Components**

2015*IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)*, Band: 34, Nummer: 8, Seiten: 1358 - 1369 - Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
**High-level Counterexamples for Probabilistic Automata**

2015*Log Meth Comput Sci (Logical Methods In Computer Science)*, Band: 11, Nummer: 1:15, Seiten: 1 - 23 - Matthias Sauer, Bernd Becker, Ilia Polian
**PHAETON: A SAT-based Framework for Timing-aware Path Sensitization**

2015*Ieee T Comput*, Band: PP, Nummer: 99 - Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
**Transient Reward Approximation for Continuous-Time Markov Chains**

2015*Ieee T Reliab*, Band: 64, Nummer: 4 - Christian Miller, Paolo Marin, Bernd Becker
**Verification of Partial Designs Using Incremental QBF**

2015*Ai Commun*, Band: 28, Nummer: 2, Seiten: 283 - 307

## 2014

nach oben zur Jahresübersicht- Wille Matthias, Scholl Philipp, Wischniewski Sascha, Van Laerhoven Kristof
**Comparing google glass with tablet-PC as guidance system for assembling tasks**

2014*Proceedings - 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops, BSN Workshops 2014* - Wille Matthias, Scholl Philipp, Wischniewski Sascha, Van Laerhoven Kristof
**Comparing google glass with tablet-PC as guidance system for assembling tasks**

2014*Proceedings - 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops, BSN Workshops 2014* - Dominik Erb, Michael Koche, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
**Exact Logic and Fault Simulation in Presence of Unknowns**

2014*ACM Transactions on Design Automation of Electronic Systems (TODAES)*, Band: 19, Seiten: 28:1 - 28:17 - Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
**Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs**

2014*Information Security Journal: A Global Perspective*, Band: 22, Nummer: 5-6, Seiten: 265 - 273 - Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
**Minimal Counterexamples for Linear-Time Probabilistic Verification**

2014*Theor Comput Sci* - Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
**Symbolic Counterexample Generation for Large Discrete-Time Markov Chains**

2014*Sci Comput Program*, Band: 91, Nummer: A, Seiten: 90 - 114 - Scholl Philipp, Van Laerhoven Kristof
**Wearable digitization of life science experiments**

2014 New York, New York, USA*Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication - UbiComp ’14 Adjunct*, ACM Press - Scholl Philipp, Van Laerhoven Kristof
**Wearable digitization of life science experiments**

2014 New York, New York, USA*Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication - UbiComp ’14 Adjunct*, ACM Press

## 2013

nach oben zur Jahresübersicht- Renatus Derbidge, Linus Feiten, Oliver Conradt, Peter Heusser, Stefan Baumgartner
**Assessment of Shape Changes of Mistletoe Berries: A New Software Approach to Automatize the Parameterization of Path Curve Shaped Contours**

2013*Plos One*, Band: 8, Nummer: 4 - Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
**SAT-based Analysis of Sensitisable Paths**

2013*IEEE Design & Test of Computers*, Band: 30, Nummer: 4, Seiten: 81 - 88

## 2011

nach oben zur Jahresübersicht- Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
**Incremental preprocessing methods for use in BMC**

2011*Formal Methods in System Design*, Band: 39, Seiten: 185 - 204 - Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
**Parallel QBF Solving with Advanced Knowledge Sharing**

2011*Fundamenta Informaticae*, Band: 107, Nummer: 2-3, Seiten: 139 - 166 - Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
**Parallel SAT Solving in Bounded Model Checking**

2011*Journal of Logic and Computation*, Band: 21, Nummer: 1, Seiten: 5 - 21

## 2010

nach oben zur Jahresübersicht- Ilia Polian, Bernd Becker
**Fault Models and Test Algorithms for Nanoscale Technologies**

2010*it - Information Technology*, Band: 52, Nummer: 4, Seiten: 189 - 194 - Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
**QuBE7.0, System Description**

2010*Journal of Satisfiability*, Band: 7, Nummer: 8, Seiten: 83 - 88 - Ralf Wimmer, Salem Derisavi, Holger Hermanns
**Symbolic Partition Refinement with Automatic Balancing of Time and Space**

2010*Performance Evaluation*, Band: 67, Nummer: 9, Seiten: 815 - 835 - Alexander Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
**Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis**

2010*International Journal of Parallel Programming*, Band: 38, Nummer: 3-4, Seiten: 185 - 202

## 2009

nach oben zur Jahresübersicht- Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian
**SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges**

2009*ACM Trans. on Design Automation of Electronic Systems*, Band: 14, Nummer: 4, Seiten: 56:1 - 56:21 - Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker
**Compositional Dependability Evaluation for Statemate**

2009*IEEE Trans. on Software Engineering*, Band: 35, Nummer: 2, Seiten: 274 - 292 - Tobias Schubert, Matthew Lewis, Bernd Becker
**PaMiraXT: Parallel SAT Solving with Threads and Message Passing**

2009*Journal on Satisfiability, Boolean Modeling, and Computation*, Band: 6, Seiten: 203 - 222

## 2008

nach oben zur Jahresübersicht- Piet Engelke, Ilia Polian, Michel Renovell, Sandip Kundu, Bharath Seshadri, Bernd Becker
**On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing**

2008*IEEE Trans. on CAD*, Band: 27, Nummer: 2, Seiten: 327 - 338

## 2007

nach oben zur Jahresübersicht- Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker
**Power Droop Testing**

2007*IEEE Design & Test of Computers*, Band: 24, Nummer: 3, Seiten: 276 - 284 - Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
**SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)**

2007*it - Information Technology*, Oldenbourg Wissenschaftsverlag GmbH, Band: 49, Nummer: 2, Seiten: 118 - 126 - Martin Fränzle, Christian Herde, Tino Teige, S. Ratschan, Tobias Schubert
**Efficient Solving of Large Non-Linear Arithmetic Constraint Systems with Complex Boolean Structure**

2007*Journal on Satisfiability, Boolean Modeling, and Computation*, Band: 1, Nummer: 3-4, Seiten: 209 - 236 - Ilia Polian, Hideo Fujiwara
**Functional Constraints vs. Test Compression in Scan-Based Delay Testing**

2007*Jour. Electronic Testing*, Seiten: 445 - 455

## 2006

nach oben zur Jahresübersicht- Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Simulating Resistive Bridging and Stuck-At Faults**

2006*IEEE Trans. on CAD*, Band: 25, Nummer: 10, Seiten: 2181 - 2192 - Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
**Automatic Test Pattern Generation for Resistive Bridging Faults**

2006*Jour. Electronic Testing*, Band: 22, Nummer: 1, Seiten: 61 - 69 - Yuyi Tang, Hans-Joachim Wunderlich, Piet Engelke, Ilia Polian, Bernd Becker, Jürgen Schlöffel, Friedrich Hapke, Michael Wittke
**X-Masking During Logic BIST and Its Impact on Defect Coverage**

2006*IEEE Trans. on VLSI Systems*, Band: 14, Nummer: 2, Seiten: 193 - 202 - Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich
**DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems)**

2006*it - Information Technology*, Band: 48, Nummer: 5, Seite: 304 - Thomas Eschbach, Wolfgang Günther, Bernd Becker
**Orthogonal Hypergraph Drawing for Improved Visibility**

2006*Journal of Graph Algorithms and Applications*, Band: 10, Nummer: 2, Seiten: 141 - 157

## 2005

nach oben zur Jahresübersicht- Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker
**Modeling feedback bridging faults with non-zero resistance.**

2005*Jour. Electronic Testing*, Band: 21, Nummer: 1, Seiten: 57 - 69 - Tobias Schubert, Bernd Becker
**A Hardware Lab Anywhere at Any Time**

2005*Journal of Systemics, Cybernetics, and Informatics: JSCI*, Band: 2, Nummer: 6 - Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker
**Modeling feedback bridging faults with non-zero resistance**

2005*Jour. Electronic Testing*, Band: 21, Nummer: 1, Seiten: 57 - 69 - Ilia Polian
**Nichtstandardfehlermodelle für digitale Logikschaltkreise: Simulation, prüfgerechter Entwurf, industrielle Anwendungen**

2005*it - Information Technology*, Band: 47, Nummer: 3, Seiten: 172 - 174

## 2004

nach oben zur Jahresübersicht- Ilia Polian, Irith Pomeranz, Sudhakar M. Reddy, Bernd Becker
**On the use of maximally dominating faults in n-detection test generation**

2004*IEE Proceedings Computers and Digital Techniques*, Band: 151, Nummer: 3, Seiten: 235 - 244 - Ilia Polian, Bernd Becker
**Scalable Delay Fault BIST For Use With Low-Cost ATE**

2004*Jour. Electronic Testing*, Band: 20, Nummer: 2, Seiten: 181 - 197

## 2003

nach oben zur Jahresübersicht- Frank Schmiedle, Rolf Drechsler, Bernd Becker
**Exact Routing with Search Space Reduction**

2003*IEEE Trans. on Computers*, Band: 52, Nummer: 6, Seiten: 815 - 825 - Ilia Polian, Bernd Becker
**Multiple Scan Chain Design for Two-Pattern Testing**

2003*Jour. Electronic Testing*, Band: 19, Nummer: 1, Seiten: 37 - 48 - Ilia Polian, Wolfgang Günther, Bernd Becker
**Pattern-Based Verification of Connections to Intellectual Property Cores**

2003*INTEGRATION, the VLSI Jour.*, Band: 35, Nummer: 1, Seiten: 25 - 44 - Martin Keim, M. Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
**Polynomial Formal Verification of Multipliers**

2003*Formal Methods in System Design*, Band: 22, Nummer: 1, Seiten: 39 - 58 - Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, L. Linhard, G. Angst
**Recursive Bi-Partitioning of Netlists for Large Number of Partitions**

2003*Journal of Systems Architecture*, Band: 49, Nummer: 12-15, Seiten: 521 - 528 - J. Bradford, H. Delong, Ilia Polian, Bernd Becker
**Simulating Realistic Bridging and Crosstalk Faults in an Industrial Setting**

2003*Jour. Electronic Testing*, Band: 19, Nummer: 4, Seiten: 387 - 395

## 2001

nach oben zur Jahresübersicht- Rolf Drechsler, Wolfgang Günther, Fabio Somenzi
**Using Lower Bounds during Dynamic BDD Minimization**

2001*IEEE Trans. on CAD*, Band: 20, Nummer: 1, Seiten: 51 - 57

## 2000

nach oben zur Jahresübersicht- Wolfgang Günther, Rolf Drechsler
**ACTion: Combining Logic Synthesis and Technology Mapping for MUX based FPGAs**

2000*Journal of Systems Architecture*, Band: 46, Nummer: 14, Seiten: 1321 - 1334 - Rolf Drechsler, Nicole Drechsler, Wolfgang Günther
**Fast Exact Minimization of BDDs**

2000*IEEE Trans. on CAD*, Band: 19, Nummer: 3, Seiten: 384 - 389 - Wolfgang Günther, Rolf Drechsler
**On the Computational Power of Linearly Transformed BDDs**

2000*Information Processing Letters*, Band: 75, Nummer: 3, Seiten: 119 - 125

## 1999

nach oben zur Jahresübersicht- Christoph Scholl, D. Möller, Paul Molitor, Rolf Drechsler
**BDD Minimization Using Symmetries**

1999*IEEE Trans. on CAD*, Band: 18, Nummer: 2, Seiten: 81 - 100 - Bernd Becker, Martin Keim, R. Krieger
**Hybrid Fault Simulation for Synchronous Sequential Circuit**

1999*Jour. Electronic Testing*, Band: 3, Seiten: 219 - 238

## 1998

nach oben zur Jahresübersicht- M. Thornton, Rolf Drechsler
**Output Probability Using AND/OR Graphs**

1998*Research Report, University of Arkansas* - M. Thornton, Rolf Drechsler
**Spectral Methods for Digital Logic Verification**

1998*Research Report, University of Arkansas* - Rolf Drechsler, Martin Sauerhoff, Detlef Sieling
**The Complexity of the Inclusion Operation on OFDDs**

1998*IEEE Trans. on CAD*, Band: 17, Nummer: 5, Seiten: 457 - 459 - Rolf Drechsler
**Verifying Integrity of Decision Diagrams**

1998*SAFECOMP*, Springer Verlag, Band: 1516, Seiten: 380 - 389

## 1997

nach oben zur Jahresübersicht- Rolf Drechsler, Nicole Göckel
**A Genetic Algorithm for Data Sequencing**

1997*Electronic Letters*, Band: 33, Nummer: 10, Seiten: 843 - 845 - S. Höreth, Rolf Drechsler
**Compilation of Fast Manipulation Algorithms for K*BMDs**

1997*IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design*, Seiten: 187 - 196 - Rolf Drechsler, R. S. Stankovic, T. Sasao
**Spectral Transforms and Word-Level Decision Diagrams**

1997*IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design*

## 1995

nach oben zur Jahresübersicht- Bernd Becker, Rolf Drechsler
**Exact Minimization of Kronecker Expressions for Symmetric Functions**

1995*IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design*, Seiten: 240 - 245 - Bernd Becker, Rolf Drechsler, R. Werchner
**On the Relation Between BDDs and FDDs**

1995*Information and Computation*, Band: 123(2), Seiten: 185 - 197

## 1994

nach oben zur Jahresübersicht- Rolf Drechsler, Bernd Becker, A. Jahnke
**On Variable Ordering and Decomposition Type Choice in OKFDDs**

1994*Workshop über Komplexitätstheorie, Datenstrukturen und effiziente Algorithmen* - D. Möller, Paul Molitor, Rolf Drechsler
**Symmetry based Variable Ordering for ROBDDs**

1994*IFIP Workshop on Logic and Architecture Synthesis, Grenoble*, Seiten: 47 - 53

## 1993

nach oben zur Jahresübersicht- Bernd Becker, Rolf Drechsler, M. Theobald
**On the Implementation of a Package for Efficient Representation and Manipulation of Functional Decision Diagrams**

1993*IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design*, Seiten: 162 - 169 - Rolf Drechsler, Bernd Becker
**Rapid Prototyping of Fully Testable Multi-Level AND/EXOR Networks**

1993*IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design*, Seiten: 126 - 133

## 1987

nach oben zur Jahresübersicht- Bernd Becker
**An Easily Testable Optimal-Time VLSI-Multiplier**

1987*Acta Informatica*, Band: 24, Seiten: 363 - 380 - Bernd Becker, H. G. Osthof
**Layouts with Wires of Balanced Length**

1987*Information and Computation*, Band: 73(1), Seiten: 45 - 58

## 1986

nach oben zur Jahresübersicht- Bernd Becker, G. Hotz, R. Kolla, Paul Molitor
**Ein logisch-topologischer Kalkül zur Konstruktion von integrierten Schaltkreisen**

1986*INFORMATIK Forschung und Entwicklung 1*, Seite: 38--47,72-