PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Czutro, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Functional test of small-delay faults using SAT and Craig interpolation.

, , , , , and . ITC, page 1-8. 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.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

Alexander Jaust

Alexander Keller

Alexander Bartler University of Stuttgart

 

Other publications of authors with the same name

SAT-ATPG using preferences for improved detection of complex defect mechanisms., , , , and . VTS, page 170-175. IEEE Computer Society, (2012)On the quality of test vectors for post-silicon characterization., , , and . European Test Symposium, page 1-6. IEEE Computer Society, (2012)SAT-Based Analysis of Sensitizable Paths., , , , , and . IEEE Design & Test, 30 (4): 81-88 (2013)#SAT-based vulnerability analysis of security components - A case study., , , , , , and . DFT, page 49-54. IEEE Computer Society, (2012)SAT-Based Test Pattern Generation with Improved Dynamic Compaction., , , and . VLSI Design, page 56-61. IEEE Computer Society, (2014)On the optimality of K longest path generation algorithm under memory constraints., , , , and . DATE, page 418-423. IEEE, (2012)Variation-Aware Fault Grading., , , , , , , and . Asian Test Symposium, page 344-349. IEEE Computer Society, (2012)Small-delay-fault ATPG with waveform accuracy., , , and . ICCAD, page 30-36. ACM, (2012)SAT-based analysis of sensitisable paths., , , , , and . DDECS, page 93-98. IEEE Computer Society, (2011)Multi-conditional SAT-ATPG for power-droop testing., , , and . European Test Symposium, page 1-6. IEEE Computer Society, (2012)