Bernd Becker

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 94

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Nikolaos Ioannis Deligiannis, Tobias Faller, Chenghan Zhou, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
Automating the Generation of Functional Stress Inducing Stimuli for Burn-In Testing. ETS (2023)
Nikolaos Ioannis Deligiannis, Tobias Faller, Iacopo Guglielminetti, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors. ATS (2023)
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, Mathias Sauer, Denis Schwachhofer, Matteo Sonza Reorda, Todor Stefanov, Ilya Tuzov, Stefan Wagner, Nusa Zidaric
A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. ETS (2023)
Nikolaos Ioannis Deligiannis, Tobias Faller, Riccardo Cantoro, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Tobias Faller, Nikolaos Ioannis Deligiannis, Markus Schwörer, Matteo Sonza Reorda, Bernd Becker
Constraint-Based Automatic SBST Generation for RISC-V Processor Families. ETS (2023)
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
The Scale4Edge RISC-V Ecosystem. DATE (2022)
Nikolaos Ioannis Deligiannis, Tobias Faller, Josie E. Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda
Using Formal Methods to Support the Development of STLs for GPUs. ATS (2022)
Tobias Paxian, Pascal Raiola, Bernd Becker
On Preprocessing for Weighted MaxSAT. VMCAI (2021)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. CoRR (2021)
Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige
Benchmarking SMT Solvers on Automotive Code. MBMV (2021)
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
ICP and IC3. DATE (2021)
Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Tobias Faller, Tobias Paxian, Bernd Becker, Matteo Sonza Reorda
Effective SAT-based Solutions for Generating Functional Sequences Maximizing the Sustained Switching Activity in a Pipelined Processor. ATS (2021)
Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker
Towards SAT-Based SBST Generation for RISC-V Cores. LATS (2021)
Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matthias Sauer, Bernd Becker, Matteo Sonza Reorda
New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core. VTS (2021)
Benjamin Völker, Philipp M. Scholl, Bernd Becker
A Feature and Classifier Study for Appliance Event Classification. SESC (2021)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66 (3) (2021)
Benjamin Völker, Marc Pfeifer, Florian Wolling, Philipp M. Scholl, Bernd Becker
Introducing MILM: A Hybrid Minimal-Intrusive Load Monitoring Approach: Poster. e-Energy (2021)
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
ICP and IC3 with Stronger Generalization. MBMV (2021)
Pascal Raiola, Tobias Paxian, Bernd Becker
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. ETS (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. NFM (2020)
Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. BuildSys@SenSys (2020)
Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets. NILM@SenSys (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. CoRR (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer
On Integrating Lightweight Encryption in Reconfigurable Scan Networks. ETS (2019)
Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker
A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home. SESC (2019)
Maël Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian
Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. FDTC (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR (2019)
Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
Security Compliance Analysis of Reconfigurable Scan Networks. ITC (2019)
Benjamin Völker, Philipp M. Scholl, Bernd Becker
Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring. e-Energy (2019)
Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven
A Multi-Media Exchange Format for Time-Series Dataset Curation. CoRR (2019)
Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker
SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. CSEDU (2) (2019)
Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
On Secure Data Flow in Reconfigurable Scan Networks. DATE (2019)
Ralf Wimmer, Christoph Scholl, Bernd Becker
The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker
Active Stereo Vision with High Resolution on an FPGA. FCCM (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI (2019)
Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
Detecting and Resolving Security Violations in Reconfigurable Scan Networks. IOLTS (2018)
Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. VTS (2018)
Jan Burchard, Dominik Erb, Bernd Becker
Characterization of possibly detected faults by accurately computing their detection probability. DATE (2018)
Tobias Paxian, Sven Reimer, Bernd Becker
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. SAT (2018)
Benjamin Völker, Philipp M. Scholl, Tobias Schubert, Bernd Becker
Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. e-Energy (2018)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI (2018)
Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
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. 37 (10) (2018)
Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
Online prevention of security violations in reconfigurable scan networks. ETS (2018)
Johanna Sepúlveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer
Towards the formal verification of security properties of a Network-on-Chip router. ETS (2018)
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
From DQBF to QBF by Dependency Elimination. MBMV (2018)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV (2018)
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
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR (2017)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker
Efficient SAT-based generation of hazard-activated TSOF tests. VTS (2017)
Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker
Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. DATE (2017)
Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion planning under partial observability using game-based abstraction. CDC (2017)
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29 (4) (2017)
Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker
Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. VLSI Design (2017)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR (2017)
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
From DQBF to QBF by Dependency Elimination. SAT (2017)
Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS (2017)
Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. J. Electron. Test. 33 (6) (2017)
Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian
Sensitized path PUF: A lightweight embedded physical unclonable function. DATE (2017)
Jan Burchard, Ange-Salomé Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
Towards mixed structural-functional models for algebraic fault attacks on ciphers. IVSW (2017)
Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer
Integrating Algebraic and SAT Solvers. MACIS (2017)
Jan Burchard, Mael Gay, Ange-Salomé Messeng Ekossono, Jan Horácek, Bernd Becker, Tobias Schubert, Martin Kreuzer, Ilia Polian
AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. FDTC (2017)
Bernd Becker, Adit D. Singh
Best paper. ETS (2017)
Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
Specification and verification of security in reconfigurable scan networks. ETS (2017)
Benjamin Völker, Tobias Schubert, Bernd Becker
iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. S-CUBE (2016)
Marc Pfeifer, Tobias Schubert, Bernd Becker
PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. S-CUBE (2016)
Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker
Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. GI-Jahrestagung (2016)
Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
Effective generation and evaluation of diagnostic SBST programs. VTS (2016)
Karsten Scheibler, Dominik Erb, Bernd Becker
Applying Tailored Formal Methods to X-ATPG. MBMV (2016)
Linus Feiten, Jonathan Oesterle, Tobias Martin, Matthias Sauer, Bernd Becker
Systemic Frequency Biases in Ring Oscillator PUFs on FPGAs. IEEE Trans. Multi Scale Comput. Syst. 2 (3) (2016)
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
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
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
Satisfiability Checking and Symbolic Computation. CoRR (2016)
Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Skolem Functions for DQBF. ATVA (2016)
Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. ASP-DAC (2016)
Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
Dependency Schemes for DQBF. SAT (2016)
Karsten Scheibler, Dominik Erb, Bernd Becker
Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE (2016)
Bernd Becker
Known unknowns - Knowledge in the presence of unknowns. LATS (2016)
Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker
A Flexible Framework for the Automatic Generation of SBST Programs. IEEE Trans. Very Large Scale Integr. Syst. 24 (10) (2016)
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
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Linus Feiten, Matthias Sauer, Bernd Becker
On Metrics to Quantify the Inter-Device Uniqueness of PUFs. IACR Cryptol. ePrint Arch. 2016 (2016)
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference (2016)
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
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
Jan Burchard, Tobias Schubert, Bernd Becker
Distributed Parallel #SAT Solving. CLUSTER (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian
On Optimal Power-Aware Path Sensitization. ATS (2016)
Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
Formal verification of secure reconfigurable scan network infrastructure. ETS (2016)
Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker
Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility". HCC (2016)
Matthias Sauer, Bernd Becker, Ilia Polian
PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. IEEE Trans. Computers 65 (6) (2016)
Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer
SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference (2016)
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Counterexamples for Expected Rewards. FM (2015)
Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
Modeling Unknown Values in Test and Verification. SyDe Summer School (2015)
Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
Solving DQBF through quantifier elimination. DATE (2015)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI (2015)
Karsten Scheibler, Dominik Erb, Bernd Becker
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS (2015)
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
Towards Verification of Artificial Neural Networks. MBMV (2015)

Bernd Becker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Becker