Bernd Becker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
209
Venues
51
Active years
1985–2023
Best venue rank
A*
Where they publish
- ADATE29 papers
- BETS26 papers
- NationalVTS18 papers
- ASAT11 papers
- AITC10 papers
- NationalVLSID10 papers
- BASPDAC10 papers
- CICCD8 papers
- CIOLTS7 papers
- CDDECS7 papers
- BATVA6 papers
- A*DAC5 papers
- BVMCAI4 papers
- AICCAD4 papers
- CISCAS4 papers
- ATACAS3 papers
- ASTACS3 papers
- UnrankedSENSYS2 papers
- BCSEDU2 papers
- CFDTC2 papers
- ACADE2 papers
- BFMCAD2 papers
- BGI2 papers
- ADSN2 papers
- NationalPDPTA2 papers
- AGD2 papers
- BMFCS2 papers
- NationalFCCM1 paper
- A*IJCAI1 paper
- AUAI1 paper
- CCLOSER1 paper
- CCLUSTER1 paper
- NationalSYNASC1 paper
- BFM1 paper
- NationalSETTA1 paper
- BLPNMR1 paper
- CCOCOA1 paper
- CFORTE1 paper
- CMEMOCODE1 paper
- CSSS1 paper
- A*CAV1 paper
- CFMICS1 paper
- A*PERCOM1 paper
- CDSD1 paper
- CEMO1 paper
- AGECCO1 paper
- APPSN1 paper
- A*ICALP1 paper
- BLATIN1 paper
- BSPAA1 paper
- A*FOCS1 paper
Papers
209 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ETS | A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. | Jens Anders, Pablo Andreu, Bernd Becker, Steffen Becker, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, Nourhan Elhamawy, Tobias Faller, Carles Hernndez, Nele Mentens, Mahnaz Namazi Rizi, Ilia Polian, Abolfazl Sajadi, Matthias Sauer, Denis Schwachhofer, Matteo Sonza Reorda, Todor Stefanov, Ilya Tuzov, Stefan Wagner, Nusa Zidaric |
| 2023 | ETS | Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing. | Nikolaos Ioannis Deligiannis, Tobias Faller, Chenghan Zhou, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda |
| 2023 | ETS | Constraint-Based Automatic SBST Generation for RISC-V Processor Families. | Tobias Faller, Nikolaos Ioannis Deligiannis, Markus Schwrer, Matteo Sonza Reorda, Bernd Becker |
| 2022 | DATE | The Scale4Edge RISC-V Ecosystem. | Wolfgang Ecker, Peer Adelt, Wolfgang Mller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jrg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz |
| 2021 | DATE | ICP and IC3. | Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker |
| 2021 | VTS | New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core. | Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matthias Sauer, Bernd Becker, Matteo Sonza Reorda |
| 2021 | VMCAI | On Preprocessing for Weighted MaxSAT. | Tobias Paxian, Pascal Raiola, Bernd Becker |
| 2020 | ETS | Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. | Pascal Raiola, Tobias Paxian, Bernd Becker |
| 2020 | SENSYS | FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. | Benjamin Vlker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker |
| 2020 | SENSYS | Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets. | Benjamin Vlker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker |
| 2019 | CSEDU | SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. | Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker |
| 2019 | DATE | On Secure Data Flow in Reconfigurable Scan Networks. | Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer |
| 2019 | ETS | On Integrating Lightweight Encryption in Reconfigurable Scan Networks. | Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer |
| 2019 | FCCM | Active Stereo Vision with High Resolution on an FPGA. | Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker |
| 2019 | FDTC | Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. | Mal Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian |
| 2019 | IJCAI | Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. | Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu |
| 2019 | ITC | Security Compliance Analysis of Reconfigurable Scan Networks. | Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich |
| 2018 | DATE | Characterization of possibly detected faults by accurately computing their detection probability. | Jan Burchard, Dominik Erb, Bernd Becker |
| 2018 | ETS | Online prevention of security violations in reconfigurable scan networks. | Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich |
| 2018 | ETS | Towards the formal verification of security properties of a Network-on-Chip router. | Johanna Seplveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer |
| 2018 | IOLTS | Detecting and Resolving Security Violations in Reconfigurable Scan Networks. | Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodrguez Gmez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2018 | VTS | Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. | Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer |
| 2018 | SAT | Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. | Tobias Paxian, Sven Reimer, Bernd Becker |
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler |
| 2017 | DATE | Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. | Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker |
| 2017 | DATE | Sensitized path PUF: A lightweight embedded physical unclonable function. | Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rhrmair, Ilia Polian |
| 2017 | ETS | Best paper. | Bernd Becker, Adit D. Singh |
| 2017 | ETS | Specification and verification of security in reconfigurable scan networks. | Michael A. Kochte, Matthias Sauer, Laura Rodrguez Gmez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich |
| 2017 | FDTC | AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. | Jan Burchard, Mael Gay, Ange-Salom Messeng Ekossono, Jan Horcek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian |
| 2017 | VLSID | Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. | Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker |
| 2017 | VTS | Efficient SAT-based generation of hazard-activated TSOF tests. | Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker |
| 2017 | SAT | From DQBF to QBF by Dependency Elimination. | Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker |
| 2017 | TACAS | HQSpre - An Effective Preprocessor for QBF and DQBF. | Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker |
| 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 | ATVA | Skolem Functions for DQBF. | Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2016 | CLOSER | Survey of the Cloud Computing Standards Landscape 2015. | Bernd Becker, Emmanuel Darmois, Anders Kingstedt, Olivier Le Grand, Peter Schmitting, Wolfgang Ziegler |
| 2016 | CLUSTER | Distributed Parallel #SAT Solving. | Jan Burchard, Tobias Schubert, Bernd Becker |
| 2016 | DATE | Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. | Karsten Scheibler, Dominik Erb, Bernd Becker |
| 2016 | ETS | Formal verification of secure reconfigurable scan network infrastructure. | Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich |
| 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 | GI | Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. | Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker |
| 2016 | VTS | Effective generation and evaluation of diagnostic SBST programs. | Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker |
| 2016 | SAT | Dependency Schemes for DQBF. | Ralf Wimmer, Christoph Scholl, Karina Wimmer, 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 | DATE | Solving DQBF through quantifier elimination. | Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker |
| 2015 | DATE | On the automatic generation of SBST test programs for in-field test. | Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker |
| 2015 | ETS | Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. | Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker |
| 2015 | ETS | Identification of high power consuming areas with gate type and logic level information. | Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara |
| 2015 | ETS | Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. | Karsten Scheibler, Dominik Erb, Bernd Becker |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, 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 |
| 2015 | VTS | Improving diagnosis resolution of a fault detection test set. | Andreas Riefert, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker |
| 2015 | SAT | Laissez-Faire Caching for Parallel #SAT Solving. | Jan Burchard, Tobias Schubert, Bernd Becker |
| 2015 | SAT | Preprocessing for DQBF. | Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker |
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2014 | ATVA | Incremental Encoding and Solving of Cardinality Constraints. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | Efficient SMT-based ATPG for interconnect open defects. | Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker |
| 2014 | DATE | Using MaxBMC for Pareto-optimal circuit initialization. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | An effective approach to automatic functional processor test generation for small-delay faults. | Andreas Riefert, Lyl M. Ciganda, Matthias Sauer, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker |
| 2014 | ETS | Variation-aware deterministic ATPG. | Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, 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 |
| 2014 | VLSID | SAT-Based Test Pattern Generation with Improved Dynamic Compaction. | Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker |
| 2014 | VLSID | Efficient SAT-Based Circuit Initialization for Larger Designs. | Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker |
| 2013 | ASPDAC | Provably optimal test cube generation using quantified boolean formula solving. | Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker |
| 2013 | CADE | A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. | Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika brahm, Bernd Becker |
| 2013 | DATE | Accurate QBF-based test pattern generation in presence of unknown values. | Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker |
| 2013 | DATE | Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. | Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2013 | GI | SMILE: Smartphones in der Lehre - ein Rck- und berblick. | Linus Feiten, Katrin Weber, Bernd Becker |
| 2013 | ICCD | Equivalence checking of partial designs using dependency quantified Boolean formulae. | Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2013 | ITC | Early-life-failure detection using SAT-based ATPG. | Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker |
| 2013 | LPNMR | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2013 | VTS | Identification of critical variables using an FPGA-based fault injection framework. | Andreas Riefert, Jrg Mller, Matthias Sauer, Wolfram Burgard, Bernd Becker |
| 2012 | ATVA | ALLQBF Solving by Computational Learning. | Bernd Becker, Rdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | ATVA | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. | Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2012 | CSEDU | SMILE - Smartphones in Lectures - Initiating a Smartphone-based Audience Response System as a Student Project. | Linus Feiten, Manuel Bhrer, Sebastian Sester, Bernd Becker |
| 2012 | DATE | On the optimality of K longest path generation algorithm under memory constraints. | Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian |
| 2012 | DATE | Verification of partial designs using incremental QBF solving. | Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker |
| 2012 | ETS | Multi-conditional SAT-ATPG for power-droop testing. | Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker |
| 2012 | ETS | Exact stuck-at fault classification in presence of unknowns. | Stefan Hillebrecht, Michael A. Kochte, Hans-Joachim Wunderlich, Bernd Becker |
| 2012 | ETS | On the quality of test vectors for post-silicon characterization. | Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian |
| 2012 | ICCAD | Small-delay-fault ATPG with waveform accuracy. | Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker |
| 2012 | ITC | Functional test of small-delay faults using SAT and Craig interpolation. | Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker |
| 2012 | VLSID | Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. | Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker |
| 2012 | VTS | SAT-ATPG using preferences for improved detection of complex defect mechanisms. | Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2012 | SAT | Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | Paolo Marin, Christian Miller, Bernd Becker |
| 2012 | TACAS | Minimal Critical Subsystems for Discrete-Time Markov Models. | Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen |
| 2011 | ASPDAC | Fault diagnosis aware ATE assisted test response compaction. | J. M. Howard, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker |
| 2011 | ATVA | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | COCOA | Integration of an LP Solver into Interval Constraint Propagation. | Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid |
| 2011 | DATE | Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing. | Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker |
| 2011 | DATE | Integration of orthogonal QBF solving techniques. | Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker |
| 2011 | DDECS | Proof certificates and non-linear arithmetic constraints. | Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Frnzle |
| 2011 | DDECS | SAT-based analysis of sensitisable paths. | Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker |
| 2011 | ETS | Towards Variation-Aware Test Methods. | Ilia Polian, Bernd Becker, Sybille Hellebrand, Hans-Joachim Wunderlich, Peter C. Maxwell |
| 2011 | FORTE | Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm |
| 2011 | IOLTS | Estimation of component criticality in early design steps. | Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker |
| 2011 | IOLTS | An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. | Matthias Sauer, Victor Tomashevich, Jrg Mller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard |
| 2011 | MEMOCODE | Reachability analysis for incomplete networks of Markov decision processes. | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
| 2010 | DSN | Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. | Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich |
| 2010 | SAT | Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. | Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker |
| 2009 | IOLTS | ATPG-based grading of strong fault-secureness. | Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker |
| 2009 | PDPTA | Picoso - A Parallel Interval Constraint Solver. | Natalia Kalinnik, Tobias Schubert, Erika brahm, Ralf Wimmer, Bernd Becker |
| 2009 | VLSID | TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. | Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker |
| 2009 | VTS | An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects. | Nicolas Houarche, Mariane Comte, Michel Renovell, Alejandro Czutro, Piet Engelke, Ilia Polian, Bernd Becker |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2009 | VMCAI | Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. | Ralf Wimmer, Bettina Braitling, Bernd Becker |
| 2008 | DATE | Resistive Bridging Fault Simulation of Industrial Circuits. | Piet Engelke, Ilia Polian, Jrgen Schlffel, Bernd Becker |
| 2008 | DDECS | Diagnosis of Realistic Defects Based on the X-Fault Model. | Ilia Polian, Kohei Miyase, Yusuke Nakamura, Seiji Kajihara, Piet Engelke, Bernd Becker, Stefan Spinner, Xiaoqing Wen |
| 2008 | DDECS | Probabilistic Model Checking and Reliability of Results. | Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker |
| 2008 | DSN | A study of cognitive resilience in a JPEG compressor. | Damian Nowroth, Ilia Polian, Bernd Becker |
| 2008 | ETS | A Simulator of Small-Delay Faults Caused by Resistive-Open Defects. | Alejandro Czutro, Nicolas Houarche, Piet Engelke, Ilia Polian, Mariane Comte, Michel Renovell, Bernd Becker |
| 2008 | ETS | Selective Hardening in Early Design Steps. | Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker |
| 2008 | ICCD | Propositional approximations for bounded model checking of partial circuit designs. | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer |
| 2008 | ITC | Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model. | Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng |
| 2008 | VTS | Automatic Test Pattern Generation for Interconnect Open Defects. | Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng |
| 2007 | ASPDAC | Multithreaded SAT Solving. | Matthew Lewis, Tobias Schubert, Bernd Becker |
| 2007 | CAV | LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. | Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke |
| 2007 | DDECS | On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. | Marc Herbstritt, Bernd Becker, Erika brahm, Christian Herde |
| 2007 | ICCAD | Computation of minimal counterexamples by using black box techniques and symbolic methods. | Tobias Nopper, Christoph Scholl, Bernd Becker |
| 2007 | IOLTS | Identification of Critical Errors in Imaging Applications. | Ilia Polian, Damian Nowroth, Bernd Becker |
| 2007 | VTS | An Analysis Framework for Transient-Error Tolerance. | John P. Hayes, Ilia Polian, Bernd Becker |
| 2006 | ATVA | Sigref- A Symbolic Bisimulation Tool Box. | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
| 2006 | DDECS | Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. | Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm |
| 2006 | DDECS | Minimization of Large State Spaces using Symbolic Branching Bisimulation. | Ralf Wimmer, Marc Herbstritt, Bernd Becker |
| 2006 | FMICS | Parallel SAT Solving in Bounded Model Checking. | Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde |
| 2006 | ICCD | Power Droop Testing. | Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker |
| 2005 | DATE | Evolutionary Optimization in Code-Based Test Compression. | Ilia Polian, Alejandro Czutro, Bernd Becker |
| 2005 | ETS | A unified fault model and test generation procedure for interconnect opens and bridges. | Gang Chen, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski, Piet Engelke, Bernd Becker |
| 2005 | ITC | Transient fault characterization in dynamic noisy environments. | Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker |
| 2005 | PDPTA | Knowledge Sharing in a Microcontroller based Parallel SAT Solver. | Tobias Schubert, Bernd Becker |
| 2005 | PERCOM | Securing Wireless Networks in a University Environment. | Jochen Eisinger, Peter Winterer, Bernd Becker |
| 2005 | VLSID | Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases. | Thomas Eschbach, Wolfgang Gnther, Bernd Becker |
| 2005 | VTS | Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies. | Ilia Polian, Sandip Kundu, Jean-Marc Gallire, Piet Engelke, Michel Renovell, Bernd Becker |
| 2005 | SAT | Speedup Techniques Utilized in Modern SAT Solvers. | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2005 | VMCAI | Optimizing Bounded Model Checking for Linear Hybrid Systems. | Erika brahm, Bernd Becker, Felix Klaedtke, Martin Steffen |
| 2004 | ETS | Automatic test pattern generation for resistive bridging faults. | Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker |
| 2004 | ISCAS | Placement and routing optimization for circuits derived from BDDs. | Thomas Eschbach, Rolf Drechsler, Bernd Becker |
| 2004 | ITC | X-Masking During Logic BIST and Its Impact on Defect Coverage. | Yuyi Tang, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker |
| 2004 | VTS | The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. | Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker |
| 2004 | SAT | Early Conflict Detection Based BCP for SAT Solving. | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2003 | DATE | Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST. | Ilia Polian, Bernd Becker, Sudhakar M. Reddy |
| 2003 | ETS | Modeling feedback bridging faults with non-zero resistance. | Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker |
| 2003 | ITC | Simulating Resistive Bridging and Stuck-At Faults. | Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker |
| 2003 | SAT | Conflict-Based Selection of Branching Rules. | Marc Herbstritt, Bernd Becker |
| 2002 | ETS | Simulating realistic bridging and crosstalk faults in an industrial setting. | Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker |
| 2002 | GD | Crossing Reduction by Windows Optimization. | Thomas Eschbach, Wolfgang Gnther, Rolf Drechsler, Bernd Becker |
| 2002 | ICCD | Checking Equivalence for Circuits Containing Incompletely Specified Boxes. | Christoph Scholl, Bernd Becker |
| 2002 | IOLTS | Stop & Go BIST. | Ilia Polian, Bernd Becker |
| 2002 | IOLTS | Sequential n -Detection Criteria: Keep It Simple. | Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker |
| 2001 | ASPDAC | Application of linearly transformed BDDs in sequential verification. | Wolfgang Gnther, Andreas Hett, Bernd Becker |
| 2001 | ASPDAC | The multiple variable order problem for binary decision diagrams: theory and practical application. | Christoph Scholl, Bernd Becker, Andreas Brogle |
| 2001 | DAC | Checking Equivalence for Partial Implementations. | Christoph Scholl, Bernd Becker |
| 2001 | DSD | Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement. | Bernd Becker, Thomas Eschbach, Rolf Drechsler, Wolfgang Gnther |
| 2001 | EMO | Multi-objective Optimisation Based on Relation | Nicole Drechsler, Rolf Drechsler, Bernd Becker |
| 2001 | ISCAS | Exploiting don't cares to minimize *BMDs. | Christoph Scholl, Marc Herbstritt, Bernd Becker |
| 2001 | VTS | Multiple Scan Chain Design for Two-Pattern Testing. | Ilia Polian, Bernd Becker |
| 2000 | DAC | Distance driven finite state machine traversal. | Andreas Hett, Christoph Scholl, Bernd Becker |
| 2000 | DATE | On the Generation of Multiplexer Circuits for Pass Transistor Logic. | Christoph Scholl, Bernd Becker |
| 2000 | ETS | A parameterizable fault simulator for bridging faults. | Piet Engelke, Bernd Becker, Martin Keim |
| 2000 | GD | Untitled record | Wolfgang Gnther, Robby Schnfeld, Bernd Becker, Paul Molitor |
| 2000 | GECCO | Specialized Hardware for Implementation of Evolutionary Algorithms. | Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker |
| 2000 | ICCD | Minimization of Ordered Pseudo Kronecker Decision Diagrams. | Per Lindgren, Rolf Drechsler, Bernd Becker |
| 1999 | ASPDAC | Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. | Martin Keim, Nicole Drechsler, Bernd Becker |
| 1999 | ETS | A scalable BIST architecture for delay faults. | Martin Keim, Ilia Polian, Harry Hengster, Bernd Becker |
| 1999 | ICCD | Synthesis of Pseudo Kronecker Lattice Diagrams. | Per Lindgren, Rolf Drechsler, Bernd Becker |
| 1999 | ISCAS | Grouping heuristics for word-level decision diagrams. | Rolf Drechsler, Marc Herbstritt, Bernd Becker |
| 1999 | ISCAS | Exact channel routing using symbolic representation. | Frank Schmiedle, Rolf Drechsler, Bernd Becker |
| 1998 | ICCAD | Word-level decision diagrams, WLCDs and division. | Christoph Scholl, Bernd Becker, Thomas M. Weis |
| 1997 | ASPDAC | On the representational power of bit-level and word-level decision diagrams. | Bernd Becker, Rolf Drechsler, Reinhard Enders |
| 1997 | ASPDAC | Learning heuristics for OKFDD minimization by evolutionary algorithms. | Nicole Gckel, Rolf Drechsler, Bernd Becker |
| 1997 | DATE | Testability of 2-level AND/EXOR circuits. | Rolf Drechsler, Harry Hengster, Horst Schfer, Joachim Hartmann, Bernd Becker |
| 1997 | DATE | Fast and efficient construction of BDDs by reordering based synthesis. | Andreas Hett, Rolf Drechsler, Bernd Becker |
| 1997 | ICCAD | Functional simulation using binary decision diagrams. | Christoph Scholl, Rolf Drechsler, Bernd Becker |
| 1997 | VLSID | Decision Diagrams in Synthesis - Algorithms, Applications and Extensions. | Bernd Becker, Rolf Drechsler |
| 1997 | VLSID | (Quasi-) Linear Path Delay Fault Tests for Adders. | Bernd Becker, Rolf Drechsler, Sudhakar M. Reddy |
| 1997 | VTS | Polynomial Formal Verification of Multipliers. | Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor |
| 1997 | VTS | On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. | Can kmen, Martin Keim, Rolf Krieger, Bernd Becker |
| 1997 | TACAS | Manipulation Algorithms for K*BMDs. | Rolf Drechsler, Bernd Becker, Stefan Ruppertz |
| 1996 | DATE | A Fast Optimal Robust Path Delay Fault Testable Adder. | Bernd Becker, Rolf Drechsler, Rolf Krieger, Sudhakar M. Reddy |
| 1996 | DATE | K*BMDs: A New Data Structure for Verification. | Rolf Drechsler, Bernd Becker, Stefan Ruppertz |
| 1996 | ITC | Local Transformations and Robust Dependent Path Delay. | Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Reddy |
| 1996 | PPSN | Learning Heuristics for OBDD Minimization by Evolutionary Algorithms. | Rolf Drechsler, Nicole Gckel, Bernd Becker |
| 1996 | VTS | On the (non-)resetability of synchronous sequential circuits. | Martin Keim, Bernd Becker, Birgitta Stenner |
| 1995 | ASPDAC | Learning heuristics by genetic algorithms. | Rolf Drechsler, Bernd Becker |
| 1995 | DAC | Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. | Rolf Krieger, Bernd Becker, Martin Keim |
| 1995 | DATE | How many decomposition types do we need? [decision diagrams]. | Bernd Becker, Rolf Drechsler |
| 1995 | DATE | Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams. | Bernd Becker, Rolf Drechsler |
| 1995 | DATE | Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. | Rolf Drechsler, Bernd Becker |
| 1995 | ICALP | OKFDDs versus OBDDs and OFDDs. | Bernd Becker, Rolf Drechsler, Michael Theobald |
| 1995 | ICCD | Dynamic minimization of OKFDDs. | Rolf Drechsler, Bernd Becker |
| 1995 | LATIN | On the Relation Betwen BDDs and FDDs. | Bernd Becker, Rolf Drechsler, Ralph Werchner |
| 1995 | VTS | On the application of local circuit transformations with special emphasis on path delay fault testability. | Harry Hengster, Rolf Drechsler, Bernd Becker |
| 1994 | DAC | Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. | Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski |
| 1994 | ICCD | OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms. | Bernd Becker, Rolf Drechsler |
| 1994 | ITC | A Hybrid Fault Simulator for Synchronous Sequential Circuits. | Rolf Krieger, Bernd Becker, Martin Keim |
| 1994 | VLSID | Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model. | Harry Hengster, Rolf Drechsler, Bernd Becker |
| 1993 | VLSID | FAST-SC: Fast Fault Simulation in Synchronous Sequential Circuits. | Bernd Becker, Rolf Krieger |
| 1992 | MFCS | Some Remarks on the Test Complexity of Iterative Logic Arrays. | Bernd Becker, Joachim Hartmann |
| 1992 | STACS | Synthesis for Testability: Binary Decision Diagrams. | Bernd Becker |
| 1990 | SPAA | Optimal-Time Multipliers and C-Testability. | Bernd Becker, Joachim Hartmann |
| 1988 | STACS | On the Construction of Optimal Time Adders (Extended Abstract). | Bernd Becker, Reiner Kolla |
| 1987 | DAC | Hierarchical Design Based on a Calculus of Nets. | Bernd Becker, Gnter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof |
| 1986 | FOCS | How Robust Is the n-Cube? (Extended Abstract) | Bernd Becker, Hans Ulrich Simon |
| 1986 | MFCS | Efficient Testing of Optimal Time Adders (Extended Abstract). | Bernd Becker |
| 1985 | STACS | Layouts with Wires of Balanced Length. | Bernd Becker, Hans-Georg Osthof |