Tuba Yavuz

Tuba Yavuz

University of Florida - Gainesville / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1613260
person_outline Tuba Yavuz's MOST POPULAR ARTICLES
1-) Firmusb: Vetting usb device firmware using domain informed symbolic execution Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
2-) Action language verifier Proceedings 16th Annual International Conference on Automated Software …, 2001
3-) Automated verification of concurrent linked lists with counters International Static Analysis Symposium, 69-84, 2002
4-) Specification, verification, and synthesis of concurrency control components ACM SIGSOFT Software Engineering Notes 27 (4), 169-179, 2002
5-) A library for composite symbolic representations International Conference on Tools and Algorithms for the Construction and …, 2001