Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Equivalence Checking for Partial Implementations Revisited.

K. Gitina, S. Reimer, M. Sauer, R. Wimmer, C. Scholl, and B. Becker. MBMV, page 61-70. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)

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

Dr. rer. nat. Bernd Schulz University of Stuttgart

Other publications of authors with the same name

Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions.P. Lindgren, R. Drechsler, and B. Becker. ISMVL, page 95-101. IEEE Computer Society, (1998)Improving diagnosis resolution of a fault detection test set.A. Riefert, M. Sauer, S. Reddy, and B. Becker. VTS, page 1-6. IEEE Computer Society, (2015)Grouping heuristics for word-level decision diagrams.R. Drechsler, M. Herbstritt, and B. Becker. ISCAS (1), page 411-414. IEEE, (1999)ATPG-based grading of strong fault-secureness.M. Hunger, S. Hellebrand, A. Czutro, I. Polian, and B. Becker. IOLTS, page 269-274. IEEE Computer Society, (2009)Stop & Go BIST.I. Polian, and B. Becker. IOLTW, page 147-151. IEEE Computer Society, (2002)Proving QBF-hardness in Bounded Model Checking for Incomplete Designs.C. Miller, C. Scholl, and B. Becker. MTV, page 23-28. IEEE Computer Society, (2013)Bounded Model Checking of Incomplete Networks of Timed Automata.C. Miller, K. Gitina, C. Scholl, and B. Becker. MTV, page 61-66. IEEE Computer Society, (2010)Securing Wireless Networks in a University Environment.J. Eisinger, P. Winterer, and B. Becker. PerCom Workshops, page 312-316. IEEE Computer Society, (2005)Fault diagnosis aware ATE assisted test response compaction.J. Howard, S. Reddy, I. Pomeranz, and B. Becker. ASP-DAC, page 812-817. IEEE, (2011)Multithreaded SAT Solving.M. Lewis, T. Schubert, and B. Becker. ASP-DAC, page 926-931. IEEE Computer Society, (2007)