Follow
Tuba Yavuz
Title
Cited by
Cited by
Year
Firmusb: Vetting usb device firmware using domain informed symbolic execution
G Hernandez, F Fowze, D Tian, T Yavuz, KRB Butler
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
992017
Action language verifier
T Bultan, T Yavuz-Kahveci
Proceedings 16th Annual International Conference on Automated Software …, 2001
622001
Automated verification of concurrent linked lists with counters
T Yavuz-Kahveci, T Bultan
International Static Analysis Symposium, 69-84, 2002
462002
Specification, verification, and synthesis of concurrency control components
T Yavuz-Kahveci, T Bultan
ACM SIGSOFT Software Engineering Notes 27 (4), 169-179, 2002
412002
A library for composite symbolic representations
T Yavuz-Kahveci, M Tuncer, T Bultan
International Conference on Tools and Algorithms for the Construction and …, 2001
332001
Precise data race detection in a relaxed memory model using heuristic-based model checking
KH Kim, T Yavuz-Kahveci, BA Sanders
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
282009
Action language verifier, extended
T Yavuz-Kahveci, C Bartzis, T Bultan
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
262005
Application of k-nearest neighbor on feature projections classifier to text categorization
T Yavuz, HA Guvenir
Proceedings of the 13th international symposium on computer and information …, 1998
211998
Action Language Verifier: An infinite-state model checker for reactive software specifications
T Yavuz-Kahveci, T Bultan
Formal Methods in System Design 35 (3), 325-367, 2009
162009
Composite symbolic library
T Yavuz-Kahveci, M Tuncer, T Bultan
Proceedings of the 7th International Conference on Tools and Algorithms for …, 2001
162001
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types
T Yavuz-Kahveci, T Bultan
International journal on software tools for technology transfer 5, 15-33, 2003
152003
JRF-E: using model checking to give advice on eliminating memory model-related bugs
KH Kim, T Yavuz-Kahveci, BA Sanders
Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010
142010
Proxray: Protocol model learning and guided firmware analysis
F Fowze, D Tian, G Hernandez, K Butler, T Yavuz
IEEE Transactions on Software Engineering 47 (9), 1907-1928, 2019
132019
ENCIDER: detecting timing and cache side channels in SGX enclaves and cryptographic APIs
T Yavuz, F Fowze, G Hernandez, KY Bai, KRB Butler, DJ Tian
IEEE Transactions on Dependable and Secure Computing 20 (2), 1577-1595, 2022
122022
Toward automated firmware analysis in the iot era
G Hernandez, F Fowze, DJ Tian, T Yavuz, P Traynor, KRB Butler
IEEE Security & Privacy 17 (5), 38-46, 2019
112019
Verification of parameterized hierarchical state machines using action language verifier
T Yavuz-Kahveci, T Bultan
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
102005
Java memory model-aware model checking
H Jin, T Yavuz-Kahveci, BA Sanders
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
92012
Heuristics for efficient manipulation of composite constraints
T Yavuz-Kahveci, T Bultan
International Workshop on Frontiers of Combining Systems, 57-71, 2002
82002
Specification and automated verification of concurrent software systems
T Yavuz-Kahveci
PhD thesis, University of California, Santa Barbara, 2004
62004
Analyzing system software components using API model guided symbolic execution
T Yavuz, K Bai
Automated Software Engineering 27 (3), 329-367, 2020
52020
The system can't perform the operation now. Try again later.
Articles 1–20