{"language":[{"iso":"eng"}],"_id":"64839","department":[{"_id":"48"}],"user_id":"36703","status":"public","type":"misc","title":"SAT-Based Validation of Statistical Delay Test Generation under Timing Variations","date_updated":"2026-03-04T15:49:55Z","date_created":"2026-03-04T15:49:51Z","author":[{"first_name":"Hanieh","full_name":"Jafarzadeh, Hanieh","last_name":"Jafarzadeh"},{"last_name":"Reimer","id":"36703","full_name":"Reimer, Jan Dennis","first_name":"Jan Dennis"},{"last_name":"Amrouch","full_name":"Amrouch, Hussam","first_name":"Hussam"},{"first_name":"Sybille","full_name":"Hellebrand, Sybille","last_name":"Hellebrand"},{"full_name":"Wunderlich, Hans-Joachim","last_name":"Wunderlich","first_name":"Hans-Joachim"}],"year":"2026","place":"Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026","citation":{"short":"H. Jafarzadeh, J.D. Reimer, H. Amrouch, S. Hellebrand, H.-J. Wunderlich, SAT-Based Validation of Statistical Delay Test Generation under Timing Variations, Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026, 2026.","bibtex":"@book{Jafarzadeh_Reimer_Amrouch_Hellebrand_Wunderlich_2026, place={Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026}, title={SAT-Based Validation of Statistical Delay Test Generation under Timing Variations}, author={Jafarzadeh, Hanieh and Reimer, Jan Dennis and Amrouch, Hussam and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2026} }","mla":"Jafarzadeh, Hanieh, et al. SAT-Based Validation of Statistical Delay Test Generation under Timing Variations. 2026.","apa":"Jafarzadeh, H., Reimer, J. D., Amrouch, H., Hellebrand, S., & Wunderlich, H.-J. (2026). SAT-Based Validation of Statistical Delay Test Generation under Timing Variations.","ieee":"H. Jafarzadeh, J. D. Reimer, H. Amrouch, S. Hellebrand, and H.-J. Wunderlich, SAT-Based Validation of Statistical Delay Test Generation under Timing Variations. Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026, 2026.","chicago":"Jafarzadeh, Hanieh, Jan Dennis Reimer, Hussam Amrouch, Sybille Hellebrand, and Hans-Joachim Wunderlich. SAT-Based Validation of Statistical Delay Test Generation under Timing Variations. Workshop: Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2026), Feb. 2026, 2026.","ama":"Jafarzadeh H, Reimer JD, Amrouch H, Hellebrand S, Wunderlich H-J. SAT-Based Validation of Statistical Delay Test Generation under Timing Variations.; 2026."}}