Fuzzy set approach for automatic tagging in evolving software. - Jafar M. Al-Kofahi; Ahmed Tamrawi; Tung Thanh Nguyen; Hoan Anh Nguyen; Tien N. Nguyen (ICSM, 2010)

Fuzzy set-based automatic bug triaging. - Ahmed Tamrawi; Tung Thanh Nguyen; Jafar M. Al-Kofahi; Tien N. Nguyen (ICSE, 2011)

Fuzzy set and cache-based approach for bug triaging. - Ahmed Tamrawi; Tung Thanh Nguyen; Jafar M. Al-Kofahi; Tien N. Nguyen (SIGSOFT FSE, 2011)

Graph-based pattern-oriented, context-sensitive source code completion. - Anh Tuan Nguyen 001; Tung Thanh Nguyen; Hoan Anh Nguyen; Ahmed Tamrawi; Hung Viet Nguyen; Jafar M. Al-Kofahi; Tien N. Nguyen (ICSE, 2012)

Build code analysis with symbolic evaluation. - Ahmed Tamrawi; Hoan Anh Nguyen; Hung Viet Nguyen; Tien N. Nguyen (ICSE, 2012)

SYMake: a build code analysis and refactoring tool for makefiles. - Ahmed Tamrawi; Hoan Anh Nguyen; Hung Viet Nguyen; Tien N. Nguyen (ASE, 2012)

A "Human-in-the-loop" approach for resolving complex software anomalies. - Suresh C. Kothari; Akshay Deepak; Ahmed Tamrawi; Benjamin Holland; Sandeep Krishnan (SMC, 2014)

Event-Flow Graphs for Efficient Path-Sensitive Analyses. - Ahmed Tamrawi; Kang Gui; Suresh C. Kothari (CoRR, 2014)

Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities. - Ahmed Tamrawi; Suresh C. Kothari (APSEC, 2016)

Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2016)

Let's verify Linux: accelerated learning of analytical reasoning through automation and collaboration. - Suresh C. Kothari; Ahmed Tamrawi; Jeremias Sauceda; Jon Mathews (ICSE (Companion Volume), 2016)

Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi (ISSRE Workshops, 2016)

Human-machine resolution of Invisible Control Flow? - Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICPC, 2016)

Modeling lessons from verifying large software systems for safety and security. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi; Jon Mathews (WSC, 2017)

COMB: computing relevant program behaviors. - Benjamin Holland; Payas Awadhutkar; Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2018)

DynaDoc: Automated On-demand Context-Specific Documentation. - Ahmed Tamrawi; Sharwan Ram; Payas Awadhutkar; Benjamin Holland; Ganesh Ram Santhanam; Suresh C. Kothari (DySDoc@ICSME, 2018)

Projected control graph for computing relevant program behaviors. - Ahmed Tamrawi; Suresh C. Kothari (Sci. Comput. Program., 2018)

Control flow equivalence method for establishing sanctity of compiling. - Payas Awadhutkar; Ahmed Tamrawi; Ryan Goluch; Suresh C. Kothari (Comput. Secur., 2022)