PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Becker, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
On the quality of test vectors for post-silicon characterization.

, , , and . European Test Symposium, page 1-6. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franziska Becker University of Stuttgart

Bernd Bertsche

Dr. -Ing. Dina Becker University of Stuttgart

Univ. -Prof. Dr. -Ing. Steffen Becker University of Stuttgart

Bernd Peters University of Stuttgart

 

Other publications of authors with the same name

Parallel SAT Solving in Bounded Model Checking., , , , and . J. Log. Comput., 21 (1): 5-21 (2011)Efficient Testing of Optimal Time Adders (Extended Abstract).. MFCS, volume 233 of Lecture Notes in Computer Science, page 218-229. Springer, (1986)Some Remarks on the Test Complexity of Iterative Logic Arrays., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 142-152. Springer, (1992)Parallel SAT Solving with Microcontrollers., and . AACC, volume 3285 of Lecture Notes in Computer Science, page 59-67. Springer, (2004)Parallel SAT Solving in Bounded Model Checking., , , , and . FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 301-315. Springer, (2006)Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach., , , and . e-Energy, page 436-438. ACM, (2018)Laissez-Faire Caching for Parallel #SAT Solving., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 46-61. Springer, (2015)Preprocessing for DQBF., , , , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 173-190. Springer, (2015)SAT-Based Combinational and Sequential Dependency Computation., , , , , and . Haifa Verification Conference, volume 10028 of Lecture Notes in Computer Science, page 1-17. (2016)Synthesis for Testability: Binary Decision Diagrams.. STACS, volume 577 of Lecture Notes in Computer Science, page 501-512. Springer, (1992)