Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top nach oben zur Jahresübersicht

    2006

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top nach oben zur Jahresübersicht

    2000

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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

    Icon: top 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-