default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernd Becker 0001
Person information
- affiliation: University of Freiburg, Germany
Other persons with the same name
- Bernd Becker 0002 — EuroCloud Europe, Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j75]Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen:
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26(3): 269-299 (2024)- [c367]Tobias Faller, Nikolaos Ioannis Deligiannis, Riccardo Cantoro, Matteo Sonza Reorda, Bernd Becker:
Special Session: Software-Based Self-Test Generation for RISC-V - Stuck-At Generation, Functional Cell-Aware Untestability, and FPGA Demonstration -. DFT 2024: 1-6 - 2023
- [j74]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): 1351-1364 (2023) - [j73]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): 4270-4281 (2023) - [c366]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: 1-6 - [c365]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:
A Survey of Recent Developments in Testability, Safety and Security of RISC-V Processors. ETS 2023: 1-10 - [c364]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: 1-5 - [c363]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: 1-6 - 2022
- [c362]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: 84-89 - [c361]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: 808-813 - 2021
- [j72]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): 1040-1054 (2021) - [c360]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: 73-78 - [c359]Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker:
ICP and IC3. DATE 2021: 1116-1121 - [c358]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: 298-299 - [c357]Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker:
Towards SAT-Based SBST Generation for RISC-V Cores. LATS 2021: 1-2 - [c356]Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige:
Benchmarking SMT Solvers on Automotive Code. MBMV 2021: 1-10 - [c355]Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker:
ICP and IC3 with Stronger Generalization. MBMV 2021: 1-12 - [c354]Benjamin Völker, Philipp M. Scholl, Bernd Becker:
A Feature and Classifier Study for Appliance Event Classification. SESC 2021: 99-116 - [c353]Tobias Paxian, Pascal Raiola, Bernd Becker:
On Preprocessing for Weighted MaxSAT. VMCAI 2021: 556-577 - [c352]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: 1-7 - [i16]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 abs/2105.09169 (2021) - 2020
- [c351]Pascal Raiola, Tobias Paxian, Bernd Becker:
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. ETS 2020: 1-6 - [c350]Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. NFM 2020: 115-132 - [c349]Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker:
Annoticity: A Smart Annotation Tool and Data Browser for Electricity Datasets. NILM@SenSys 2020: 1-5 - [c348]Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker:
FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. BuildSys 2020: 294-297 - [i15]Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. CoRR abs/2007.08351 (2020)
2010 – 2019
- 2019
- [j71]Ralf Wimmer, Christoph Scholl, Bernd Becker:
The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation. J. Satisf. Boolean Model. Comput. 11(1): 3-52 (2019) - [c347]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: 268-277 - [c346]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: 1016-1021 - [c345]Benjamin Völker, Philipp M. Scholl, Bernd Becker:
Semi-Automatic Generation and Labeling of Training Data for Non-intrusive Load Monitoring. e-Energy 2019: 17-23 - [c344]Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer:
On Integrating Lightweight Encryption in Reconfigurable Scan Networks. ETS 2019: 1-6 - [c343]Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker:
Active Stereo Vision with High Resolution on an FPGA. FCCM 2019: 118-126 - [c342]Maël Gay, Tobias Paxian, Devanshi Upadhyaya, Bernd Becker, Ilia Polian:
Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support. FDTC 2019: 25-32 - [c341]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: 5532-5539 - [c340]Natalia Lylina, Ahmed Atteya, Pascal Raiola, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich:
Security Compliance Analysis of Reconfigurable Scan Networks. ITC 2019: 1-9 - [c339]Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker:
A Versatile High Frequency Electricity Monitoring Framework for Our Future Connected Home. SESC 2019: 221-231 - [c338]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. SNR 2019: 6-8 - [p3]Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven:
A Multi-media Exchange Format for Time-Series Dataset Curation. Human Activity Sensing 2019: 111-119 - [i14]Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019) - [i13]Philipp M. Scholl, Benjamin Völker, Bernd Becker, Kristof Van Laerhoven:
A Multi-Media Exchange Format for Time-Series Dataset Curation. CoRR abs/1908.00928 (2019) - 2018
- [j70]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): 2152-2165 (2018) - [c337]Jan Burchard, Dominik Erb, Bernd Becker:
Characterization of possibly detected faults by accurately computing their detection probability. DATE 2018: 385-390 - [c336]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: 436-438 - [c335]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: 1-6 - [c334]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: 1-6 - [c333]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: 91-96 - [c332]Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker:
From DQBF to QBF by Dependency Elimination. MBMV 2018 - [c331]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 - [c330]Tobias Paxian, Sven Reimer, Bernd Becker:
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. SAT 2018: 37-53 - [c329]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: 519-529 - [c328]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: 1-6 - [p2]Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker:
Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. Advanced Logic Synthesis 2018: 151-168 - 2017
- [j69]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): 751-767 (2017) - [j68]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): 629-649 (2017) - [c327]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: 6-10 - [c326]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: 2201-2208 - [c325]Jan Burchard, Dominik Erb, Adit D. Singh, Sudhakar M. Reddy, Bernd Becker:
Fast and waveform-accurate hazard-aware SAT-based TSOF ATPG. DATE 2017: 422-427 - [c324]Matthias Sauer, Pascal Raiola, Linus Feiten, Bernd Becker, Ulrich Rührmair, Ilia Polian:
Sensitized path PUF: A lightweight embedded physical unclonable function. DATE 2017: 680-685 - [c323]Bernd Becker, Adit D. Singh:
Best paper. ETS 2017: 1 - [c322]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: 1-6 - [c321]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: 65-72 - [c320]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: 7-12 - [c319]Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker:
Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS 2017: 1-6 - [c318]Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer:
Integrating Algebraic and SAT Solvers. MACIS 2017: 147-162 - [c317]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: 53-54 - [c316]Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker:
From DQBF to QBF by Dependency Elimination. SAT 2017: 326-343 - [c315]Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker:
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) 2017: 373-390 - [c314]Pascal Raiola, Dominik Erb, Sudhakar M. Reddy, Bernd Becker:
Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model. VLSID 2017: 135-140 - [c313]Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker:
Efficient SAT-based generation of hazard-activated TSOF tests. VTS 2017: 1-6 - [i12]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 abs/1708.04236 (2017) - [i11]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 abs/1710.10294 (2017) - 2016
- [j67]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): 145-147 (2016) - [j66]Matthias Sauer, Bernd Becker, Ilia Polian:
PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. IEEE Trans. Computers 65(6): 1869-1881 (2016) - [j65]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): 174-185 (2016) - [j64]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): 3055-3066 (2016) - [c312]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: 749-754 - [c311]Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian:
On Optimal Power-Aware Path Sensitization. ATS 2016: 179-184 - [c310]Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Skolem Functions for DQBF. ATVA 2016: 395-411 - [c309]Jan Burchard, Tobias Schubert, Bernd Becker:
Distributed Parallel #SAT Solving. CLUSTER 2016: 326-335 - [c308]Karsten Scheibler, Dominik Erb, Bernd Becker:
Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE 2016: 972-977 - [c307]Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich:
Formal verification of secure reconfigurable scan network infrastructure. ETS 2016: 1-6 - [c306]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: 177-184 - [c305]Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker:
Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. GI-Jahrestagung 2016: 413-426 - [c304]Linus Feiten, Sebastian Sester, Christian Zimmermann, Sebastian Volkmann, Laura Wehle, Bernd Becker:
Revocable Anonymisation in Video Surveillance: A "Digital Cloak of Invisibility". HCC 2016: 314-327 - [c303]Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer:
SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference 2016: 1-17 - [c302]Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker:
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference 2016: 186-201 - [c301]Bernd Becker:
Known unknowns - Knowledge in the presence of unknowns. LATS 2016: 1 - [c300]Karsten Scheibler, Dominik Erb, Bernd Becker:
Applying Tailored Formal Methods to X-ATPG. MBMV 2016: 138 - [c299]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:
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43 - [c298]Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker:
Dependency Schemes for DQBF. SAT 2016: 473-489 - [c297]Benjamin Völker, Tobias Schubert, Bernd Becker:
iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. S-CUBE 2016: 68-80 - [c296]Marc Pfeifer, Tobias Schubert, Bernd Becker:
PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. S-CUBE 2016: 81-92 - [c295]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: 32-38 - [c294]Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker:
Effective generation and evaluation of diagnostic SBST programs. VTS 2016: 1-6 - [i10]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 abs/1607.06945 (2016) - [i9]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 abs/1607.08028 (2016) - [i8]Linus Feiten, Matthias Sauer, Bernd Becker:
On Metrics to Quantify the Inter-Device Uniqueness of PUFs. IACR Cryptol. ePrint Arch. 2016: 320 (2016) - 2015
- [j63]Christian Miller, Paolo Marin, Bernd Becker:
Verification of partial designs using incremental QBF. AI Commun. 28(2): 283-307 (2015) - [j62]Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-level Counterexamples for Probabilistic Automata. Log. Methods Comput. Sci. 11(1) (2015) - [j61]Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker:
Formal Vulnerability Analysis of Security Components. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(8): 1358-1369 (2015) - [j60]Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker:
Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(12): 2025-2038 (2015) - [j59]Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Continuous-Time Markov Chains. IEEE Trans. Reliab. 64(4): 1254-1275 (2015) - [c293]Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker:
On the automatic generation of SBST test programs for in-field test. DATE 2015: 1186-1191 - [c292]Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker:
Solving DQBF through quantifier elimination. DATE 2015: 1617-1622 - [c291]Linus Feiten, Tobias Martin, Matthias Sauer, Bernd Becker:
Improving RO-PUF quality on FPGAs by incorporating design-dependent frequency biases. ETS 2015: 1-6 - [c290]Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara:
Identification of high power consuming areas with gate type and logic level information. ETS 2015: 1-6 - [c289]Karsten Scheibler, Dominik Erb, Bernd Becker:
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS 2015: 1-6 - [c288]Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Counterexamples for Expected Rewards. FM 2015: 435-452 - [c287]Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker:
Towards Verification of Artificial Neural Networks. MBMV 2015: 30-40 - [c286]