Action Language Verifier. - Tevfik Bultan; Tuba Yavuz-Kahveci (ASE, 2001)

A Library for Composite Symbolic Representations. - Tuba Yavuz-Kahveci; Murat Tuncer; Tevfik Bultan (TACAS, 2001)

Heuristics for Efficient Manipulation of Composite Constraints. - Tuba Yavuz-Kahveci; Tevfik Bultan (FroCoS, 2002)

Specification, verification, and synthesis of concurrency control components. - Tuba Yavuz-Kahveci; Tevfik Bultan (ISSTA, 2002)

Automated Verification of Concurrent Linked Lists with Counters. - Tuba Yavuz-Kahveci; Tevfik Bultan (SAS, 2002)

A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. - Tuba Yavuz-Kahveci; Tevfik Bultan (Int. J. Softw. Tools Technol. Transf., 2003)

Action Language Verifier, Extended. - Tuba Yavuz-Kahveci; Constantinos Bartzis; Tevfik Bultan (CAV, 2005)

Verification of parameterized hierarchical state machines using action language verifier. - Tuba Yavuz-Kahveci; Tevfik Bultan (MEMOCODE, 2005)

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (ASE, 2009)

Action Language verifier: an infinite-state model checker for reactive software specifications. - Tuba Yavuz-Kahveci; Tevfik Bultan (Formal Methods Syst. Des., 2009)

Java Memory Model-Aware Model Checking. - Huafeng Jin; Tuba Yavuz-Kahveci; Beverly A. Sanders (TACAS, 2012)

JRF-E: using model checking to give advice on eliminating memory model-related bugs. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (Autom. Softw. Eng., 2012)

Extracting configuration parameter interactions using static analysis. - Chelsea A. Metcalf; Farhaan Fowze; Tuba Yavuz; José A. B. Fortes (ICPC, 2016)

Specification, verification, and synthesis using extended state machines with callbacks. - Farhaan Fowze; Tuba Yavuz (MEMOCODE, 2016)

Combining Predicate Abstraction with Fixpoint Approximations. - Tuba Yavuz (SEFM, 2016)

FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution. - Grant Hernandez; Farhaan Fowze; Dave (Jing) Tian; Tuba Yavuz; Kevin R. B. Butler (CCS, 2017)

Heuristics for Selecting Predicates for Partial Predicate Abstraction. - Tuba Yavuz; Chelsea A. Metcalf (CoRR, 2018)

Detecting potential deadlocks through change impact analysis. - Chelsea A. Metcalf; Tuba Yavuz (Softw. Qual. J., 2018)

Detecting Callback Related Deep Vulnerabilities in Linux Device Drivers. - Tuba Yavuz (SecDev, 2019)

Toward Automated Firmware Analysis in the IoT Era. - Grant Hernandez; Farhaan Fowze; Dave Jing Tian; Tuba Yavuz; Patrick Traynor; Kevin R. B. Butler (IEEE Secur. Priv., 2019)

Verifying Absence of Hardware-Software Data Races using Counting Abstraction. - Tuba Yavuz (MEMOCODE, 2020)

Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT. - Tuba Yavuz; Ken Yihang Bai (SecDev, 2020)

Analyzing system software components using API model guided symbolic execution. - Tuba Yavuz; Ken Yihang Bai (Autom. Softw. Eng., 2020)

Partial predicate abstraction and counter-example guided refinement. - Tuba Yavuz (J. Log. Algebraic Methods Program., 2020)

SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. - Farhaan Fowze; Tuba Yavuz (MEMOCODE, 2021)

Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis. - Farhaan Fowze; Tuba Yavuz (NSysS, 2021)

Learning Feature Interactions With and Without Specifications. - Seyedehzahra Khoshmanesh; Tuba Yavuz; Robyn R. Lutz (CoRR, 2021)

ProXray: Protocol Model Learning and Guided Firmware Analysis. - Farhaan Fowze; Dave Tian; Grant Hernandez; Kevin R. B. Butler; Tuba Yavuz (IEEE Trans. Software Eng., 2021)

A Study on the Testing of Android Security Patches. - Christopher Brant; Tuba Yavuz (CNS, 2022)

Security Analysis of IoT Frameworks using Static Taint Analysis. - Tuba Yavuz; Christopher Brant (CODASPY, 2022)

Graph Neural Network based Hardware Trojan Detection at Intermediate Representative for SoC Platforms. - Weimin Fu; Honggang Yu; Orlando Arias; Kaichen Yang; Yier Jin; Tuba Yavuz; Xiaolong Guo (ACM Great Lakes Symposium on VLSI, 2022)

SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software. - Tuba Yavuz (ICST, 2022)

MMIO Access-Based Coverage for Firmware Analysis. - Ken Yihang Bai; Tuba Yavuz (CNS, 2023)

VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware. - Ruochen Dai; Michael Lee; Patrick Hoey; Weimin Fu; Tuba Yavuz; Xiaolong Guo; Shuo Wang 003; Dean Sullivan; Orlando Arias (CoRR, 2023)

ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs. - Tuba Yavuz; Farhaan Fowze; Grant Hernandez; Ken Yihang Bai; Kevin R. B. Butler; Dave Jing Tian (IEEE Trans. Dependable Secur. Comput., 2023)

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions. - Ruochen Dai; Tuba Yavuz (ACM Trans. Design Autom. Electr. Syst., 2023)

DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL. - Ruochen Dai; Zhaoxiang Liu; Orlando Arias; Xiaolong Guo; Tuba Yavuz (ACM Great Lakes Symposium on VLSI, 2024)

Detecting Hardware Trojans using Model Guided Symbolic Execution. - Ruochen Dai; Tuba Yavuz (ACM Great Lakes Symposium on VLSI, 2024)

Generating Maximal Configurations and Their Variants Using Code Metrics. - Tuba Yavuz; Chin Khor; Ken Yihang Bai; Robyn R. Lutz (CoRR, 2024)

Multi-Pass Targeted Dynamic Symbolic Execution. - Tuba Yavuz (CoRR, 2024)

Evaluating the Effectiveness of Hardware Trojan Detection Approaches at RTL. - Ruochen Dai; Zhaoxiang Liu; Orlando Arias; Xiaolong Guo; Tuba Yavuz (HOST, 2025)

Cross-Layer EM Fault Injection Assessment Framework. - Hanqiu Wang; Ruochen Dai; Tuba Yavuz; Xiaolong Guo; Orlando Arias; Dean Sullivan; Michael Lee; Honggang Yu; Siqi Dai; Domenic Forte; Shuo Wang 003 (ISQED, 2025)