default search action

combined dblp search
author search
venue search
publication search

ask others

Bernd Becker 0001

> Home > Persons

Person information

affiliation: University of Freiburg, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WintererWBJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WintererWBJ24
Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen:
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26(3): 269-299 (2024)
2023
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SeufertWSSPB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SeufertWSSPB23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/DeligiannisFCPBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/DeligiannisFCPBR23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/DeligiannisFGCBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/DeligiannisFGCBR23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/AndersABBCDEFHMRPSSSRSTWZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/AndersABBCDEFHMRPSSSRSTWZ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/DeligiannisFZCBR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/DeligiannisFZCBR23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/FallerDSRB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/FallerDSRB23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/DeligiannisFCC022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/DeligiannisFCC022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/EckerAMHKHDAWMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/EckerAMHKHDAWMS22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WintererJWJTKB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WintererJWJTKB21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/DeligiannisCFPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/DeligiannisCFPB21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ScheiblerWSTS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ScheiblerWSTS021
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker:
ICP and IC3. DATE 2021: 1116-1121
[c358]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/VolkerPWS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/VolkerPWS021
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]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/FallerSPB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/FallerSPB21
Tobias Faller, Philipp Scholl, Tobias Paxian, Bernd Becker:
Towards SAT-Based SBST Generation for RISC-V Cores. LATS 2021: 1-2
[c356]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/mbmv/MentelSW0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MentelSW0T21
Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige:
Benchmarking SMT Solvers on Automotive Code. MBMV 2021: 1-10
[c355]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WintererSSTS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WintererSSTS021
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker:
ICP and IC3 with Stronger Generalization. MBMV 2021: 1-12
[c354]
- view
  authority control:
- export record
  dblp key:
  - conf/sesc/VolkerS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sesc/VolkerS021
Benjamin Völker, Philipp M. Scholl, Bernd Becker:
A Feature and Classifier Study for Appliance Event Classification. SESC 2021: 99-116
[c353]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PaxianRB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PaxianRB21
Tobias Paxian, Pascal Raiola, Bernd Becker:
On Preprocessing for Weighted MaxSAT. VMCAI 2021: 556-577
[c352]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/DeligiannisC00R21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/DeligiannisC00R21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-09169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-09169
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/RaiolaP020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/RaiolaP020
Pascal Raiola, Tobias Paxian, Bernd Becker:
Minimal Witnesses for Security Weaknesses in Reconfigurable Scan Networks. ETS 2020: 1-6
[c350]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Winterer00020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Winterer00020
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. NFM 2020: 115-132
[c349]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/VolkerPS020a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/VolkerPS020a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/VolkerPS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/VolkerPS020
Benjamin Völker, Marc Pfeifer, Philipp M. Scholl, Bernd Becker:
FIRED: A Fully-labeled hIgh-fRequency Electricity Disaggregation Dataset. BuildSys@SenSys 2020: 294-297
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08351
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. CoRR abs/2007.08351 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/WimmerSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/WimmerSB19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/FeldbuschWGF019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/FeldbuschWGF019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RaiolaTBALW0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RaiolaTBALW0019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/VolkerS019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/VolkerS019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/ThiemannFR0019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/ThiemannFR0019
Benjamin Thiemann, Linus Feiten, Pascal Raiola, Bernd Becker, Matthias Sauer:
On Integrating Lightweight Encryption in Reconfigurable Scan Networks. ETS 2019: 1-6
[c343]
- view
  authority control:
- export record
  dblp key:
  - conf/fccm/PfeiferSV019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fccm/PfeiferSV019
Marc Pfeifer, Philipp M. Scholl, Rainer Voigt, Bernd Becker:
Active Stereo Vision with High Resolution on an FPGA. FCCM 2019: 118-126
[c342]
- view
  authority control:
- export record
  dblp key:
  - conf/fdtc/GayPU0P19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdtc/GayPU0P19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Carr0WS0T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Carr0WS0T19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/LylinaARSBW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/LylinaARSBW19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sesc/VolkerPS019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sesc/VolkerPS019
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]
- view
  authority control:
- export record
  dblp key:
  - conf/snr/0001JKQ00W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/0001JKQ00W19
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/19/SchollV0L19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/SchollV0L19
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08428
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-00928
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-00928
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BurchardERSB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BurchardERSB18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BurchardE018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BurchardE018
Jan Burchard, Dominik Erb, Bernd Becker:
Characterization of possibly detected faults by accurately computing their detection probability. DATE 2018: 385-390
[c336]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/VolkerSS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/VolkerSS018
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/AtteyaK0R0W18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/AtteyaK0R0W18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/SepulvedaASBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/SepulvedaASBS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/RaiolaKAGW0018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/RaiolaKAGW0018
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]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WimmerKBSB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WimmerKBSB18
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker:
From DQBF to QBF by Dependency Elimination. MBMV 2018
[c331]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WintererJWJTKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WintererJWJTKB18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PaxianR018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PaxianR018
Tobias Paxian, Sven Reimer, Bernd Becker:
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. SAT 2018: 37-53
[c329]
- view
  - electronic edition @ auai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uai/Junges0WQWK018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Junges0WQWK018
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/NeubauerBRR0018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/NeubauerBRR0018
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]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/WimmerWS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/WimmerWS018
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]
- view
  authority control:
- export record
  dblp key:
  - journals/et/RaiolaBNEB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/RaiolaBNEB17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HatefiWBFBH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HatefiWBFBH17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AbrahamA0BBCDEF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WintererJW0TK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WintererJW0TK017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BurchardESR017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BurchardESR017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SauerRF0RP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SauerRF0RP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/0001S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/0001S17
Bernd Becker, Adit D. Singh:
Best paper. ETS 2017: 1
[c322]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/KochteSGR0W17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/KochteSGR0W17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fdtc/BurchardGEH00KP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdtc/BurchardGEH00KP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ivsw/BurchardEHG0SKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivsw/BurchardEHG0SKP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/BurchardNRE017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/BurchardNRE017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/macis/HoracekB0K17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/macis/HoracekB0K17
Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer:
Integrating Algebraic and SAT Solvers. MACIS 2017: 147-162
[c317]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/NeubauerSBMFTBF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/NeubauerSBMFTBF17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/WimmerKBS017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/WimmerKBS017
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker:
From DQBF to QBF by Dependency Elimination. SAT 2017: 326-343
[c315]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/WimmerRM017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WimmerRM017
Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker:
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) 2017: 373-390
[c314]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/RaiolaER017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/RaiolaER017
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/BurchardERS017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/BurchardERS017
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-04236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-04236
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-10294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-10294
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cca/AbrahamA0BBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/SauerBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/SauerBP16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tmscs/FeitenOMSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmscs/FeitenOMSB16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/RiefertCSRB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/RiefertCSRB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/ErbSKSWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/ErbSKSWB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/SauerJRMWBP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/SauerJRMWBP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/WimmerWSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WimmerWSB16
Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Skolem Functions for DQBF. ATVA 2016: 395-411
[c309]
- view
  authority control:
- export record
  dblp key:
  - conf/cluster/BurchardSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cluster/BurchardSB16
Jan Burchard, Tobias Schubert, Bernd Becker:
Distributed Parallel #SAT Solving. CLUSTER 2016: 326-335
[c308]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/date/ScheiblerEB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ScheiblerEB16
Karsten Scheibler, Dominik Erb, Bernd Becker:
Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs. DATE 2016: 972-977
[c307]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/KochteBSBW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/KochteBSBW16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ScheiblerNMFTBF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ScheiblerNMFTBF16
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]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/VolkmannFZSWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/VolkmannFZSWB16
Sebastian Volkmann, Linus Feiten, Christian Zimmermann, Sebastian Sester, Laura Wehle, Bernd Becker:
Digitale Tarnkappe: Anonymisierung in Videoaufnahmen. GI-Jahrestagung 2016: 413-426
[c304]
- view
  authority control:
- export record
  dblp key:
  - conf/hcc/FeitenSZVWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcc/FeitenSZVWB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SoekenRSBMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SoekenRSBMS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MahdiSNFB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MahdiSNFB16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/Becker16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/Becker16
Bernd Becker:
Known unknowns - Knowledge in the presence of unknowns. LATS 2016: 1
[c300]
- view
  authority control:
- export record
  dblp key:
  - conf/mbmv/ScheiblerEB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ScheiblerEB16
Karsten Scheibler, Dominik Erb, Bernd Becker:
Applying Tailored Formal Methods to X-ATPG. MBMV 2016: 138
[c299]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/AbrahamABBBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AbrahamABBBBCDE16
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:
SC²: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM 2016: 28-43
[c298]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/WimmerSWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/WimmerSWB16
Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker:
Dependency Schemes for DQBF. SAT 2016: 473-489
[c297]
- view
  authority control:
- export record
  dblp key:
  - conf/scube/VolkerS016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scube/VolkerS016
Benjamin Völker, Tobias Schubert, Bernd Becker:
iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. S-CUBE 2016: 68-80
[c296]
- view
  authority control:
- export record
  dblp key:
  - conf/scube/PfeiferS016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scube/PfeiferS016
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/synasc/NeubauerS0MFTBF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/NeubauerS0MFTBF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/RiefertCSRB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/RiefertCSRB16
Andreas Riefert, Riccardo Cantoro, Matthias Sauer, Matteo Sonza Reorda, Bernd Becker:
Effective generation and evaluation of diagnostic SBST programs. VTS 2016: 1-6
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AbrahamABBBBCDE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AbrahamABBBBCDE16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a
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]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/FeitenSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/FeitenSB16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/MillerMB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/MillerMB15
Christian Miller, Paolo Marin, Bernd Becker:
Verification of partial designs using incremental QBF. AI Commun. 28(2): 283-307 (2015)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-5055
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-5055
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/FeitenSSTPB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/FeitenSSTPB15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ErbKRSWB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ErbKRSWB15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/HahnHWB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/HahnHWB15
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]
- view
- export record
  dblp key:
  - conf/date/RiefertCSRB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RiefertCSRB15
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]
- view
- export record
  dblp key:
  - conf/date/GitinaWRSSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/GitinaWRSSB15
Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker:
Solving DQBF through quantifier elimination. DATE 2015: 1617-1622
[c291]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/FeitenMSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/FeitenMSB15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/MiyaseSBWK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/MiyaseSBWK15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/ScheiblerEB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/ScheiblerEB15
Karsten Scheibler, Dominik Erb, Bernd Becker:
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic. ETS 2015: 1-6
[c288]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/QuatmannJDWAKB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/QuatmannJDWAKB15
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/ScheiblerWWB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ScheiblerWWB15
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker:
Towards Verification of Artificial Neural Networks. MBMV 2015: 30-40
[c286]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BurchardSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BurchardSB15
Jan Burchard, Tobias Schubert, Bernd Becker:
Laissez-Faire Caching for Parallel #SAT Solving. SAT 2015: 46-61
[c285]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/WimmerGNSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/WimmerGNSB15
Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker:
Preprocessing for DQBF. SAT 2015: 173-190
[c284]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/HatefiBWFHB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/HatefiBWFHB15
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker:
Cost vs. Time in Stochastic Games and Markov Automata. SETTA 2015: 19-34
[c283]
- view
  authority control:
- export record
  dblp key:
  - conf/syde/BeckerSSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syde/BeckerSSW15
Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer:
Modeling Unknown Values in Test and Verification. SyDe Summer School 2015: 122-150
[c282]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BraitlingFHWBH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15
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: 172-189
[c281]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/ErbSSRB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/ErbSSRB15
Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker:
Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects. VTS 2015: 1-6
[c280]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/RiefertSRB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/RiefertSRB15
Andreas Riefert, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker:
Improving diagnosis resolution of a fault detection test set. VTS 2015: 1-6
2014
[j58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ReimerSMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ReimerSMB14
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker:
QBF with Soft Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JansenWAZKBS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JansenWAZKBS14
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster:
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91: 90-114 (2014)
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WimmerJAKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WimmerJAKB14
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. 549: 61-100 (2014)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/ErbKSHSWB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/ErbKSHSWB14
Dominik Erb, Michael A. Kochte, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker:
Exact Logic and Fault Simulation in Presence of Unknowns. ACM Trans. Design Autom. Electr. Syst. 19(3): 28:1-28:17 (2014)
[c279]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/ErbSSRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/ErbSSRB14
Dominik Erb, Karsten Scheibler, Matthias Sauer, Sudhakar M. Reddy, Bernd Becker:
Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects. ATS 2014: 131-136
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ReimerSSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ReimerSSB14
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker:
Incremental Encoding and Solving of Cardinality Constraints. ATVA 2014: 297-313
[c277]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ErbSSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ErbSSB14
Dominik Erb, Karsten Scheibler, Matthias Sauer, Bernd Becker:
Efficient SMT-based ATPG for interconnect open defects. DATE 2014: 1-6
[c276]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ReimerSSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ReimerSSB14
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker:
Using MaxBMC for Pareto-optimal circuit initialization. DATE 2014: 1-6
[c275]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RiefertCSBRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RiefertCSBRB14
Andreas Riefert, Lyl M. Ciganda, Matthias Sauer, Paolo Bernardi, Matteo Sonza Reorda, Bernd Becker:
An effective approach to automatic functional processor test generation for small-delay faults. DATE 2014: 1-6
[c274]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/delfi/SondereggerZWB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delfi/SondereggerZWB14
Urs Sonderegger, Martin Zimmermann, Katrin Weber, Bernd Becker:
Mobile Learning mit kontextbezogenen mobilen Diensten in der "KMU Smart Factory": Szenarien und Lösungsansätze für Fertigungsprozesse. DeLFI Workshops 2014: 229-239
[c273]
- view
  authority control:
- export record
  dblp key:
  - conf/dtis/BeckerDES14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dtis/BeckerDES14
Bernd Becker, Rolf Drechsler, Stephan Eggersglüß, Matthias Sauer:
Recent advances in SAT-based ATPG: Non-standard fault models, multi constraints and optimization. DTIS 2014: 1-10
[c272]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/SauerPIMSCWB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/SauerPIMSCWB14
Matthias Sauer, Ilia Polian, Michael E. Imhof, Abdullah Mumtaz, Eric Schneider, Alexander Czutro, Hans-Joachim Wunderlich, Bernd Becker:
Variation-aware deterministic ATPG. ETS 2014: 1-6
[c271]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ScheiblerB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ScheiblerB14
Karsten Scheibler, Bernd Becker:
Using interval constraint propagation for pseudo-Boolean constraint solving. FMCAD 2014: 203-206
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/MorbeMSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/MorbeMSB14
Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker:
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. Haifa Verification Conference 2014: 30-47
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/ErbSKSWB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/ErbSKSWB14
Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker:
Test pattern generation in presence of unknown values based on restricted symbolic logic. ITC 2014: 1-10
[c268]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/ScheiblerB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ScheiblerB14
Karsten Scheibler, Bernd Becker:
Implication Graph Compression inside the SMT Solver iSAT3. MBMV 2014: 25-36
[c267]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JansenCVWAKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JansenCVWAKB14
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AbrahamBDJKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AbrahamBDJKW14
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM 2014: 65-121
[c265]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/CzutroRPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/CzutroRPB14
Alexander Czutro, Sudhakar M. Reddy, Ilia Polian, Bernd Becker:
SAT-Based Test Pattern Generation with Improved Dynamic Compaction. VLSID 2014: 56-61
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/SauerRRB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/SauerRRB14
Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker:
Efficient SAT-Based Circuit Initialization for Larger Designs. VLSID 2014: 62-67
[c263]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BraitlingFHWBH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BraitlingFHWBH14
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns:
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL 2014: 48-63
2013
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/SauerCSHPB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/SauerCSHPB13
Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker:
SAT-Based Analysis of Sensitizable Paths. IEEE Des. Test 30(4): 81-88 (2013)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/isjgp/FeitenSSSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isjgp/FeitenSSSB13
Linus Feiten, Andreas Spilla, Matthias Sauer, Tobias Schubert, Bernd Becker:
Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. Inf. Secur. J. A Glob. Perspect. 22(5-6): 265-273 (2013)
[c262]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/SauerRPSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/SauerRPSB13
Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker:
Provably optimal test cube generation using quantified boolean formula solving. ASP-DAC 2013: 533-539
[c261]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/MiyaseSBWK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/MiyaseSBWK13
Kohei Miyase, Matthias Sauer, Bernd Becker, Xiaoqing Wen, Seiji Kajihara:
Search Space Reduction for Low-Power Test Generation. Asian Test Symposium 2013: 171-176
[c260]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/ErbKSWB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/ErbKSWB13
Dominik Erb, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker:
Accurate Multi-cycle ATPG in Presence of X-Values. Asian Test Symposium 2013: 245-250
[c259]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LoupSCAB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LoupSCAB13
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker:
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE 2013: 193-207
[c258]
- view
  authority control:
- export record
  dblp key:
  - conf/cicc/KimSKDCKSBM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cicc/KimSKDCKSBM13
Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Matthias Sauer, Bernd Becker, Subhasish Mitra:
Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics. CICC 2013: 1-4
[c257]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HillebrechtKEWB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HillebrechtKEWB13
Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker:
Accurate QBF-based test pattern generation in presence of unknown values. DATE 2013: 436-441
[c256]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SauerRSPB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SauerRSPB13
Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker:
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. DATE 2013: 448-453
[c255]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/gi/FeitenWB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/FeitenWB13
Linus Feiten, Katrin Weber, Bernd Becker:
SMILE: Smartphones in der Lehre - ein Rück- und Überblick. GI-Jahrestagung 2013: 255-269
[c254]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/GitinaRSWSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/GitinaRSWSB13
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Equivalence checking of partial designs using dependency quantified Boolean formulae. ICCD 2013: 396-403
[c253]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/SauerKSKDCKMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/SauerKSKDCKMB13
Matthias Sauer, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker:
Early-life-failure detection using SAT-based ATPG. ITC 2013: 1-10
[c252]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/AparicioCARJPB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/AparicioCARJPB13
Marina Aparicio, Mariane Comte, Florence Azaïs, Michel Renovell, Jie Jiang, Ilia Polian, Bernd Becker:
Pre-characterization procedure for a mixed mode simulation of IR-drop induced delays. LATW 2013: 1-6
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AndresSGSBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AndresSGSBS13
Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub:
Accurate Computation of Sensitizable Paths Using Answer Set Programming. LPNMR 2013: 92-101
[c250]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/GitinaRSWSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GitinaRSWSB13
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker:
Equivalence Checking for Partial Implementations Revisited. MBMV 2013: 61-70
[c249]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/ScheiblerKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ScheiblerKB13
Karsten Scheibler, Stefan Kupferschmid, Bernd Becker:
Recent Improvements in the SMT Solver iSAT. MBMV 2013: 231-241
[c248]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/BraitlingWBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraitlingWBA13
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám:
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/MillerSB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/MillerSB13
Christian Miller, Christoph Scholl, Bernd Becker:
Proving QBF-hardness in Bounded Model Checking for Incomplete Designs. MTV 2013: 23-28
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/WimmerJVAKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/WimmerJVAKB13
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-Level Counterexamples for Probabilistic Automata. QEST 2013: 39-54
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/Riefert0SBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/Riefert0SBB13
Andreas Riefert, Jörg Müller, Matthias Sauer, Wolfram Burgard, Bernd Becker:
Identification of critical variables using an FPGA-based fault injection framework. VTS 2013: 1-6
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JansenCVWAKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JansenCVWAKB13
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. CoRR abs/1312.3979 (2013)
2012
[c244]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/CzutroIJMSBPW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/CzutroIJMSBPW12
Alexander Czutro, Michael E. Imhof, J. Jiang, Abdullah Mumtaz, Matthias Sauer, Bernd Becker, Ilia Polian, Hans-Joachim Wunderlich:
Variation-Aware Fault Grading. Asian Test Symposium 2012: 344-349
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAVWKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAVWKB12
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeckerELM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeckerELM12
Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin:
ALLQBF Solving by Computational Learning. ATVA 2012: 370-384
[c241]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/csedu/FeitenBSB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/FeitenBSB12
Linus Feiten, Manuel Bührer, Sebastian Sester, Bernd Becker:
SMILE - Smartphones in Lectures - Initiating a Smartphone-based Audience Response System as a Student Project. CSEDU (1) 2012: 288-293
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/date/JiangSCBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/JiangSCBP12
Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian:
On the optimality of K longest path generation algorithm under memory constraints. DATE 2012: 418-423
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/date/MarinMLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/MarinMLB12
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker:
Verification of partial designs using incremental QBF solving. DATE 2012: 623-628
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/dft/FeitenSSCBPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dft/FeitenSSCBPB12
Linus Feiten, Matthias Sauer, Tobias Schubert, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker:
#SAT-based vulnerability analysis of security components - A case study. DFT 2012: 49-54
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/CzutroSPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/CzutroSPB12
Alexander Czutro, Matthias Sauer, Ilia Polian, Bernd Becker:
Multi-conditional SAT-ATPG for power-droop testing. ETS 2012: 1-6
[c236]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/HillebrechtKWB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/HillebrechtKWB12
Stefan Hillebrecht, Michael A. Kochte, Hans-Joachim Wunderlich, Bernd Becker:
Exact stuck-at fault classification in presence of unknowns. ETS 2012: 1-6
[c235]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/SauerCBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/SauerCBP12
Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian:
On the quality of test vectors for post-silicon characterization. ETS 2012: 1-6
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JansenAZWSKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JansenAZWSKB12
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS 2012: 134-151
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SauerCPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SauerCPB12
Matthias Sauer, Alexander Czutro, Ilia Polian, Bernd Becker:
Small-delay-fault ATPG with waveform accuracy. ICCAD 2012: 30-36
[c232]
- view
  - electronic edition @ isls.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icls/KaendlerFWWBS012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icls/KaendlerFWWBS012
Celia Kaendler, Linus Feiten, Katrin Weber, Michael Wiedmann, Manuel Buehrer, Sebastian Sester, Bernd Becker:
SMILE - Smartphones in A University Learning Environment: A Classroom Response System. ICLS 2012
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/isocc/0004R0P12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isocc/0004R0P12
Amit Kumar, Sudhakar M. Reddy, Bernd Becker, Irith Pomeranz:
Performance aware partitioning for 3D-SOCs. ISOCC 2012: 163-166
[c230]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/KumarRPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/KumarRPB12
Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker:
TSV and DFT cost aware circuit partitioning for 3D-SOCs. ISQED 2012: 21-26
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/SauerKCPRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/SauerKCPRB12
Matthias Sauer, Stefan Kupferschmid, Alexander Czutro, Ilia Polian, Sudhakar M. Reddy, Bernd Becker:
Functional test of small-delay faults using SAT and Craig interpolation. ITC 2012: 1-8
[c228]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/ReimerPSB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ReimerPSB12
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker:
Enhanced Integration of QBF Solving Techniques. MBMV 2012: 133-143
[c227]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WimmerBJAK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WimmerBJAK12
Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180
[c226]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MarinMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MarinMB12
Paolo Marin, Christian Miller, Bernd Becker:
Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). SAT 2012: 473-474
[c225]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WimmerJABK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WimmerJABK12
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen:
Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/SauerKCRB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/SauerKCRB12
Matthias Sauer, Stefan Kupferschmid, Alejandro Czutro, Sudhakar M. Reddy, Bernd Becker:
Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. VLSI Design 2012: 382-387
[c223]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/CzutroSSPB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/CzutroSSPB12
Alexander Czutro, Matthias Sauer, Tobias Schubert, Ilia Polian, Bernd Becker:
SAT-ATPG using preferences for improved detection of complex defect mechanisms. VTS 2012: 170-175
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1206-0603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-0603
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1212-1251
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-1251
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Transient Reward Approximation for Grids, Crowds, and Viruses. CoRR abs/1212.1251 (2012)
2011
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/HopschBHPSVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/HopschBHPSVW11
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich:
Variation-aware fault modeling. Sci. China Inf. Sci. 54(9): 1813-1826 (2011)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KupferschmidLSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KupferschmidLSB11
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker:
Incremental preprocessing methods for use in BMC. Formal Methods Syst. Des. 39(2): 185-204 (2011)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LewisSBMNG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LewisSBMNG11
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107(2-3): 139-166 (2011)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AbrahamSBFH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AbrahamSBFH11
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/PolianHRB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/PolianHRB11
Ilia Polian, John P. Hayes, Sudhakar M. Reddy, Bernd Becker:
Modeling and Mitigating Transient Errors in Logic Circuits. IEEE Trans. Dependable Secur. Comput. 8(4): 537-547 (2011)
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/CrouzenHHDTWBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker:
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/HowardRPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/HowardRPB11
J. M. Howard, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker:
Fault diagnosis aware ATE assisted test response compaction. ASP-DAC 2011: 812-817
[c220]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/SauerJCPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/SauerJCPB11
Matthias Sauer, Jie Jiang, Alejandro Czutro, Ilia Polian, Bernd Becker:
Efficient SAT-Based Search for Longest Sensitisable Paths. Asian Test Symposium 2011: 108-113
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAKWKB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAKWKB11
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452
[c218]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoa/AlthausBDK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoa/AlthausBDK11
Ernst Althaus, Bernd Becker, Daniel Dumitriu, Stefan Kupferschmid:
Integration of an LP Solver into Interval Constraint Propagation. COCOA 2011: 343-356
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/date/ReimerPSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/ReimerPSB11
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker:
Integration of orthogonal QBF solving techniques. DATE 2011: 149-154
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KumarRPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KumarRPB11
Amit Kumar, Sudhakar M. Reddy, Irith Pomeranz, Bernd Becker:
Hyper-graph based partitioning to reduce DFT cost for pre-bond 3D-IC testing. DATE 2011: 1424-1429
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/SauerCSHPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/SauerCSHPB11
Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker:
SAT-based analysis of sensitisable paths. DDECS 2011: 93-98
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/KupferschmidBTF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/KupferschmidBTF11
Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle:
Proof certificates and non-linear arithmetic constraints. DDECS 2011: 429-434
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/PolianBHWM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/PolianBHWM11
Ilia Polian, Bernd Becker, Sybille Hellebrand, Hans-Joachim Wunderlich, Peter C. Maxwell:
Towards Variation-Aware Test Methods. ETS 2011: 219-225
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KupferschmidB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KupferschmidB11
Stefan Kupferschmid, Bernd Becker:
Craig Interpolation in the Presence of Non-linear Constraints. FORMATS 2011: 240-255
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/SauerCPB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/SauerCPB11
Matthias Sauer, Alejandro Czutro, Ilia Polian, Bernd Becker:
Estimation of component criticality in early design steps. IOLTS 2011: 104-110
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/SauerTMLSPBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/SauerTMLSPBB11
Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard:
An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS 2011: 182-185
[c208]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28
[c207]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/MillerSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MillerSB11
Christian Miller, Christoph Scholl, Bernd Becker:
Verifying Incomplete Networks of Timed Automata. MBMV 2011: 113-122
[c206]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/KupferschmidB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KupferschmidB11
Stefan Kupferschmid, Bernd Becker:
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. MBMV 2011: 279-288
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/WimmerHHB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/WimmerHHB11
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker:
Reachability analysis for incomplete networks of Markov decision processes. MEMOCODE 2011: 151-160
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/MillerGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/MillerGB11
Christian Miller, Karina Gitina, Bernd Becker:
Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. MTV 2011: 22-27
2010
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/CzutroPLERB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/CzutroPLERB10
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. Int. J. Parallel Program. 38(3-4): 185-202 (2010)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/it/PolianB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/PolianB10
Ilia Polian, Bernd Becker:
Fault Models and Test Algorithms for Nanoscale Technologies (Fehlermodelle und Testalgorithmen für Nanoscale-Technologien). it Inf. Technol. 52(4): 189-194 (2010)
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/HopschBHPSVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/HopschBHPSVW10
Fabian Hopsch, Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich:
Variation-Aware Fault Modeling. Asian Test Symposium 2010: 87-93
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BeckerHPSVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BeckerHPSVW10
Bernd Becker, Sybille Hellebrand, Ilia Polian, Bernd Straube, Wolfgang Vermeiren, Hans-Joachim Wunderlich:
Massive statistical process variations: A grand challenge for testing nanoelectronic circuits. DSN Workshops 2010: 95-100
[c201]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/MillerKB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MillerKB10
Christian Miller, Stefan Kupferschmid, Bernd Becker:
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. MBMV 2010: 77-86
[c200]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/KalinnikASWB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KalinnikASWB10
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker:
Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV 2010: 97-106
[c199]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/NopperMLBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/NopperMLBS10
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl:
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV 2010: 107-116
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/WimmerB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/WimmerB10
Ralf Wimmer, Bernd Becker:
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. MMB/DFT 2010: 287-301
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/MillerGSB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/MillerGSB10
Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker:
Bounded Model Checking of Incomplete Networks of Timed Automata. MTV 2010: 61-66
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/WimmerBBHCHDT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/WimmerBBHCHDT10
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel:
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AbrahamJWKB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AbrahamJWKB10
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
DTMC Model Checking by SCC Reduction. QEST 2010: 37-46
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MillerKLB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MillerKLB10
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker:
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT 2010: 194-208
[e2]
- view
- export record
  dblp key:
  - conf/dagstuhl/2010P10271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2010P10271
Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Dagstuhl Seminar Proceedings 10271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents]
[i4]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BeckerCHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeckerCHT10
Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar:
10271 Abstracts Collection - Verification over discrete-continuous boundaries. Verification over discrete-continuous boundaries 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/SchubertLB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/SchubertLB09
Tobias Schubert, Matthew Lewis, Bernd Becker:
PaMiraXT: Parallel SAT Solving with Threads and Message Passing. J. Satisf. Boolean Model. Comput. 6(4): 203-222 (2009)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/EngelkeBRSBP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/EngelkeBRSBP09
Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian:
SUPERB: Simulator utilizing parallel evaluation of resistive bridges. ACM Trans. Design Autom. Electr. Syst. 14(4): 56:1-56:21 (2009)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BodeHHJPPRWB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BodeHHJPPRWB09
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker:
Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)
[c193]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/MarinL0N0G09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinL0N0G09
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA 2009
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/CzutroPERB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/CzutroPERB09
Alejandro Czutro, Ilia Polian, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
Dynamic Compaction in SAT-Based ATPG. Asian Test Symposium 2009: 187-190
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/GaneshpurePKB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/GaneshpurePKB09
Kunal P. Ganeshpure, Ilia Polian, Sandip Kundu, Bernd Becker:
Reducing temperature variability by routing heat pipes. ACM Great Lakes Symposium on VLSI 2009: 63-68
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/MarinNGLSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/MarinNGLSB09
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker:
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/HungerHCPB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/HungerHCPB09
Marc Hunger, Sybille Hellebrand, Alejandro Czutro, Ilia Polian, Bernd Becker:
ATPG-based grading of strong fault-secureness. IOLTS 2009: 269-274
[c188]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/LewisSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/LewisSB09
Matthew Lewis, Tobias Schubert, Bernd Becker:
QmiraXT - A Multithreaded QBF Solver. MBMV 2009: 7-16
[c187]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/KupferschmidTBF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KupferschmidTBF09
Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle:
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV 2009: 27-36
[c186]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/KalinnikSAWB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/KalinnikSAWB09
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker:
Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LewisMSNBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LewisMSNBG09
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/DhamaTCHWB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/DhamaTCHWB09
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker:
Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/CzutroPLERB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/CzutroPLERB09
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker:
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design 2009: 227-232
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WimmerBB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WimmerBB09
Ralf Wimmer, Bettina Braitling, Bernd Becker:
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/HouarcheCRCEPB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/HouarcheCRCEPB09
Nicolas Houarche, Mariane Comte, Michel Renovell, Alejandro Czutro, Piet Engelke, Ilia Polian, Bernd Becker:
An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects. VTS 2009: 21-26
[e1]
- view
- export record
  dblp key:
  - conf/dagstuhl/2009P9461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2009P9461
Bernd Becker, V. Bertacoo, Rolf Drechsler, Masahiro Fujita:
Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009. Dagstuhl Seminar Proceedings 09461, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents]
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BeckerBDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeckerBDF09
Bernd Becker, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita:
09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. Algorithms and Applications for Next Generation SAT Solvers 2009
2008
[b5]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0020251
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0020251
Bernd Becker, Paul Molitor:
Technische Informatik - eine einführende Darstellung. Oldenbourg 2008, ISBN 978-3-486-58650-3, pp. I-XVI, 1-419
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/EngelkePRKSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/EngelkePRKSB08
Piet Engelke, Ilia Polian, Michel Renovell, Sandip Kundu, Bharath Seshadri, Bernd Becker:
On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2): 327-338 (2008)
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/date/EngelkePSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/EngelkePSB08
Piet Engelke, Ilia Polian, Jürgen Schlöffel, Bernd Becker:
Resistive Bridging Fault Simulation of Industrial Circuits. DATE 2008: 628-633
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/WimmerKHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/WimmerKHB08
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker:
Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/PolianMNKEBSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/PolianMNKEBSW08
Ilia Polian, Kohei Miyase, Yusuke Nakamura, Seiji Kajihara, Piet Engelke, Bernd Becker, Stefan Spinner, Xiaoqing Wen:
Diagnosis of Realistic Defects Based on the X-Fault Model. DDECS 2008: 263-266
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/dft/PolianRPTB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dft/PolianRPTB08
Ilia Polian, Sudhakar M. Reddy, Irith Pomeranz, Xun Tang, Bernd Becker:
On Reducing Circuit Malfunctions Caused by Soft Errors. DFT 2008: 245-253
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/NowrothPB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/NowrothPB08
Damian Nowroth, Ilia Polian, Bernd Becker:
A study of cognitive resilience in a JPEG compressor. DSN 2008: 32-41
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/CzutroHEPCRB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/CzutroHEPCRB08
Alejandro Czutro, Nicolas Houarche, Piet Engelke, Ilia Polian, Mariane Comte, Michel Renovell, Bernd Becker:
A Simulator of Small-Delay Faults Caused by Resistive-Open Defects. ETS 2008: 113-118
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/ZoellinWPB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/ZoellinWPB08
Christian G. Zoellin, Hans-Joachim Wunderlich, Ilia Polian, Bernd Becker:
Selective Hardening in Early Design Steps. ETS 2008: 185-190
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/BeckerHKLLNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/BeckerHKLLNW08
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer:
Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/PolianRB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/PolianRB08
Ilia Polian, Sudhakar M. Reddy, Bernd Becker:
Scalable Calculation of Logical Masking Effects for Selective Hardening Against Soft Errors. ISVLSI 2008: 257-262
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/HillebrechtPEBKC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/HillebrechtPEBKC08
Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng:
Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model. ITC 2008: 1-10
[c170]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WimmerKHB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WimmerKHB08
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker:
The Demand for Reliability in Probabilistic Verification. MBMV 2008: 99-108
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/SpinnerPEBKC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/SpinnerPEBKC08
Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng:
Automatic Test Pattern Generation for Interconnect Open Defects. VTS 2008: 181-186
2007
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/PolianCKB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/PolianCKB07
Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker:
Power Droop Testing. IEEE Des. Test Comput. 24(3): 276-284 (2007)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/it/BeckerPDFOW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/BeckerPDFOW07
Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm:
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. 49(2): 118-126 (2007)
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/LewisSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/LewisSB07
Matthew Lewis, Tobias Schubert, Bernd Becker:
Multithreaded SAT Solving. ASP-DAC 2007: 926-931
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/SpinnerJPEB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/SpinnerJPEB07
Stefan Spinner, Jie Jiang, Ilia Polian, Piet Engelke, Bernd Becker:
Simulating Open-Via Defects. ATS 2007: 265-270
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/EngelkeBPRB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/EngelkeBPRB07
Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker:
SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges. ATS 2007: 433-438
[c165]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeckerDEK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeckerDEK07
Bernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke:
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV 2007: 307-310
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/HerbstrittBAH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/HerbstrittBAH07
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde:
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS 2007: 391-396
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/HerbstrittB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/HerbstrittB07
Marc Herbstritt, Bernd Becker:
On Combining 01X-Logic and QBF. EUROCAST 2007: 531-538
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/WimmerHB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/WimmerHB07
Ralf Wimmer, Marc Herbstritt, Bernd Becker:
Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/NopperSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/NopperSB07
Tobias Nopper, Christoph Scholl, Bernd Becker:
Computation of minimal counterexamples by using black box techniques and symbolic methods. ICCAD 2007: 273-280
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/PolianNB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/PolianNB07
Ilia Polian, Damian Nowroth, Bernd Becker:
Identification of Critical Errors in Imaging Applications. IOLTS 2007: 201-202
[c159]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/Becker07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Becker07
Bernd Becker:
AVACS -- Automatic Verification and Analysis of Complex Systems. MBMV 2007: 79-80
[c158]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WimmerHB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WimmerHB07
Ralf Wimmer, Marc Herbstritt, Bernd Becker:
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV 2007: 203-212
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/HerbstrittSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/HerbstrittSB07
Marc Herbstritt, Vanessa Struve, Bernd Becker:
Application of Lifting in Partial Design Analysis. MTV 2007: 33-38
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/HayesPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/HayesPB07
John P. Hayes, Ilia Polian, Bernd Becker:
An Analysis Framework for Transient-Error Tolerance. VTS 2007: 249-255
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0710-4670
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0710-4670
Ilia Polian, Alejandro Czutro, Bernd Becker:
Evolutionary Optimization in Code-Based Test Compression. CoRR abs/0710.4670 (2007)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0711-3289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0711-3289
Stefan Spinner, Julian Bartholomeyczik, Bernd Becker, Michael Doelle, Oliver Paul, Ilia Polian, Roland Roth, Karl Seitz, Patrick Ruther:
Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors. CoRR abs/0711.3289 (2007)
2006
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/et/EngelkePRB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/EngelkePRB06
Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker:
Automatic Test Pattern Generation for Resistive Bridging Faults. J. Electron. Test. 22(1): 61-69 (2006)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/it/BeckerPHSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/BeckerPHSW06
Bernd Becker, Ilia Polian, Sybille Hellebrand, Bernd Straube, Hans-Joachim Wunderlich:
DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems). it Inf. Technol. 48(5): 304- (2006)
[j37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jgaa/EschbachGB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jgaa/EschbachGB06
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Orthogonal Hypergraph Drawing for Improved Visibility. J. Graph Algorithms Appl. 10(2): 141-157 (2006)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/EngelkePRB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/EngelkePRB06
Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker:
Simulating Resistive-Bridging and Stuck-At Faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 2181-2192 (2006)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/TangWEPBSHW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/TangWEPBSHW06
Yuyi Tang, Hans-Joachim Wunderlich, Piet Engelke, Ilia Polian, Bernd Becker, Jürgen Schlöffel, Friedrich Hapke, Michael Wittke:
X-masking during logic BIST and its impact on defect coverage. IEEE Trans. Very Large Scale Integr. Syst. 14(2): 193-202 (2006)
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/EngelkePMRB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/EngelkePMRB06
Piet Engelke, Ilia Polian, Hans Manhaeve, Michel Renovell, Bernd Becker:
Delta-IDDQ Testing of Resistive Short Defects. ATS 2006: 63-68
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/RenovellCPEB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/RenovellCPEB06
Michel Renovell, Mariane Comte, Ilia Polian, Piet Engelke, Bernd Becker:
A Specific ATPG technique for Resistive Open with Sequence Recursive Dependency. ATS 2006: 273-278
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/WimmerHHSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/WimmerHHSB06
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker:
Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/WimmerHB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/WimmerHB06
Ralf Wimmer, Marc Herbstritt, Bernd Becker:
Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/EisingerPBMTW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/EisingerPBMTW06
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm:
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS 2006: 15-20
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/dft/PolianBNOF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dft/PolianBNOF06
Ilia Polian, Bernd Becker, Masato Nakasato, Satoshi Ohtake, Hideo Fujiwara:
Low-Cost Hardening of Image Processing Applications Against Soft Errors. DFT 2006: 274-279
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/AbrahamSBFH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/AbrahamSBFH06
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/PolianCKB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/PolianCKB06
Ilia Polian, Alejandro Czutro, Sandip Kundu, Bernd Becker:
Power Droop Testing. ICCD 2006: 243-250
[c147]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/AbrahamHBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/AbrahamHBS06
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/HerbstrittBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/HerbstrittBS06
Marc Herbstritt, Bernd Becker, Christoph Scholl:
Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs. MTV 2006: 37-44
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BodeHHJPPWB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BodeHHJPPWB06
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker:
Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178
[c144]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/wcet/ReinekeWTWPEB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcet/ReinekeWTWPEB06
Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker:
A Definition and Classification of Timing Anomalies. WCET 2006
[c143]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbrahamHBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbrahamHBS07
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen:
Bounded Model Checking with Parametric Data Structures. BMC@FLoC 2006: 3-16
2005
[b4]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0012343
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0012343
Bernd Becker, Rolf Drechsler, Paul Molitor:
Technische Informatik - eine Einführung. Pearson Studium, Pearson Education 2005, ISBN 978-3-8273-7092-1, pp. 1-390
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/et/PolianERB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/PolianERB05
Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker:
Modeling Feedback Bridging Faults with Non-Zero Resistance. J. Electron. Test. 21(1): 57-69 (2005)
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/KunduEPB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/KunduEPB05
Sandip Kundu, Piet Engelke, Ilia Polian, Bernd Becker:
On Detection of Resistive Bridging Defects by Low-Temperature and Low-Voltage Testing. Asian Test Symposium 2005: 266-271
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/PolianFBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/PolianFBH05
Ilia Polian, Thomas Fiehn, Bernd Becker, John P. Hayes:
A Family of Logical Fault Models for Reversible Circuits. Asian Test Symposium 2005: 422-427
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/date/PolianCB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/PolianCB05
Ilia Polian, Alejandro Czutro, Bernd Becker:
Evolutionary Optimization in Code-Based Test Compression. DATE 2005: 1124-1129
[c139]
- view
  - electronic edition @ mensch-und-computer.de (archived)
  - details & citations
- export record
  dblp key:
  - conf/delfi/WelteEB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delfi/WelteEB05
Martina Welte, Thomas Eschbach, Bernd Becker:
Automated Text Extraction And Indexing Of Video Presentation Recordings For Keyword Search Via A Web Interface. DeLFI Workshops 2005: 61-66
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/0011RPREB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/0011RPREB05
Gang Chen, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski, Piet Engelke, Bernd Becker:
A unified fault model and test generation procedure for interconnect opens and bridges. ETS 2005: 22-27
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/SchubertB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/SchubertB05
Tobias Schubert, Bernd Becker:
Lemma Exchange in a Microcontroller Based Parallel SAT Solver. ISVLSI 2005: 142-147
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/PolianHKB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/PolianHKB05
Ilia Polian, John P. Hayes, Sandip Kundu, Bernd Becker:
Transient fault characterization in dynamic noisy environments. ITC 2005: 10
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/HerbstrittB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/HerbstrittB05
Marc Herbstritt, Bernd Becker:
On SAT-based Bounded Invariant Checking of Blackbox Designs. MTV 2005: 23-28
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/SchubertLB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/SchubertLB05
Tobias Schubert, Matthew D. T. Lewis, Bernd Becker:
PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36
[c133]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/SchubertB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/SchubertB05
Tobias Schubert, Bernd Becker:
Knowledge Sharing in a Microcontroller based Parallel SAT Solver. PDPTA 2005: 1049-1055
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/EisingerWB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/EisingerWB05
Jochen Eisinger, Peter Winterer, Bernd Becker:
Securing Wireless Networks in a University Environment. PerCom Workshops 2005: 312-316
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LewisSB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LewisSB05
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker:
Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/EschbachGB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/EschbachGB05
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases. VLSI Design 2005: 433-438
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AbrahamBKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AbrahamBKS05
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/PolianKGERB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/PolianKGERB05
Ilia Polian, Sandip Kundu, Jean-Marc Gallière, Piet Engelke, Michel Renovell, Bernd Becker:
Resistive Bridge Fault Model Evolution from Conventional to Ultra Deep Submicron Technologies. VTS 2005: 343-348
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/wea/BeckerBEW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wea/BeckerBEW05
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer:
BDDs in a Branch and Cut Framework. WEA 2005: 452-463
2004
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/et/PolianB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/PolianB04
Ilia Polian, Bernd Becker:
Scalable Delay Fault BIST for Use with Low-Cost ATE. J. Electron. Test. 20(2): 181-197 (2004)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/aacc/SchubertB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aacc/SchubertB04
Tobias Schubert, Bernd Becker:
Parallel SAT Solving with Microcontrollers. AACC 2004: 59-67
[c125]
- view
- export record
  dblp key:
  - conf/arcs/SchubertB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arcs/SchubertB04
Tobias Schubert, Bernd Becker:
A Distributed SAT Solver for Microcontroller. ARCS Workshops 2004: 338-347
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/HayesPB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/HayesPB04
John P. Hayes, Ilia Polian, Bernd Becker:
Testing for Missing-Gate Faults in Reversible Circuits. Asian Test Symposium 2004: 100-105
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/EngelkePRB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/EngelkePRB04
Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker:
Automatic test pattern generation for resistive bridging faults. ETS 2004: 160-165
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/EschbachGB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/EschbachGB04
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Orthogonal hypergraph routing for improved visibility. ACM Great Lakes Symposium on VLSI 2004: 385-388
[c121]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iscas/EschbachDB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/EschbachDB04
Thomas Eschbach, Rolf Drechsler, Bernd Becker:
Placement and routing optimization for circuits derived from BDDs. ISCAS (5) 2004: 229-232
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/TangWVHWEPB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/TangWVHWEPB04
Yuyi Tang, Hans-Joachim Wunderlich, Harald P. E. Vranken, Friedrich Hapke, Michael Wittke, Piet Engelke, Ilia Polian, Bernd Becker:
X-Masking During Logic BIST and Its Impact on Defect Coverage. ITC 2004: 442-451
[c119]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/BeckerBEFHHHKNPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BeckerBEFHHHKNPW04
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:
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. MBMV 2004: 65-75
[c118]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/LewisSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/LewisSB04
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker:
Early Conflict Detection Based SAT Solving. MBMV 2004: 243-249
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/HerbstrittKB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/HerbstrittKB04
Marc Herbstritt, Thomas Kmieciak, Bernd Becker:
On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification. MTV 2004: 50-55
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/SchubertB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/SchubertB04
Tobias Schubert, Bernd Becker:
PICHAFF² - A Hierarchical Parallel SAT Solver. MTV 2004: 56-61
[c115]
- view
  - electronic edition @ satisfiability.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/sat/LewisSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LewisSB04
Matthew D. T. Lewis, Tobias Schubert, Bernd Becker:
Early Conflict Detection Based BCP for SAT Solving. SAT 2004
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/EngelkePRSB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/EngelkePRSB04
Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker:
The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. VTS 2004: 171-178
2003
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/et/PolianB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/PolianB03
Ilia Polian, Bernd Becker:
Multiple Scan Chain Design for Two-Pattern Testing. J. Electron. Test. 19(1): 37-48 (2003)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/et/BradfordDPB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/BradfordDPB03
Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker:
Simulating Realistic Bridging and Crosstalk Faults in an Industrial Setting. J. Electron. Test. 19(4): 387-395 (2003)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KeimDBMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KeimDBMM03
Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor:
Polynomial Formal Verification of Multipliers. Formal Methods Syst. Des. 22(1): 39-58 (2003)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/PolianGB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/PolianGB03
Ilia Polian, Wolfgang Günther, Bernd Becker:
Pattern-based verification of connections to intellectual property cores. Integr. 35(1): 25-44 (2003)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/SchmiedleDB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/SchmiedleDB03
Frank Schmiedle, Rolf Drechsler, Bernd Becker:
Exact Routing with Search Space Reduction. IEEE Trans. Computers 52(6): 815-825 (2003)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/date/PolianBR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/PolianBR03
Ilia Polian, Bernd Becker, Sudhakar M. Reddy:
Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST. DATE 2003: 11184-11185
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/PolianERB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/PolianERB03
Ilia Polian, Piet Engelke, Michel Renovell, Bernd Becker:
Modeling feedback bridging faults with non-zero resistance. ETW 2003: 91-96
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/EngelkePRB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/EngelkePRB03
Piet Engelke, Ilia Polian, Michel Renovell, Bernd Becker:
Simulating Resistive Bridging and Stuck-At Faults. ITC 2003: 1051-1059
[c110]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/PolianGB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/PolianGB03
Ilia Polian, Wolfgang Günther, Bernd Becker:
The Case for 2-POF. MBMV 2003: 164-173
[c109]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/HerbstrittB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HerbstrittB03
Marc Herbstritt, Bernd Becker:
Conflict-based Selection of Branching Rules in SAT-Algorithms. MBMV 2003: 189-198
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HerbstrittB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HerbstrittB03
Marc Herbstritt, Bernd Becker:
Conflict-Based Selection of Branching Rules. SAT 2003: 441-451
[c107]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vlsi/EschbachGB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/EschbachGB03
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Cross Reduction for Orthogonal Circuit Visualization. VLSI 2003: 107-113
[c106]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vlsi/PolianB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/PolianB03
Ilia Polian, Bernd Becker:
Reducing ATE Cost in System-on-Chip Test. VLSI-SOC 2003: 337-342
2002
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SchollBW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SchollBW02
Christoph Scholl, Bernd Becker, Thomas M. Weis:
On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower Bound for Division. Formal Methods Syst. Des. 20(3): 311-326 (2002)
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/PolianPB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/PolianPB02
Ilia Polian, Irith Pomeranz, Bernd Becker:
Exact Computation of Maximally Dominating Faults and Its Application to n-Detection Tests. Asian Test Symposium 2002: 2-14
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/BradfordDPB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/BradfordDPB02
Jonathan Bradford, Hartmut Delong, Ilia Polian, Bernd Becker:
Simulating realistic bridging and crosstalk faults in an industrial setting. ETW 2002: 75-80
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/gd/EschbachGDB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/EschbachGDB02
Thomas Eschbach, Wolfgang Günther, Rolf Drechsler, Bernd Becker:
Crossing Reduction by Windows Optimization. GD 2002: 285-294
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/SchollB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/SchollB02
Christoph Scholl, Bernd Becker:
Checking Equivalence for Circuits Containing Incompletely Specified Boxes. ICCD 2002: 56-63
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/PolianB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/PolianB02
Ilia Polian, Bernd Becker:
Stop & Go BIST. IOLTW 2002: 147-151
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/iolts/PolianKMB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iolts/PolianKMB02
Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker:
Sequential n -Detection Criteria: Keep It Simple. IOLTW 2002: 189
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/PolianEB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/PolianEB02
Ilia Polian, Piet Engelke, Bernd Becker:
Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. ISMVL 2002: 216-223
[c98]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/EnglertBD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/EnglertBD02
Klaus-Jürgen Englert, Bernd Becker, Rolf Drechsler:
Symbolic Simulation of Algorithms Specified in HDL. MBMV 2002: 113-122
[c97]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/SchollB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchollB02
Christoph Scholl, Bernd Becker:
Equivalence Checking in the Presence of Incompletely Specified Boxes. MBMV 2002: 239-248
2001
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/et/KeimDDB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/KeimDDB01
Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. J. Electron. Test. 17(1): 37-51 (2001)
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/SchollBB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/SchollBB01
Christoph Scholl, Bernd Becker, Andreas Brogle:
The multiple variable order problem for binary decision diagrams: theory and practical application. ASP-DAC 2001: 85-90
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/GuntherHB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/GuntherHB01
Wolfgang Günther, Andreas Hett, Bernd Becker:
Application of linearly transformed BDDs in sequential verification. ASP-DAC 2001: 91-96
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/PoliaGB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/PoliaGB01
Ilia Polian, Wolfgang Günther, Bernd Becker:
Efficient Pattern-Based Verification of Connections to IP Cores . Asian Test Symposium 2001: 443-448
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SchollB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SchollB01
Christoph Scholl, Bernd Becker:
Checking Equivalence for Partial Implementations. DAC 2001: 238-243
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/BeckerEDG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/BeckerEDG01
Bernd Becker, Thomas Eschbach, Rolf Drechsler, Wolfgang Günther:
Greedy_IIP: Partitioning Large Graphs by Greedy Iterative Improvement. DSD 2001: 54-61
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/emo/DrechslerDB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emo/DrechslerDB01
Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Multi-objective Optimisation Based on Relation Favour. EMO 2001: 154-166
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzy/SchmiedleGDB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzy/SchmiedleGDB01
Frank Schmiedle, Daniel Große, Rolf Drechsler, Bernd Becker:
Too Much Knowledge Hurts: Acceleration of Genetic Programs for Learning Heuristics. Fuzzy Days 2001: 479-491
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/SchollHB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/SchollHB01
Christoph Scholl, Marc Herbstritt, Bernd Becker:
Exploiting don't cares to minimize *BMDs. ISCAS (5) 2001: 191-194
[c88]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/latw/Polian001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/Polian001
Ilia Polian, Bernd Becker:
Multiple Scan Chain Design for Two-Pattern Testing. LATW 2001: 156-161
[c87]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/HettB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HettB01
Andreas Hett, Bernd Becker:
Supervised Dynamic Recording in Model Checking. MBMV (1) 2001: 21-30
[c86]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/SchollB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchollB01
Christoph Scholl, Bernd Becker:
Checking Equivalence for Partial Implementations. MBMV (1) 2001: 31-43
[c85]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/SchollHB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchollHB01
Christoph Scholl, Marc Herbstritt, Bernd Becker:
Don't Care Minimization of BMDs: Complexity and Algorithms. MBMV (1) 2001: 45-57
[c84]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/PolianGB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/PolianGB01
Ilia Polian, Wolfgang Günther, Bernd Becker:
Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. MBMV (1) 2001: 111-120
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/PolianB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/PolianB01
Ilia Polian, Bernd Becker:
Multiple Scan Chain Design for Two-Pattern Testing. VTS 2001: 88-93
2000
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/DrechslerBD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/DrechslerBD00
Rolf Drechsler, Bernd Becker, Nicole Drechsler:
OKFDD minimization by genetic algorithms with application to circuit design. Integr. 28(2): 121-139 (2000)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HettSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HettSB00
Andreas Hett, Christoph Scholl, Bernd Becker:
Distance driven finite state machine traversal. DAC 2000: 39-42
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SchollB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SchollB00
Christoph Scholl, Bernd Becker:
On the Generation of Multiplexer Circuits for Pass Transistor Logic. DATE 2000: 372-378
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/EngelkeBK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/EngelkeBK00
Piet Engelke, Bernd Becker, Martin Keim:
A parameterizable fault simulator for bridging faults. ETW 2000: 63-68
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GuntherDDB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GuntherDDB00
Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Verification of Designs Containing Black Boxes. EUROMICRO 2000: 1100-1105
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/DrechslerGB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/DrechslerGB00
Rolf Drechsler, Wolfgang Günther, Bernd Becker:
Testability of Circuits Derived from Lattice Diagrams. EUROMICRO 2000: 1188-1192
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/DrechslerDMSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/DrechslerDMSB00
Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker:
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. EUROMICRO 2000: 1425-
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/gd/GuntherSBM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gd/GuntherSBM00
Wolfgang Günther, Robby Schönfeld, Bernd Becker, Paul Molitor:
k-Layer Straightline Crossing Minimization by Speeding Up Sifting. GD 2000: 253-258
[c75]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/gecco/SchubertMDDB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/SchubertMDDB00
Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Specialized Hardware for Implementation of Evolutionary Algorithms. GECCO 2000: 369
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LindgrenDB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LindgrenDB00
Per Lindgren, Rolf Drechsler, Bernd Becker:
Minimization of Ordered Pseudo Kronecker Decision Diagrams. ICCD 2000: 504-510
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/SchmiedleUB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/SchmiedleUB00
Frank Schmiedle, Daniel Unruh, Bernd Becker:
Exact switchbox routing with search space reduction. ISPD 2000: 26-32
[c72]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/latw/Drechsler0000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/Drechsler0000
Rolf Drechsler, Wolfgang Günther, Bernd Becker:
Testability of Circuits Derived from Lattice Diagrams. LATW 2000: 77-81
[c71]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/GuntherDDB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GuntherDDB00
Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Verification of Designs Containing Black Boxes. MBMV 2000: 19-26
[c70]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/HettSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/HettSB00
Andreas Hett, Christoph Scholl, Bernd Becker:
State Traversal guided by Hamming Distance Profiles. MBMV 2000: 57-66

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/et/DrechslerHSHB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/DrechslerHSHB99
Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker:
Testability of 2-Level AND/EXOR Circuits. J. Electron. Test. 14(3): 219-225 (1999)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/et/BeckerKK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/BeckerKK99
Bernd Becker, Martin Keim, Rolf Krieger:
Hybrid Fault Simulation for Synchronous Sequential Circuits. J. Electron. Test. 15(3): 219-238 (1999)
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/KeimDB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/KeimDB99
Martin Keim, Nicole Drechsler, Bernd Becker:
Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. ASP-DAC 1999: 315-318
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ets/KeimPHB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ets/KeimPHB99
Martin Keim, Ilia Polian, Harry Hengster, Bernd Becker:
A scalable BIST architecture for delay faults. ETW 1999: 98-103
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/HengsterB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/HengsterB99
Harry Hengster, Bernd Becker:
Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability. FTCS 1999: 268-275
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzy/DrechslerDB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzy/DrechslerDB99
Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Multi-objected Optimization in Evolutionary Algorithms Using Satisfiability Classes. Fuzzy Days 1999: 108-117
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LindgrenDB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LindgrenDB99
Per Lindgren, Rolf Drechsler, Bernd Becker:
Synthesis of Pseudo Kronecker Lattice Diagrams. ICCD 1999: 307-310
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/SchmiedleDB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/SchmiedleDB99
Frank Schmiedle, Rolf Drechsler, Bernd Becker:
Exact channel routing using symbolic representation. ISCAS (6) 1999: 394-397
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/DrechslerHB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/DrechslerHB99
Rolf Drechsler, Marc Herbstritt, Bernd Becker:
Grouping heuristics for word-level decision diagrams. ISCAS (1) 1999: 411-414
[c62]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/DrechslerHB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DrechslerHB99
Rolf Drechsler, Marc Herbstritt, Bernd Becker:
Grouping Heuristics for Word-Level Decision Diagrams. MBMV 1999: 41-50
1998
[b3]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0091896
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0091896
Rolf Drechsler, Bernd Becker:
Graphenbasierte Funktionsdarstellung - Boolesche und Pseudo-Boolesche Funktionen. Leitfäden der Informatik, Teubner 1998, ISBN 978-3-519-02149-0, pp. 1-200
[b2]
- view
  - electronic edition @ springer.com
  - details & citations
- export record
  dblp key:
  - books/daglib/0029044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0029044
Rolf Drechsler, Bernd Becker:
Binary Decision Diagrams - Theory and Implementation. Springer 1998, ISBN 978-0-7923-8193-8, pp. I-X, 1-200
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/Becker98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/Becker98
Bernd Becker:
Testing with decision diagrams. Integr. 26(1-2): 5-20 (1998)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/DrechslerBJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/DrechslerBJ98
Rolf Drechsler, Bernd Becker, Andrea Jahnke:
On Variable Ordering and Decomposition Type Choice in OKFDDs. IEEE Trans. Computers 47(12): 1398-1403 (1998)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/DrechslerB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/DrechslerB98
Rolf Drechsler, Bernd Becker:
Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(10): 965-973 (1998)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SchollBW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SchollBW98
Christoph Scholl, Bernd Becker, Thomas M. Weis:
Word-level decision diagrams, WLCDs and division. ICCAD 1998: 672-677
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/LindgrenDB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/LindgrenDB98
Per Lindgren, Rolf Drechsler, Bernd Becker:
Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions. ISMVL 1998: 95-101
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/KeimDDB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/KeimDDB98
Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. ISMVL 1998: 215-221
1997
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/DrechslerBR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/DrechslerBR97
Rolf Drechsler, Bernd Becker, Stefan Ruppertz:
The K*BMD: A Verification Data Structure. IEEE Des. Test Comput. 14(2): 51-59 (1997)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BeckerDT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BeckerDT97
Bernd Becker, Rolf Drechsler, Michael Theobald:
On the Expressive Power of OKFDDs. Formal Methods Syst. Des. 11(1): 5-21 (1997)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/DrechslerB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/DrechslerB97
Rolf Drechsler, Bernd Becker:
Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(1): 1-5 (1997)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BeckerDE97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BeckerDE97
Bernd Becker, Rolf Drechsler, Reinhard Enders:
On the representational power of bit-level and word-level decision diagrams. ASP-DAC 1997: 461-467
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/GockelDB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/GockelDB97
Nicole Göckel, Rolf Drechsler, Bernd Becker:
Learning heuristics for OKFDD minimization by evolutionary algorithms. ASP-DAC 1997: 469-472
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HettDB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HettDB97
Andreas Hett, Rolf Drechsler, Bernd Becker:
Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DrechslerHSHB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DrechslerHSHB97
Rolf Drechsler, Harry Hengster, Horst Schäfer, Joachim Hartmann, Bernd Becker:
Testability of 2-level AND/EXOR circuits. ED&TC 1997: 548-553
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SchollDB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SchollDB97
Christoph Scholl, Rolf Drechsler, Bernd Becker:
Functional simulation using binary decision diagrams. ICCAD 1997: 8-12
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DrechslerKB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DrechslerKB97
Rolf Drechsler, Martin Keim, Bernd Becker:
Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. ISMVL 1997: 66-74
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DrechslerKB97a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DrechslerKB97a
Rolf Drechsler, Martin Keim, Bernd Becker:
Fault Simulation in Sequential Multi-Valued Logic Networks. ISMVL 1997: 145-152
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/DrechslerBR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DrechslerBR97
Rolf Drechsler, Bernd Becker, Stefan Ruppertz:
Manipulation Algorithms for K*BMDs. TACAS 1997: 4-18
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/BeckerD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/BeckerD97
Bernd Becker, Rolf Drechsler:
Decision Diagrams in Synthesis - Algorithms, Applications and Extensions. VLSI Design 1997: 46-50
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/BeckerDR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/BeckerDR97
Bernd Becker, Rolf Drechsler, Sudhakar M. Reddy:
(Quasi-) Linear Path Delay Fault Tests for Adders. VLSI Design 1997: 101-105
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/KeimMBDM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/KeimMBDM97
Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor:
Polynomial Formal Verification of Multipliers. VTS 1997: 150-157
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/OekmenKKB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/OekmenKKB97
Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker:
On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. VTS 1997: 426-433
1996
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/DrechslerTB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/DrechslerTB96
Rolf Drechsler, Michael Theobald, Bernd Becker:
Fast OFFD-Based Minimization of Fixed Polarity Reed-Muller Expressions. IEEE Trans. Computers 45(11): 1294-1299 (1996)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ats/HengsterDBEP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ats/HengsterDBEP96
Harry Hengster, Rolf Drechsler, Bernd Becker, Stefan Eckrich, Tonja Pfeiffer:
AND/EXOR based Synthesis of Testable KFDD-Circuits with Small Depth. Asian Test Symposium 1996: 148-
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DrechslerBR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DrechslerBR96
Rolf Drechsler, Bernd Becker, Stefan Ruppertz:
K*BMDs: A New Data Structure for Verification. ED&TC 1996: 2-8
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BeckerDKR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BeckerDKR96
Bernd Becker, Rolf Drechsler, Rolf Krieger, Sudhakar M. Reddy:
A Fast Optimal Robust Path Delay Fault Testable Adder. ED&TC 1996: 491-499
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/HettBD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/HettBD96
Andreas Hett, Bernd Becker, Rolf Drechsler:
MORE: an alternative implementation of BDD packages by multi-operand synthesis. EURO-DAC 1996: 164-169
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/HengsterSBR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/HengsterSBR96
Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Reddy:
Local Transformations and Robust Dependent Path Delay. ITC 1996: 347-356
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/ppsn/DrechslerGB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppsn/DrechslerGB96
Rolf Drechsler, Nicole Göckel, Bernd Becker:
Learning Heuristics for OBDD Minimization by Evolutionary Algorithms. PPSN 1996: 730-739
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/KeimBS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/KeimBS96
Martin Keim, Bernd Becker, Birgitta Stenner:
On the (non-)resetability of synchronous sequential circuits. VTS 1996: 240-245
1995
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/et/HengsterDB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/et/HengsterDB95
Harry Hengster, Rolf Drechsler, Bernd Becker:
On local transformations and path delay fault testability. J. Electron. Test. 7(3): 173-191 (1995)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BeckerDW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BeckerDW95
Bernd Becker, Rolf Drechsler, Ralph Werchner:
On the Relation between BDDs and FDDs. Inf. Comput. 123(2): 185-197 (1995)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/DrechslerBGJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/DrechslerBGJ95
Rolf Drechsler, Bernd Becker, Nicole Göckel, Andrea Jahnke:
A Genetic Algorithm for Decomposition Type Choice in OKFDDs. Int. J. Artif. Intell. Tools 4(4): 525- (1995)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/integration/BeckerHHS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/integration/BeckerHHS95
Bernd Becker, Ralf Hahn, Joachim Hartmann, Uwe Sparmann:
On the testability of iterative logic arrays. Integr. 18(2-3): 201-218 (1995)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/BeckerDM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/BeckerDM95
Bernd Becker, Rolf Drechsler, Paul Molitor:
On the generation of area-time optimal testable adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(9): 1049-1066 (1995)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/DrechslerB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/DrechslerB95
Rolf Drechsler, Bernd Becker:
Learning heuristics by genetic algorithms. ASP-DAC 1995
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/KriegerBK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/KriegerBK95
Rolf Krieger, Bernd Becker, Martin Keim:
Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. DAC 1995: 339-344
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DrechslerB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DrechslerB95
Rolf Drechsler, Bernd Becker:
Sympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions. ED&TC 1995: 91-99
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BeckerD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BeckerD95
Bernd Becker, Rolf Drechsler:
How many decomposition types do we need? [decision diagrams]. ED&TC 1995: 438-443
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BeckerD95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BeckerD95a
Bernd Becker, Rolf Drechsler:
Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams. ED&TC 1995: 592
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/KriegerBO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/KriegerBO95
Rolf Krieger, Bernd Becker, Can Ökmen:
OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. FTCS 1995: 120-129
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BeckerDT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BeckerDT95
Bernd Becker, Rolf Drechsler, Michael Theobald:
OKFDDs versus OBDDs and OFDDs. ICALP 1995: 475-486
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icannga/Drechsler0G95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icannga/Drechsler0G95
Rolf Drechsler, Bernd Becker, Nicole Göckel:
A Genetic Algorithm for Minimization of Fixed Polarity Reed-Muller Expressions. ICANNGA 1995: 393-395
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/DrechslerB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/DrechslerB95
Rolf Drechsler, Bernd Becker:
Dynamic minimization of OKFDDs. ICCD 1995: 602-607
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/DrechslerKB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/DrechslerKB95
Rolf Drechsler, Rolf Krieger, Bernd Becker:
Random Pattern Fault Simulation in Multi-Valued Circuits. ISMVL 1995: 98-103
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/BeckerDW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/BeckerDW95
Bernd Becker, Rolf Drechsler, Ralph Werchner:
On the Relation Betwen BDDs and FDDs. LATIN 1995: 72-83
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/vts/HengsterDB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vts/HengsterDB95
Harry Hengster, Rolf Drechsler, Bernd Becker:
On the application of local circuit transformations with special emphasis on path delay fault testability. VTS 1995: 387-392
1994
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/DrechslerSTBP94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/DrechslerSTBP94
Rolf Drechsler, Andisheh Sarabi, Michael Theobald, Bernd Becker, Marek A. Perkowski:
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams. DAC 1994: 415-419
[c26]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/eurodac/DrechslerBT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/DrechslerBT94
Rolf Drechsler, Bernd Becker, Michael Theobald:
Fast OFDD based minimization of fixed polarity Reed-Muller expressions. EURO-DAC 1994: 2-7
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/HahnKB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/HahnKB94
Ralf Hahn, Rolf Krieger, Bernd Becker:
A Hierarchical Approach to Fault Collapsing. EDAC-ETC-EUROASIC 1994: 171-176
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerD94
Bernd Becker, Rolf Drechsler:
Testability of Circuits Derived from Functional Decision Diagrams. EDAC-ETC-EUROASIC 1994: 667
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/BeckerD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/BeckerD94
Bernd Becker, Rolf Drechsler:
OFDD Based Minimization of Fixed Polarity Reed-Muller Expressions Using Hybrid Genetic Algorithms. ICCD 1994: 106-110
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BeckerD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BeckerD94
Bernd Becker, Rolf Drechsler:
Efficient Graph Based Representation of Multi-Valued Functions with an Application to Genetic Algorithms. ISMVL 1994: 65-72
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/itc/KriegerBK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itc/KriegerBK94
Rolf Krieger, Bernd Becker, Martin Keim:
A Hybrid Fault Simulator for Synchronous Sequential Circuits. ITC 1994: 614-623
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/HengsterDB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/HengsterDB94
Harry Hengster, Rolf Drechsler, Bernd Becker:
Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault Model. VLSI Design 1994: 123-126
1993
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerDM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerDM93
Bernd Becker, Rolf Drechsler, Paul Molitor:
On the implementation of an efficient performance driven generator for conditional-sum-adders. EURO-DAC 1993: 402-407
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/KriegerBS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/KriegerBS93
Rolf Krieger, Bernd Becker, R. Sinkovic:
A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. FTCS 1993: 186-195
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/BeckerK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/BeckerK93
Bernd Becker, Rolf Krieger:
FAST-SC: Fast Fault Simulation in Synchronous Sequential Circuits. VLSI Design 1993: 128-131
1992
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerM92
Bernd Becker, Paul Molitor:
A performance driven generator for efficient testable conditional-sum-adders. EURO-DAC 1992: 370-375
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerD92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerD92
Bernd Becker, Rolf Drechsler:
A time optimal robust path-delay-fault self-testable adder. EURO-DAC 1992: 376-381
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerHK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerHK92
Bernd Becker, Ralf Hahn, Rolf Krieger:
Fast fault simulation in combinational circuits: an efficient data structure, dynamic dominators and refined check-up. EURO-DAC 1992: 436-441
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/BeckerH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/BeckerH92
Bernd Becker, Joachim Hartmann:
Some Remarks on the Test Complexity of Iterative Logic Arrays. MFCS 1992: 142-152
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Becker92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Becker92
Bernd Becker:
Synthesis for Testability: Binary Decision Diagrams. STACS 1992: 501-512
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/92/000192
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/92/000192
Bernd Becker:
Synthesis for Testability: Binary Decision Diagrams. Informatik 1992: 21-39
1991
[j10]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/fuin/BeckerS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BeckerS91
Bernd Becker, Uwe Sparmann:
A uniform test approach for RCC-adders. Fundam. Informaticae 14(2): 185-219 (1991)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BeckerS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BeckerS91
Bernd Becker, Uwe Sparmann:
Computations over Finite Monoids and their Test Complexity. Theor. Comput. Sci. 84(2): 225-250 (1991)
[c11]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/eurodac/BeckerHKS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerHKS91
Bernd Becker, Ralf Hahn, Rolf Krieger, Uwe Sparmann:
Structure based methods for parallel pattern fault simulation in combinational circuits. EURO-DAC 1991: 497-502
1990
[j8]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eik/BeckerH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eik/BeckerH90
Bernd Becker, Joachim Hartmann:
Optimal-Time Multipliers and C-Testability. J. Inf. Process. Cybern. 26(10): 547-561 (1990)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/eurodac/BeckerBHKKMOPS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurodac/BeckerBHKKMOPS90
Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann:
A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC 1990: 174-179
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/BeckerH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/BeckerH90
Bernd Becker, Joachim Hartmann:
Optimal-Time Multipliers and C-Testability. SPAA 1990: 146-154

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/BeckerS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/BeckerS89
Bernd Becker, Uwe Sparmann:
Computations over finite monoids and their test complexity. FTCS 1989: 299-306
1988
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BeckerS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BeckerS88
Bernd Becker, Hans Ulrich Simon:
How Robust Is The n-Cube? Inf. Comput. 77(2): 162-178 (1988)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/Becker88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/Becker88
Bernd Becker:
Efficient Testing of Optimal Time Adders. IEEE Trans. Computers 37(9): 1113-1121 (1988)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/awoc/BeckerS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/awoc/BeckerS88
Bernd Becker, Uwe Sparmann:
Regular Structures and Testing: RCC-Adders. AWOC 1988: 288-300
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BeckerK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BeckerK88
Bernd Becker, Reiner Kolla:
On the Construction of Optimal Time Adders (Extended Abstract). STACS 1988: 18-28
1987
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/Becker87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/Becker87
Bernd Becker:
An Easily Testable Optimal-Time VLSI-Multiplier. Acta Informatica 24(4): 363-380 (1987)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BeckerO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BeckerO87
Bernd Becker, Hans-Georg Osthof:
Layouts with Wires of Balanced Length. Inf. Comput. 73(1): 45-59 (1987)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/BeckerH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/BeckerH87
Bernd Becker, Günter Hotz:
On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. 16(5): 946-972 (1987)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BeckerHKMO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BeckerHKMO87
Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof:
Hierarchical Design Based on a Calculus of Nets. DAC 1987: 649-653
1986
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/ife/HotzBKM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/HotzBKM86
Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor:
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform. Forsch. Entwickl. 1(1): 38-47 (1986)
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/ife/HotzBKM86a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/HotzBKM86a
Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor:
Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform. Forsch. Entwickl. 1(2): 72-82 (1986)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/BeckerS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/BeckerS86
Bernd Becker, Hans Ulrich Simon:
How Robust Is the n-Cube? (Extended Abstract). FOCS 1986: 283-291
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Becker86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Becker86
Bernd Becker:
Efficient Testing of Optimal Time Adders (Extended Abstract). MFCS 1986: 218-229
1985
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/BeckerO85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/BeckerO85
Bernd Becker, Hans-Georg Osthof:
Layouts with Wires of Balanced Length. STACS 1985: 21-31
1983
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tcs/Becker83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tcs/Becker83
Bernd Becker:
On the crossing-free, rectangular embedding of weighted graphs in the plane. Theoretical Computer Science 1983: 61-72
1982
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Becker82b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Becker82b
Bernd Becker:
Über die kreuzungsfreie, rechtwinklige Einbettung von gewichteten Graphen in die Ebene. Saarland University, Saarbrücken, Germany, 1982, pp. 1-116

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.