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
Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas.

, , and . MTV, page 22-27. IEEE Computer Society, (2011)

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

Univ. -Prof. Dr. Bernd Gundelsweiler University of Stuttgart

Anpassbare Mensch-Maschine-Schnittstellen zwischen Adaptivität und Individualisierung, , , , and . Stuttgarter Symposium für Produktentwicklung SSP 2023 : Tagungsband zur Konferenz, Stuttgart, 25. Mai 2023, page 524-535. Stuttgart, Fraunhofer IAO, (2023)

Dr. -Ing. Dina Becker University of Stuttgart

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

 

Other publications of authors with the same name

On the testability of iterative logic arrays., , , and . Integration, 18 (2-3): 201-218 (1995)Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis., , , , , and . International Journal of Parallel Programming, 38 (3-4): 185-202 (2010)DFG-Projekt RealTest - Test und Zuverlässigkeit nanoelektronischer Systeme (DFG-Project - Test and Reliability of Nano-Electronic Systems)., , , , and . it - Information Technology, 48 (5): 304- (2006)Technische Informatik - eine einführende Darstellung., and . Oldenbourg, (2008)Efficient SAT-Based Circuit Initialization for Larger Designs., , , and . VLSI Design, page 62-67. IEEE Computer Society, (2014)An Analysis Framework for Transient-Error Tolerance., , and . VTS, page 249-255. IEEE Computer Society, (2007)Polynomial Formal Verification of Multipliers., , , , and . VTS, page 150-157. IEEE Computer Society, (1997)The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults., , , , and . VTS, page 171-178. IEEE Computer Society, (2004)An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects., , , , , , and . VTS, page 21-26. IEEE Computer Society, (2009)K*BMDs: A New Data Structure for Verification., , and . ED&TC, page 2-8. IEEE Computer Society, (1996)