Bernd Becker - RankMe

469 papers A* 9A 58B 40C 30Misc 32Journal 90Unranked 200

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automatic Cell-Aware Software-Based Self-Test Generation for a RISC-V Core Local Interrupt Controller. ATS Tobias Faller, Bernd Becker
2025	J	`jnl`	Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking. ACM Trans. Design Autom. Electr. Syst. Nikolaos Ioannis Deligiannis, Tobias Faller, Josie Esteban Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2024	—	`conf`	Special Session: Software-Based Self-Test Generation for RISC-V - Stuck-At Generation, Functional Cell-Aware Untestability, and FPGA Demonstration -. DFT Tobias Faller, Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matteo Sonza Reorda, Bernd Becker
2024	J	`jnl`	Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
2023	B	`conf`	A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. ETS Jens Anders, Pablo Andreu, Bernd Becker, Steffen Becker, Riccardo Cantoro, Nikolaos Ioannis Deligiannis, Nourhan Elhamawy, Tobias Faller, Carles Hernández, 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	—	`conf`	Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors. ATS Nikolaos Ioannis Deligiannis, Tobias Faller, Iacopo Guglielminetti, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2023	B	`conf`	Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing. ETS Nikolaos Ioannis Deligiannis, Tobias Faller, Chenghan Zhou, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2023	J	`jnl`	Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Nikolaos Ioannis Deligiannis, Tobias Faller, Riccardo Cantoro, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2023	B	`conf`	Constraint-Based Automatic SBST Generation for RISC-V Processor Families. ETS Tobias Faller, Nikolaos Ioannis Deligiannis, Markus Schwörer, Matteo Sonza Reorda, Bernd Becker
2023	J	`jnl`	Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
2022	A	`conf`	The Scale4Edge RISC-V Ecosystem. DATE Wolfgang Ecker, Peer Adelt, Wolfgang Müller, 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 Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
2022	—	`conf`	Using Formal Methods to Support the Development of STLs for GPUs. ATS Nikolaos Ioannis Deligiannis, Tobias Faller, Josie E. Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
2021	—	`conf`	A Feature and Classifier Study for Appliance Event Classification. SESC Benjamin Völker, Philipp M. Scholl, Bernd Becker
2021	—	`conf`	Benchmarking SMT Solvers on Automotive Code. MBMV Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige
2021	—	`conf`	Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. ATS Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Tobias Faller, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
2021	J	`jnl`	Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. CoRR Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
2021	—	`conf`	ICP and IC3 with Stronger Generalization. MBMV Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
2021	A	`conf`	ICP and IC3. DATE Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
2021	—	`conf`	Introducing MILM: A Hybrid Minimal-Intrusive Load Monitoring Approach: Poster. e-Energy Benjamin Völker, Marc Pfeifer, Florian Wolling, Philipp M. Scholl, Bernd Becker
2021	Misc	`conf`	New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core. VTS Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matthias Sauer, Bernd Becker, Matteo Sonza Reorda
2021	B	`conf`	On Preprocessing for Weighted MaxSAT. VMCAI Tobias Paxian, Pascal Raiola, Bernd Becker
2021	J	`jnl`	Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2021	—	`conf`	Towards SAT-Based SBST Generation for RISC-V Cores. LATS Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker
2020	—	`conf`	Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets. NILM@SenSys Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
2020	—	`conf`	FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. BuildSys Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
2020	B	`conf`	Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. ETS Pascal Raiola, Tobias Paxian, Bernd Becker
2020	—	`conf`	Strengthening Deterministic Policies for POMDPs. NFM Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2020	J	`jnl`	Strengthening Deterministic Policies for POMDPs. CoRR Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2019	J	`jnl`	A Multi-Media Exchange Format for Time-Series Dataset Curation. CoRR Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven
2019	—	`ch.`	A Multi-media Exchange Format for Time-Series Dataset Curation. Human Activity Sensing Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven
2019	—	`conf`	A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home. SESC Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
2019	Misc	`conf`	Active Stereo Vision with High Resolution on an FPGA. FCCM Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker
2019	—	`conf`	Correct-by-construction policies for POMDPs. SNR Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019	A*	`conf`	Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019	J	`jnl`	Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019	C	`conf`	Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. FDTC Maël Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
2019	B	`conf`	On Integrating Lightweight Encryption in Reconfigurable Scan Networks. ETS Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer
2019	A	`conf`	On Secure Data Flow in Reconfigurable Scan Networks. DATE Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
2019	—	`conf`	SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. CSEDU (2) Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker
2019	A	`conf`	Security Compliance Analysis of Reconfigurable Scan Networks. ITC Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
2019	—	`conf`	Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring. e-Energy Benjamin Völker, Philipp M. Scholl, Bernd Becker
2019	J	`jnl`	The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. J. Satisf. Boolean Model. Comput. Ralf Wimmer, Christoph Scholl, Bernd Becker
2018	—	`conf`	Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018	—	`ch.`	Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. Advanced Logic Synthesis Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
2018	A	`conf`	Characterization of possibly detected faults by accurately computing their detection probability. DATE Jan Burchard, Dominik Erb, Bernd Becker
2018	C	`conf`	Detecting and Resolving Security Violations in Reconfigurable Scan Networks. IOLTS Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
2018	A	`conf`	Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. SAT Tobias Paxian, Sven Reimer, Bernd Becker
2018	Misc	`conf`	Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. VTS Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
2018	A	`conf`	Finite-State Controllers of POMDPs using Parameter Synthesis. UAI Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018	—	`conf`	From DQBF to QBF by Dependency Elimination. MBMV Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
2018	J	`jnl`	On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
2018	B	`conf`	Online prevention of security violations in reconfigurable scan networks. ETS Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
2018	—	`conf`	Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. e-Energy Benjamin Völker, Philipp M. Scholl, Tobias Schubert, Bernd Becker
2018	B	`conf`	Towards the formal verification of security properties of a Network-on-Chip router. ETS Johanna Sepúlveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer
2017	—	`conf`	Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2017	Misc	`conf`	Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. VLSID Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker
2017	C	`conf`	AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
2017	B	`conf`	Best paper. ETS Bernd Becker, Adit D. Singh
2017	J	`jnl`	Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
2017	Misc	`conf`	Efficient SAT-based generation of hazard-activated TSOF tests. VTS Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
2017	J	`jnl`	Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. J. Electron. Test. Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
2017	—	`conf`	Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
2017	A	`conf`	Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. DATE Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
2017	A	`conf`	From DQBF to QBF by Dependency Elimination. SAT Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
2017	—	`conf`	HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
2017	—	`conf`	Integrating Algebraic and SAT Solvers. MACIS Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
2017	J	`jnl`	Motion Planning under Partial Observability using Game-Based Abstraction. CoRR Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017	—	`conf`	Motion planning under partial observability using game-based abstraction. CDC Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017	J	`jnl`	Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2017	—	`conf`	SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE Erika Ábrahám, 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	A	`conf`	Sensitized path PUF: A lightweight embedded physical unclonable function. DATE Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
2017	B	`conf`	Specification and verification of security in reconfigurable scan networks. ETS Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
2017	—	`conf`	Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
2016	J	`jnl`	A Flexible Framework for the Automatic Generation of SBST Programs. IEEE Trans. Very Large Scale Integr. Syst. Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
2016	A	`conf`	Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE Karsten Scheibler, Dominik Erb, Bernd Becker
2016	—	`conf`	Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2016	B	`conf`	Accurate ICP-based floating-point reasoning. FMCAD Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
2016	—	`conf`	Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
2016	—	`conf`	Applying Tailored Formal Methods to X-ATPG. MBMV Karsten Scheibler, Dominik Erb, Bernd Becker
2016	A	`conf`	Dependency Schemes for DQBF. SAT Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
2016	—	`conf`	Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. GI-Jahrestagung Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker
2016	C	`conf`	Distributed Parallel #SAT Solving. CLUSTER Jan Burchard, Tobias Schubert, Bernd Becker
2016	Misc	`conf`	Effective generation and evaluation of diagnostic SBST programs. VTS Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
2016	B	`conf`	Formal verification of secure reconfigurable scan network infrastructure. ETS Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
2016	—	`conf`	Known unknowns - Knowledge in the presence of unknowns. LATS Bernd Becker
2016	—	`conf`	Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. ASP-DAC Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2016	J	`jnl`	On Metrics to Quantify the Inter-Device Uniqueness of PUFs. IACR Cryptol. ePrint Arch. Linus Feiten, Matthias Sauer, Bernd Becker
2016	—	`conf`	On Optimal Power-Aware Path Sensitization. ATS Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian
2016	J	`jnl`	PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. IEEE Trans. Computers Matthias Sauer, Bernd Becker, Ilia Polian
2016	—	`conf`	PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. S-CUBE Marc Pfeifer, Tobias Schubert, Bernd Becker
2016	—	`conf`	Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility". HCC Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker
2016	—	`conf`	SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
2016	C	`conf`	SC CICM Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
2016	B	`conf`	Skolem Functions for DQBF. ATVA Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2016	J	`jnl`	Systemic Frequency Biases in Ring Oscillator PUFs on FPGAs. IEEE Trans. Multi Scale Comput. Syst. Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer, Bernd Becker
2016	—	`conf`	iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. S-CUBE Benjamin Völker, Tobias Schubert, Bernd Becker
2015	B	`conf`	Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2015	J	`jnl`	Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2015	Misc	`conf`	Cost vs. Time in Stochastic Games and Markov Automata. SETTA Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
2015	B	`conf`	Counterexamples for Expected Rewards. FM Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	J	`jnl`	Formal Vulnerability Analysis of Security Components. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker
2015	J	`jnl`	High-level Counterexamples for Probabilistic Automata Log. Methods Comput. Sci. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015	B	`conf`	Identification of high power consuming areas with gate type and logic level information. ETS Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
2015	B	`conf`	Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. ETS Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker
2015	Misc	`conf`	Improving diagnosis resolution of a fault detection test set. VTS Andreas Riefert, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
2015	B	`conf`	Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS Karsten Scheibler, Dominik Erb, Bernd Becker
2015	A	`conf`	Laissez-Faire Caching for Parallel #SAT Solving. SAT Jan Burchard, Tobias Schubert, Bernd Becker
2015	—	`conf`	Modeling Unknown Values in Test and Verification. SyDe Summer School Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
2015	Misc	`conf`	Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. VTS Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
2015	A	`conf`	On the automatic generation of SBST test programs for in-field test. DATE Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
2015	A	`conf`	Preprocessing for DQBF. SAT Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
2015	A	`conf`	Solving DQBF through quantifier elimination. DATE Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
2015	—	`conf`	Towards Verification of Artificial Neural Networks. MBMV Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
2015	J	`jnl`	Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2015	J	`jnl`	Verification of partial designs using incremental QBF. AI Commun. Christian Miller, Paolo Marin, Bernd Becker
2014	—	`conf`	Accelerating Parametric Probabilistic Verification. QEST Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	A	`conf`	An effective approach to automatic functional processor test generation for small-delay faults. DATE Andreas Riefert, Lyl M. Ciganda, Matthias Sauer, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker
2014	—	`conf`	Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. ATS Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker
2014	—	`conf`	Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Haifa Verification Conference Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker
2014	—	`conf`	Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014	Misc	`conf`	Efficient SAT-Based Circuit Initialization for Larger Designs. VLSID Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker
2014	A	`conf`	Efficient SMT-based ATPG for interconnect open defects. DATE Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker
2014	J	`jnl`	Exact Logic and Fault Simulation in Presence of Unknowns. ACM Trans. Design Autom. Electr. Syst. Dominik Erb, Michael A. Kochte, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
2014	—	`conf`	Implication Graph Compression inside the SMT Solver iSAT3. MBMV Karsten Scheibler, Bernd Becker
2014	B	`conf`	Incremental Encoding and Solving of Cardinality Constraints. ATVA Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
2014	—	`conf`	MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2014	J	`jnl`	Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014	—	`conf`	Mobile Learning mit kontextbezogenen mobilen Diensten in der "KMU Smart Factory": Szenarien und Lösungsansätze für Fertigungsprozesse. DeLFI Workshops Urs Sonderegger, Martin Zimmermann, Katrin Weber, Bernd Becker
2014	J	`jnl`	QBF with Soft Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
2014	—	`conf`	Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization. DTIS Bernd Becker, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer
2014	Misc	`conf`	SAT-Based Test Pattern Generation with Improved Dynamic Compaction. VLSID Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker
2014	J	`jnl`	Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
2014	A	`conf`	Test pattern generation in presence of unknown values based on restricted symbolic logic. ITC Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2014	A	`conf`	Using MaxBMC for Pareto-optimal circuit initialization. DATE Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
2014	B	`conf`	Using interval constraint propagation for pseudo-Boolean constraint solving. FMCAD Karsten Scheibler, Bernd Becker
2014	B	`conf`	Variation-aware deterministic ATPG. ETS Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker
2013	A	`conf`	A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
2013	J	`jnl`	Accelerating Parametric Probabilistic Verification. CoRR Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	B	`conf`	Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub
2013	—	`conf`	Accurate Multi-cycle ATPG in Presence of X-Values. Asian Test Symposium Dominik Erb, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2013	A	`conf`	Accurate QBF-based test pattern generation in presence of unknown values. DATE Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker
2013	—	`conf`	Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics. CICC Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Matthias Sauer, Bernd Becker, Subhasish Mitra
2013	A	`conf`	Early-life-failure detection using SAT-based ATPG. ITC Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker
2013	A	`conf`	Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. DATE Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
2013	—	`conf`	Equivalence Checking for Partial Implementations Revisited. MBMV Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2013	C	`conf`	Equivalence checking of partial designs using dependency quantified Boolean formulae. ICCD Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2013	—	`conf`	High-Level Counterexamples for Probabilistic Automata. QEST Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013	Misc	`conf`	Identification of critical variables using an FPGA-based fault injection framework. VTS Andreas Riefert, Jörg Müller, Matthias Sauer, Wolfram Burgard, Bernd Becker
2013	J	`jnl`	Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. Inf. Secur. J. A Glob. Perspect. Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker
2013	—	`conf`	Pre-characterization procedure for a mixed mode simulation of IR-drop induced delays. LATW Marina Aparicio, Mariane Comte, Florence Azaïs, Michel Renovell, Jie Jiang, Ilia Polian, Bernd Becker
2013	—	`conf`	Provably optimal test cube generation using quantified boolean formula solving. ASP-DAC Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
2013	—	`conf`	Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. MTV Christian Miller, Christoph Scholl, Bernd Becker
2013	—	`conf`	Recent Improvements in the SMT Solver iSAT. MBMV Karsten Scheibler, Stefan Kupferschmid, Bernd Becker
2013	J	`jnl`	SAT-Based Analysis of Sensitizable Paths. IEEE Des. Test Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
2013	—	`conf`	SMILE: Smartphones in der Lehre - ein Rück- und Überblick. GI-Jahrestagung Linus Feiten, Katrin Weber, Bernd Becker
2013	—	`conf`	Search Space Reduction for Low-Power Test Generation. Asian Test Symposium Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara
2013	—	`conf`	Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
2012	—	`conf`	#SAT-based vulnerability analysis of security components - A case study. DFT Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker
2012	B	`conf`	ALLQBF Solving by Computational Learning. ATVA Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
2012	Misc	`conf`	Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. VLSI Design Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker
2012	—	`conf`	Enhanced Integration of QBF Solving Techniques. MBMV Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
2012	B	`conf`	Exact stuck-at fault classification in presence of unknowns. ETS Stefan Hillebrecht, Michael A. Kochte, Hans-Joachim Wunderlich, Bernd Becker
2012	A	`conf`	Functional test of small-delay faults using SAT and Craig interpolation. ITC Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker
2012	A	`conf`	Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). SAT Paolo Marin, Christian Miller, Bernd Becker
2012	—	`conf`	Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
2012	A	`conf`	Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
2012	B	`conf`	Multi-conditional SAT-ATPG for power-droop testing. ETS Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker
2012	A	`conf`	On the optimality of K longest path generation algorithm under memory constraints. DATE Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
2012	B	`conf`	On the quality of test vectors for post-silicon characterization. ETS Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian
2012	—	`conf`	Performance aware partitioning for 3D-SOCs. ISOCC Amit Kumar, Sudhakar M. Reddy, Bernd Becker, Irith Pomeranz
2012	Misc	`conf`	SAT-ATPG using preferences for improved detection of complex defect mechanisms. VTS Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker
2012	—	`conf`	SMILE - Smartphones in A University Learning Environment: A Classroom Response System. ICLS Celia Kaendler, Linus Feiten, Katrin Weber, Michael Wiedmann, Manuel Buehrer, Sebastian Sester, Bernd Becker
2012	—	`conf`	SMILE - Smartphones in Lectures - Initiating a Smartphone-based Audience Response System as a Student Project. CSEDU (1) Linus Feiten, Manuel Bührer, Sebastian Sester, Bernd Becker
2012	A	`conf`	Small-delay-fault ATPG with waveform accuracy. ICCAD Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker
2012	—	`conf`	Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
2012	—	`conf`	TSV and DFT cost aware circuit partitioning for 3D-SOCs. ISQED Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker
2012	B	`conf`	The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	J	`jnl`	The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012	J	`jnl`	Transient Reward Approximation for Grids, Crowds, and Viruses CoRR Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2012	—	`conf`	Variation-Aware Fault Grading. Asian Test Symposium Alexander Czutro, Michael E. Imhof, J. Jiang, Abdullah Mumtaz, Matthias Sauer, Bernd Becker, Ilia Polian, Hans-Joachim Wunderlich
2012	A	`conf`	Verification of partial designs using incremental QBF solving. DATE Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
2011	C	`conf`	An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard
2011	—	`conf`	Bounded Fairness for Probabilistic Distributed Algorithms. ACSD Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
2011	—	`conf`	Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. MTV Christian Miller, Karina Gitina, Bernd Becker
2011	—	`conf`	Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011	—	`conf`	Craig Interpolation in the Presence of Non-linear Constraints. FORMATS Stefan Kupferschmid, Bernd Becker
2011	—	`conf`	Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. MBMV Stefan Kupferschmid, Bernd Becker
2011	—	`conf`	Efficient SAT-Based Search for Longest Sensitisable Paths. Asian Test Symposium Matthias Sauer, Jie Jiang, Alejandro Czutro, Ilia Polian, Bernd Becker
2011	C	`conf`	Estimation of component criticality in early design steps. IOLTS Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker
2011	—	`conf`	Fault diagnosis aware ATE assisted test response compaction. ASP-DAC J. M. Howard, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker
2011	B	`conf`	Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011	A	`conf`	Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing. DATE Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker
2011	J	`jnl`	Incremental preprocessing methods for use in BMC. Formal Methods Syst. Des. Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
2011	C	`conf`	Integration of an LP Solver into Interval Constraint Propagation. COCOA Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid
2011	A	`conf`	Integration of orthogonal QBF solving techniques. DATE Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
2011	J	`jnl`	Modeling and Mitigating Transient Errors in Logic Circuits. IEEE Trans. Dependable Secur. Comput. Ilia Polian, John P. Hayes, Sudhakar M. Reddy, Bernd Becker
2011	J	`jnl`	Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
2011	J	`jnl`	Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2011	C	`conf`	Proof certificates and non-linear arithmetic constraints. DDECS Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
2011	C	`conf`	Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
2011	C	`conf`	SAT-based analysis of sensitisable paths. DDECS Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker
2011	—	`conf`	SMT-based Counterexample Generation for Markov Chains. MBMV Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011	B	`conf`	Towards Variation-Aware Test Methods. ETS Ilia Polian, Bernd Becker, Sybille Hellebrand, Hans-Joachim Wunderlich, Peter C. Maxwell
2011	J	`jnl`	Variation-aware fault modeling. Sci. China Inf. Sci. Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2011	—	`conf`	Verifying Incomplete Networks of Timed Automata. MBMV Christian Miller, Christoph Scholl, Bernd Becker
2010	—	`conf`	10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2010	—	`conf`	Bounded Model Checking of Incomplete Networks of Timed Automata. MTV Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
2010	—	`conf`	Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. MMB/DFT Ralf Wimmer, Bernd Becker
2010	—	`conf`	DTMC Model Checking by SCC Reduction. QEST Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2010	A	`conf`	Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
2010	—	`conf`	Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. MBMV Christian Miller, Stefan Kupferschmid, Bernd Becker
2010	—	`conf`	Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
2010	J	`jnl`	Fault Models and Test Algorithms for Nanoscale Technologies (Fehlermodelle und Testalgorithmen für Nanoscale-Technologien). it Inf. Technol. Ilia Polian, Bernd Becker
2010	—	`conf`	Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. DSN Workshops Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2010	—	`conf`	SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
2010	—	`conf`	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
2010	J	`jnl`	Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. Int. J. Parallel Program. Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
2010	—	`conf`	Variation-Aware Fault Modeling. Asian Test Symposium Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich
2010	—	`ed.`	Verification over discrete-continuous boundaries, 04.07. - 09.07.2010 Verification over discrete-continuous boundaries Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar
2009	—	`conf`	09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. Algorithms and Applications for Next Generation SAT Solvers Bernd Becker, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita
2009	C	`conf`	ATPG-based grading of strong fault-secureness. IOLTS Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker
2009	—	`ed.`	Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009 Algorithms and Applications for Next Generation SAT Solvers Bernd Becker, V. Bertacoo, Rolf Drechsler, Masahiro Fujita
2009	Misc	`conf`	An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects. VTS Nicolas Houarche, Mariane Comte, Michel Renovell, Alejandro Czutro, Piet Engelke, Ilia Polian, Bernd Becker
2009	—	`conf`	Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
2009	J	`jnl`	Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
2009	B	`conf`	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI Ralf Wimmer, Bettina Braitling, Bernd Becker
2009	C	`conf`	Dependability Engineering of Silent Self-stabilizing Systems. SSS Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
2009	—	`conf`	Dynamic Compaction in SAT-Based ATPG. Asian Test Symposium Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
2009	—	`conf`	Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009	J	`jnl`	PaMiraXT: Parallel SAT Solving with Threads and Message Passing. J. Satisf. Boolean Model. Comput. Tobias Schubert, Matthew Lewis, Bernd Becker
2009	A	`conf`	PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009	Misc	`conf`	Picoso - A Parallel Interval Constraint Solver. PDPTA Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
2009	—	`conf`	Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
2009	—	`conf`	QmiraXT - A Multithreaded QBF Solver. MBMV Matthew Lewis, Tobias Schubert, Bernd Becker
2009	—	`conf`	Reducing temperature variability by routing heat pipes. ACM Great Lakes Symposium on VLSI Kunal P. Ganeshpure, Ilia Polian, Sandip Kundu, Bernd Becker
2009	J	`jnl`	SUPERB: Simulator utilizing parallel evaluation of resistive bridges. ACM Trans. Design Autom. Electr. Syst. Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian
2009	Misc	`conf`	TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
2008	B	`conf`	A Simulator of Small-Delay Faults Caused by Resistive-Open Defects. ETS Alejandro Czutro, Nicolas Houarche, Piet Engelke, Ilia Polian, Mariane Comte, Michel Renovell, Bernd Becker
2008	A	`conf`	A study of cognitive resilience in a JPEG compressor. DSN Damian Nowroth, Ilia Polian, Bernd Becker
2008	Misc	`conf`	Automatic Test Pattern Generation for Interconnect Open Defects. VTS Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
2008	C	`conf`	Diagnosis of Realistic Defects Based on the X-Fault Model. DDECS Ilia Polian, Kohei Miyase, Yusuke Nakamura, Seiji Kajihara, Piet Engelke, Bernd Becker, Stefan Spinner, Xiaoqing Wen
2008	A	`conf`	Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model. ITC Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
2008	J	`jnl`	On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Piet Engelke, Ilia Polian, Michel Renovell, Sandip Kundu, Bharath Seshadri, Bernd Becker
2008	—	`conf`	On Reducing Circuit Malfunctions Caused by Soft Errors. DFT Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, Xun Tang, Bernd Becker
2008	C	`conf`	Probabilistic Model Checking and Reliability of Results. DDECS Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2008	C	`conf`	Propositional approximations for bounded model checking of partial circuit designs. ICCD Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
2008	A	`conf`	Resistive Bridging Fault Simulation of Industrial Circuits. DATE Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker
2008	—	`conf`	Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors. ISVLSI Ilia Polian, Sudhakar M. Reddy, Bernd Becker
2008	B	`conf`	Selective Hardening in Early Design Steps. ETS Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker
2008	—	`book`	Technische Informatik - eine einführende Darstellung. Bernd Becker, Paul Molitor
2008	—	`conf`	The Demand for Reliability in Probabilistic Verification. MBMV Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2007	—	`conf`	AVACS -- Automatic Verification and Analysis of Complex Systems. MBMV Bernd Becker
2007	Misc	`conf`	An Analysis Framework for Transient-Error Tolerance. VTS John P. Hayes, Ilia Polian, Bernd Becker
2007	—	`conf`	Application of Lifting in Partial Design Analysis. MTV Marc Herbstritt, Vanessa Struve, Bernd Becker
2007	A	`conf`	Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD Tobias Nopper, Christoph Scholl, Bernd Becker
2007	J	`jnl`	Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors CoRR Stefan Spinner, Julian Bartholomeyczik, Bernd Becker, Michael Doelle, Oliver Paul, Ilia Polian, Roland Roth, Karl Seitz, Patrick Ruther
2007	J	`jnl`	Evolutionary Optimization in Code-Based Test Compression CoRR Ilia Polian, Alejandro Czutro, Bernd Becker
2007	—	`conf`	Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV Ralf Wimmer, Marc Herbstritt, Bernd Becker
2007	C	`conf`	Identification of Critical Errors in Imaging Applications. IOLTS Ilia Polian, Damian Nowroth, Bernd Becker
2007	A*	`conf`	LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke
2007	—	`conf`	Multithreaded SAT Solving. ASP-DAC Matthew Lewis, Tobias Schubert, Bernd Becker
2007	—	`conf`	On Combining 01X-Logic and QBF. EUROCAST Marc Herbstritt, Bernd Becker
2007	C	`conf`	On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
2007	—	`conf`	Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI Ralf Wimmer, Marc Herbstritt, Bernd Becker
2007	J	`jnl`	Power Droop Testing. IEEE Des. Test Comput. Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker
2007	J	`jnl`	SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007	—	`conf`	SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges. ATS Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker
2007	—	`conf`	Simulating Open-Via Defects. ATS Stefan Spinner, Jie Jiang, Ilia Polian, Piet Engelke, Bernd Becker
2006	—	`conf`	A Definition and Classification of Timing Anomalies. WCET Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
2006	—	`conf`	A Specific ATPG technique for Resistive Open with Sequence Recursive Dependency. ATS Michel Renovell, Mariane Comte, Ilia Polian, Piet Engelke, Bernd Becker
2006	—	`conf`	Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV Marc Herbstritt, Bernd Becker, Christoph Scholl
2006	C	`conf`	Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
2006	J	`jnl`	Automatic Test Pattern Generation for Resistive Bridging Faults. J. Electron. Test. Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
2006	—	`conf`	Bounded Model Checking with Parametric Data Structures. BMC@FLoC Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006	—	`conf`	Compositional Performability Evaluation for STATEMATE. QEST Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
2006	J	`jnl`	DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). it Inf. Technol. Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich
2006	—	`conf`	Delta-IDDQ Testing of Resistive Short Defects. ATS Piet Engelke, Ilia Polian, Hans Manhaeve, Michel Renovell, Bernd Becker
2006	—	`conf`	Low-Cost Hardening of Image Processing Applications Against Soft Errors. DFT Ilia Polian, Bernd Becker, Masato Nakasato, Satoshi Ohtake, Hideo Fujiwara
2006	—	`conf`	Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
2006	C	`conf`	Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS Ralf Wimmer, Marc Herbstritt, Bernd Becker
2006	J	`jnl`	Orthogonal Hypergraph Drawing for Improved Visibility. J. Graph Algorithms Appl. Thomas Eschbach, Wolfgang Günther, Bernd Becker
2006	—	`conf`	Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
2006	C	`conf`	Power Droop Testing. ICCD Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker
2006	B	`conf`	Sigref- A Symbolic Bisimulation Tool Box. ATVA Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
2006	J	`jnl`	Simulating Resistive-Bridging and Stuck-At Faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
2006	J	`jnl`	X-masking during logic BIST and its impact on defect coverage. IEEE Trans. Very Large Scale Integr. Syst. Yuyi Tang, Hans-Joachim Wunderlich, Piet Engelke, Ilia Polian, Bernd Becker, Jürgen Schlöffel, Friedrich Hapke, Michael Wittke
2005	—	`conf`	A Family of Logical Fault Models for Reversible Circuits. Asian Test Symposium Ilia Polian, Thomas Fiehn, Bernd Becker, John P. Hayes
2005	B	`conf`	A unified fault model and test generation procedure for interconnect opens and bridges. ETS Gang Chen, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski, Piet Engelke, Bernd Becker
2005	—	`conf`	Automated Text Extraction And Indexing Of Video Presentation Recordings For Keyword Search Via A Web Interface. DeLFI Workshops Martina Welte, Thomas Eschbach, Bernd Becker
2005	—	`conf`	BDDs in a Branch and Cut Framework. WEA Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
2005	A	`conf`	Evolutionary Optimization in Code-Based Test Compression. DATE Ilia Polian, Alejandro Czutro, Bernd Becker
2005	Misc	`conf`	Knowledge Sharing in a Microcontroller based Parallel SAT Solver. PDPTA Tobias Schubert, Bernd Becker
2005	—	`conf`	Lemma Exchange in a Microcontroller Based Parallel SAT Solver. ISVLSI Tobias Schubert, Bernd Becker
2005	J	`jnl`	Modeling Feedback Bridging Faults with Non-Zero Resistance. J. Electron. Test. Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker
2005	—	`conf`	On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. Asian Test Symposium Sandip Kundu, Piet Engelke, Ilia Polian, Bernd Becker
2005	—	`conf`	On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV Marc Herbstritt, Bernd Becker
2005	B	`conf`	Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
2005	Misc	`conf`	Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases. VLSI Design Thomas Eschbach, Wolfgang Günther, Bernd Becker
2005	—	`conf`	PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV Tobias Schubert, Matthew D. T. Lewis, Bernd Becker
2005	Misc	`conf`	Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies. VTS Ilia Polian, Sandip Kundu, Jean-Marc Gallière, Piet Engelke, Michel Renovell, Bernd Becker
2005	—	`conf`	Securing Wireless Networks in a University Environment. PerCom Workshops Jochen Eisinger, Peter Winterer, Bernd Becker
2005	A	`conf`	Speedup Techniques Utilized in Modern SAT Solvers. SAT Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
2005	—	`book`	Technische Informatik - eine Einführung. Bernd Becker, Rolf Drechsler, Paul Molitor
2005	A	`conf`	Transient fault characterization in dynamic noisy environments. ITC Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker
2004	—	`conf`	A Distributed SAT Solver for Microcontroller. ARCS Workshops Tobias Schubert, Bernd Becker
2004	B	`conf`	Automatic test pattern generation for resistive bridging faults. ETS Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
2004	—	`conf`	Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
2004	A	`conf`	Early Conflict Detection Based BCP for SAT Solving. SAT Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
2004	—	`conf`	Early Conflict Detection Based SAT Solving. MBMV Matthew D. T. Lewis, Tobias Schubert, Bernd Becker
2004	—	`conf`	On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV Marc Herbstritt, Thomas Kmieciak, Bernd Becker
2004	—	`conf`	Orthogonal hypergraph routing for improved visibility. ACM Great Lakes Symposium on VLSI Thomas Eschbach, Wolfgang Günther, Bernd Becker
2004	—	`conf`	PICHAFF MTV Tobias Schubert, Bernd Becker
2004	—	`conf`	Parallel SAT Solving with Microcontrollers. AACC Tobias Schubert, Bernd Becker
2004	—	`conf`	Placement and routing optimization for circuits derived from BDDs. ISCAS (5) Thomas Eschbach, Rolf Drechsler, Bernd Becker
2004	J	`jnl`	Scalable Delay Fault BIST for Use with Low-Cost ATE. J. Electron. Test. Ilia Polian, Bernd Becker
2004	—	`conf`	Testing for Missing-Gate Faults in Reversible Circuits. Asian Test Symposium John P. Hayes, Ilia Polian, Bernd Becker
2004	Misc	`conf`	The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. VTS Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker
2004	A	`conf`	X-Masking During Logic BIST and Its Impact on Defect Coverage. ITC Yuyi Tang, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker
2003	A	`conf`	Conflict-Based Selection of Branching Rules. SAT Marc Herbstritt, Bernd Becker
2003	—	`conf`	Conflict-based Selection of Branching Rules in SAT-Algorithms. MBMV Marc Herbstritt, Bernd Becker
2003	—	`conf`	Cross Reduction for Orthogonal Circuit Visualization. VLSI Thomas Eschbach, Wolfgang Günther, Bernd Becker
2003	A	`conf`	Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST. DATE Ilia Polian, Bernd Becker, Sudhakar M. Reddy
2003	J	`jnl`	Exact Routing with Search Space Reduction. IEEE Trans. Computers Frank Schmiedle, Rolf Drechsler, Bernd Becker
2003	—	`conf`	Modeling feedback bridging faults with non-zero resistance. ETW Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker
2003	J	`jnl`	Multiple Scan Chain Design for Two-Pattern Testing. J. Electron. Test. Ilia Polian, Bernd Becker
2003	J	`jnl`	Pattern-based verification of connections to intellectual property cores. Integr. Ilia Polian, Wolfgang Günther, Bernd Becker
2003	J	`jnl`	Polynomial Formal Verification of Multipliers. Formal Methods Syst. Des. Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
2003	C	`conf`	Reducing ATE Cost in System-on-Chip Test. VLSI-SOC Ilia Polian, Bernd Becker
2003	J	`jnl`	Simulating Realistic Bridging and Crosstalk Faults in an Industrial Setting. J. Electron. Test. Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker
2003	A	`conf`	Simulating Resistive Bridging and Stuck-At Faults. ITC Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker
2003	—	`conf`	The Case for 2-POF. MBMV Ilia Polian, Wolfgang Günther, Bernd Becker
2002	C	`conf`	Checking Equivalence for Circuits Containing Incompletely Specified Boxes. ICCD Christoph Scholl, Bernd Becker
2002	A	`conf`	Crossing Reduction by Windows Optimization. GD Thomas Eschbach, Wolfgang Günther, Rolf Drechsler, Bernd Becker
2002	—	`conf`	Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. ISMVL Ilia Polian, Piet Engelke, Bernd Becker
2002	—	`conf`	Equivalence Checking in the Presence of Incompletely Specified Boxes. MBMV Christoph Scholl, Bernd Becker
2002	—	`conf`	Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests. Asian Test Symposium Ilia Polian, Irith Pomeranz, Bernd Becker
2002	J	`jnl`	On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. Formal Methods Syst. Des. Christoph Scholl, Bernd Becker, Thomas M. Weis
2002	—	`conf`	Sequential n -Detection Criteria: Keep It Simple. IOLTW Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker
2002	—	`conf`	Simulating realistic bridging and crosstalk faults in an industrial setting. ETW Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker
2002	—	`conf`	Stop & Go BIST. IOLTW Ilia Polian, Bernd Becker
2002	—	`conf`	Symbolic Simulation of Algorithms Specified in HDL. MBMV Klaus-Jürgen Englert, Bernd Becker, Rolf Drechsler
2001	—	`conf`	Application of linearly transformed BDDs in sequential verification. ASP-DAC Wolfgang Günther, Andreas Hett, Bernd Becker
2001	A*	`conf`	Checking Equivalence for Partial Implementations. DAC Christoph Scholl, Bernd Becker
2001	—	`conf`	Checking Equivalence for Partial Implementations. MBMV (1) Christoph Scholl, Bernd Becker
2001	J	`jnl`	Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. J. Electron. Test. Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
2001	—	`conf`	Don't Care Minimization of BMDs: Complexity and Algorithms. MBMV (1) Christoph Scholl, Marc Herbstritt, Bernd Becker
2001	—	`conf`	Efficient Pattern-Based Verification of Connections to IP Cores . Asian Test Symposium Ilia Polian, Wolfgang Günther, Bernd Becker
2001	—	`conf`	Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. MBMV (1) Ilia Polian, Wolfgang Günther, Bernd Becker
2001	—	`conf`	Exploiting don't cares to minimize *BMDs. ISCAS (5) Christoph Scholl, Marc Herbstritt, Bernd Becker
2001	C	`conf`	Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement. DSD Bernd Becker, Thomas Eschbach, Rolf Drechsler, Wolfgang Günther
2001	C	`conf`	Multi-objective Optimisation Based on Relation EMO Nicole Drechsler, Rolf Drechsler, Bernd Becker
2001	—	`conf`	Multiple Scan Chain Design for Two-Pattern Testing. LATW Ilia Polian, Bernd Becker
2001	Misc	`conf`	Multiple Scan Chain Design for Two-Pattern Testing. VTS Ilia Polian, Bernd Becker
2001	—	`conf`	Supervised Dynamic Recording in Model Checking. MBMV (1) Andreas Hett, Bernd Becker
2001	—	`conf`	The multiple variable order problem for binary decision diagrams: theory and practical application. ASP-DAC Christoph Scholl, Bernd Becker, Andreas Brogle
2001	—	`conf`	Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics. Fuzzy Days Frank Schmiedle, Daniel Große, Rolf Drechsler, Bernd Becker
2000	—	`conf`	A parameterizable fault simulator for bridging faults. ETW Piet Engelke, Bernd Becker, Martin Keim
2000	—	`conf`	Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker
2000	A*	`conf`	Distance driven finite state machine traversal. DAC Andreas Hett, Christoph Scholl, Bernd Becker
2000	—	`conf`	Exact switchbox routing with search space reduction. ISPD Frank Schmiedle, Daniel Unruh, Bernd Becker
2000	C	`conf`	Minimization of Ordered Pseudo Kronecker Decision Diagrams. ICCD Per Lindgren, Rolf Drechsler, Bernd Becker
2000	J	`jnl`	OKFDD minimization by genetic algorithms with application to circuit design. Integr. Rolf Drechsler, Bernd Becker, Nicole Drechsler
2000	A	`conf`	On the Generation of Multiplexer Circuits for Pass Transistor Logic. DATE Christoph Scholl, Bernd Becker
2000	A	`conf`	Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker
2000	—	`conf`	State Traversal guided by Hamming Distance Profiles. MBMV Andreas Hett, Christoph Scholl, Bernd Becker
2000	—	`conf`	Testability of Circuits Derived from Lattice Diagrams. EUROMICRO Rolf Drechsler, Wolfgang Günther, Bernd Becker
2000	—	`conf`	Testability of Circuits Derived from Lattice Diagrams. LATW Rolf Drechsler, Wolfgang Günther, Bernd Becker
2000	—	`conf`	Verification of Designs Containing Black Boxes. EUROMICRO Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker
2000	—	`conf`	Verification of Designs Containing Black Boxes. MBMV Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker
1999	—	`conf`	A scalable BIST architecture for delay faults. ETW Martin Keim, Ilia Polian, Harry Hengster, Bernd Becker
1999	—	`conf`	Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. ASP-DAC Martin Keim, Nicole Drechsler, Bernd Becker
1999	—	`conf`	Exact channel routing using symbolic representation. ISCAS (6) Frank Schmiedle, Rolf Drechsler, Bernd Becker
1999	—	`conf`	Grouping Heuristics for Word-Level Decision Diagrams. MBMV Rolf Drechsler, Marc Herbstritt, Bernd Becker
1999	—	`conf`	Grouping heuristics for word-level decision diagrams. ISCAS (1) Rolf Drechsler, Marc Herbstritt, Bernd Becker
1999	J	`jnl`	Hybrid Fault Simulation for Synchronous Sequential Circuits. J. Electron. Test. Bernd Becker, Martin Keim, Rolf Krieger
1999	—	`conf`	Multi-objected Optimization in Evolutionary Algorithms Using Satisfiability Classes. Fuzzy Days Nicole Drechsler, Rolf Drechsler, Bernd Becker
1999	—	`conf`	Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability. FTCS Harry Hengster, Bernd Becker
1999	C	`conf`	Synthesis of Pseudo Kronecker Lattice Diagrams. ICCD Per Lindgren, Rolf Drechsler, Bernd Becker
1999	J	`jnl`	Testability of 2-Level AND/EXOR Circuits. J. Electron. Test. Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker
1998	—	`book`	Binary Decision Diagrams - Theory and Implementation. Rolf Drechsler, Bernd Becker
1998	—	`book`	Graphenbasierte Funktionsdarstellung - Boolesche und Pseudo-Boolesche Funktionen. Rolf Drechsler, Bernd Becker
1998	—	`conf`	Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions. ISMVL Per Lindgren, Rolf Drechsler, Bernd Becker
1998	J	`jnl`	On Variable Ordering and Decomposition Type Choice in OKFDDs. IEEE Trans. Computers Rolf Drechsler, Bernd Becker, Andrea Jahnke
1998	J	`jnl`	Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rolf Drechsler, Bernd Becker
1998	—	`conf`	Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. ISMVL Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
1998	J	`jnl`	Testing with decision diagrams. Integr. Bernd Becker
1998	A	`conf`	Word-level decision diagrams, WLCDs and division. ICCAD Christoph Scholl, Bernd Becker, Thomas M. Weis
1997	Misc	`conf`	(Quasi-) Linear Path Delay Fault Tests for Adders. VLSI Design Bernd Becker, Rolf Drechsler, Sudhakar M. Reddy
1997	Misc	`conf`	Decision Diagrams in Synthesis - Algorithms, Applications and Extensions. VLSI Design Bernd Becker, Rolf Drechsler
1997	—	`conf`	Fast and efficient construction of BDDs by reordering based synthesis. ED&TC Andreas Hett, Rolf Drechsler, Bernd Becker
1997	—	`conf`	Fault Simulation in Sequential Multi-Valued Logic Networks. ISMVL Rolf Drechsler, Martin Keim, Bernd Becker
1997	A	`conf`	Functional simulation using binary decision diagrams. ICCAD Christoph Scholl, Rolf Drechsler, Bernd Becker
1997	—	`conf`	Learning heuristics for OKFDD minimization by evolutionary algorithms. ASP-DAC Nicole Göckel, Rolf Drechsler, Bernd Becker
1997	A	`conf`	Manipulation Algorithms for K*BMDs. TACAS Rolf Drechsler, Bernd Becker, Stefan Ruppertz
1997	Misc	`conf`	On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. VTS Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker
1997	J	`jnl`	On the Expressive Power of OKFDDs. Formal Methods Syst. Des. Bernd Becker, Rolf Drechsler, Michael Theobald
1997	—	`conf`	On the representational power of bit-level and word-level decision diagrams. ASP-DAC Bernd Becker, Rolf Drechsler, Reinhard Enders
1997	Misc	`conf`	Polynomial Formal Verification of Multipliers. VTS Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
1997	—	`conf`	Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. ISMVL Rolf Drechsler, Martin Keim, Bernd Becker
1997	J	`jnl`	Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rolf Drechsler, Bernd Becker
1997	—	`conf`	Testability of 2-level AND/EXOR circuits. ED&TC Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker
1997	J	`jnl`	The K*BMD: A Verification Data Structure. IEEE Des. Test Comput. Rolf Drechsler, Bernd Becker, Stefan Ruppertz
1996	—	`conf`	A Fast Optimal Robust Path Delay Fault Testable Adder. ED&TC Bernd Becker, Rolf Drechsler, Rolf Krieger, Sudhakar M. Reddy
1996	—	`conf`	AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth. Asian Test Symposium Harry Hengster, Rolf Drechsler, Bernd Becker, Stefan Eckrich, Tonja Pfeiffer
1996	J	`jnl`	Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers Rolf Drechsler, Michael Theobald, Bernd Becker
1996	—	`conf`	K*BMDs: A New Data Structure for Verification. ED&TC Rolf Drechsler, Bernd Becker, Stefan Ruppertz
1996	A	`conf`	Learning Heuristics for OBDD Minimization by Evolutionary Algorithms. PPSN Rolf Drechsler, Nicole Göckel, Bernd Becker
1996	A	`conf`	Local Transformations and Robust Dependent Path Delay. ITC Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Reddy
1996	—	`conf`	MORE: an alternative implementation of BDD packages by multi-operand synthesis. EURO-DAC Andreas Hett, Bernd Becker, Rolf Drechsler
1996	Misc	`conf`	On the (non-)resetability of synchronous sequential circuits. VTS Martin Keim, Bernd Becker, Birgitta Stenner
1995	J	`jnl`	A Genetic Algorithm for Decomposition Type Choice in OKFDDs. Int. J. Artif. Intell. Tools Rolf Drechsler, Bernd Becker, Nicole Göckel, Andrea Jahnke
1995	—	`conf`	A Genetic Algorithm for Minimization of Fixed Polarity Reed-Muller Expressions. ICANNGA Rolf Drechsler, Bernd Becker, Nicole Göckel
1995	C	`conf`	Dynamic minimization of OKFDDs. ICCD Rolf Drechsler, Bernd Becker
1995	—	`conf`	How many decomposition types do we need? [decision diagrams]. ED&TC Bernd Becker, Rolf Drechsler
1995	—	`conf`	Learning heuristics by genetic algorithms. ASP-DAC Rolf Drechsler, Bernd Becker
1995	—	`conf`	OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. FTCS Rolf Krieger, Bernd Becker, Can Ökmen
1995	A*	`conf`	OKFDDs versus OBDDs and OFDDs. ICALP Bernd Becker, Rolf Drechsler, Michael Theobald
1995	J	`jnl`	On local transformations and path delay fault testability. J. Electron. Test. Harry Hengster, Rolf Drechsler, Bernd Becker
1995	B	`conf`	On the Relation Betwen BDDs and FDDs. LATIN Bernd Becker, Rolf Drechsler, Ralph Werchner
1995	J	`jnl`	On the Relation between BDDs and FDDs. Inf. Comput. Bernd Becker, Rolf Drechsler, Ralph Werchner
1995	Misc	`conf`	On the application of local circuit transformations with special emphasis on path delay fault testability. VTS Harry Hengster, Rolf Drechsler, Bernd Becker
1995	J	`jnl`	On the generation of area-time optimal testable adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bernd Becker, Rolf Drechsler, Paul Molitor
1995	J	`jnl`	On the testability of iterative logic arrays. Integr. Bernd Becker, Ralf Hahn, Joachim Hartmann, Uwe Sparmann
1995	—	`conf`	Random Pattern Fault Simulation in Multi-Valued Circuits. ISMVL Rolf Drechsler, Rolf Krieger, Bernd Becker
1995	A*	`conf`	Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. DAC Rolf Krieger, Bernd Becker, Martin Keim
1995	—	`conf`	Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. ED&TC Rolf Drechsler, Bernd Becker
1995	—	`conf`	Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams. ED&TC Bernd Becker, Rolf Drechsler
1994	—	`conf`	A Hierarchical Approach to Fault Collapsing. EDAC-ETC-EUROASIC Ralf Hahn, Rolf Krieger, Bernd Becker
1994	A	`conf`	A Hybrid Fault Simulator for Synchronous Sequential Circuits. ITC Rolf Krieger, Bernd Becker, Martin Keim
1994	—	`conf`	Efficient Graph Based Representation of Multi-Valued Functions with an Application to Genetic Algorithms. ISMVL Bernd Becker, Rolf Drechsler
1994	A*	`conf`	Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. DAC Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski
1994	—	`conf`	Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC Rolf Drechsler, Bernd Becker, Michael Theobald
1994	C	`conf`	OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms. ICCD Bernd Becker, Rolf Drechsler
1994	Misc	`conf`	Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model. VLSI Design Harry Hengster, Rolf Drechsler, Bernd Becker
1994	—	`conf`	Testability of Circuits Derived from Functional Decision Diagrams. EDAC-ETC-EUROASIC Bernd Becker, Rolf Drechsler
1993	—	`conf`	A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. FTCS Rolf Krieger, Bernd Becker, R. Sinkovic
1993	Misc	`conf`	FAST-SC: Fast Fault Simulation in Synchronous Sequential Circuits. VLSI Design Bernd Becker, Rolf Krieger
1993	—	`conf`	On the implementation of an efficient performance driven generator for conditional-sum-adders. EURO-DAC Bernd Becker, Rolf Drechsler, Paul Molitor
1992	—	`conf`	A performance driven generator for efficient testable conditional-sum-adders. EURO-DAC Bernd Becker, Paul Molitor
1992	—	`conf`	A time optimal robust path-delay-fault self-testable adder. EURO-DAC Bernd Becker, Rolf Drechsler
1992	—	`conf`	Fast fault simulation in combinational circuits: an efficient data structure, dynamic dominators and refined check-up. EURO-DAC Bernd Becker, Ralf Hahn, Rolf Krieger
1992	B	`conf`	Some Remarks on the Test Complexity of Iterative Logic Arrays. MFCS Bernd Becker, Joachim Hartmann
1992	—	`ch.`	Synthesis for Testability: Binary Decision Diagrams. Informatik Bernd Becker
1992	A	`conf`	Synthesis for Testability: Binary Decision Diagrams. STACS Bernd Becker
1991	J	`jnl`	A uniform test approach for RCC-adders. Fundam. Informaticae Bernd Becker, Uwe Sparmann
1991	J	`jnl`	Computations over Finite Monoids and their Test Complexity. Theor. Comput. Sci. Bernd Becker, Uwe Sparmann
1991	—	`conf`	Structure based methods for parallel pattern fault simulation in combinational circuits. EURO-DAC Bernd Becker, Ralf Hahn, Rolf Krieger, Uwe Sparmann
1990	—	`conf`	A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann
1990	B	`conf`	Optimal-Time Multipliers and C-Testability. SPAA Bernd Becker, Joachim Hartmann
1990	J	`jnl`	Optimal-Time Multipliers and C-Testability. J. Inf. Process. Cybern. Bernd Becker, Joachim Hartmann
1989	—	`conf`	Computations over finite monoids and their test complexity. FTCS Bernd Becker, Uwe Sparmann
1988	J	`jnl`	Efficient Testing of Optimal Time Adders. IEEE Trans. Computers Bernd Becker
1988	J	`jnl`	How Robust Is The n-Cube? Inf. Comput. Bernd Becker, Hans Ulrich Simon
1988	A	`conf`	On the Construction of Optimal Time Adders (Extended Abstract). STACS Bernd Becker, Reiner Kolla
1988	—	`conf`	Regular Structures and Testing: RCC-Adders. AWOC Bernd Becker, Uwe Sparmann
1987	J	`jnl`	An Easily Testable Optimal-Time VLSI-Multiplier. Acta Informatica Bernd Becker
1987	A*	`conf`	Hierarchical Design Based on a Calculus of Nets. DAC Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof
1987	J	`jnl`	Layouts with Wires of Balanced Length Inf. Comput. Bernd Becker, Hans-Georg Osthof
1987	J	`jnl`	On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. Bernd Becker, Günter Hotz
1986	B	`conf`	Efficient Testing of Optimal Time Adders (Extended Abstract). MFCS Bernd Becker
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	A*	`conf`	How Robust Is the n-Cube? (Extended Abstract) FOCS Bernd Becker, Hans Ulrich Simon
1985	A	`conf`	Layouts with Wires of Balanced Length. STACS Bernd Becker, Hans-Georg Osthof
1983	—	`conf`	On the crossing-free, rectangular embedding of weighted graphs in the plane. Theoretical Computer Science Bernd Becker
1982	—	`—`	Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene. Bernd Becker