| eHealth Cloud Security Challenges: A Survey Y Al-Issa, A Ottom, Mohammad Ashraf, Tamrawi Journal of Healthcare Engineering 2019, 15, 2019 | 251 | 2019 |
| Fuzzy set and cache-based approach for bug triaging A Tamrawi, TT Nguyen, JM Al-Kofahi, TN Nguyen Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 227 | 2011 |
| Graph-based pattern-oriented, context-sensitive source code completion AT Nguyen, TT Nguyen, HA Nguyen, A Tamrawi, HV Nguyen, J Al-Kofahi, ... 2012 34th International Conference on Software Engineering (ICSE), 69-79, 2012 | 202 | 2012 |
| Fuzzy set-based automatic bug triaging (NIER track) A Tamrawi, TT Nguyen, J Al-Kofahi, TN Nguyen Proceedings of the 33rd international conference on software engineering …, 2011 | 111 | 2011 |
| Build code analysis with symbolic evaluation A Tamrawi, HA Nguyen, HV Nguyen, TN Nguyen 2012 34th International Conference on Software Engineering (ICSE), 650-660, 2012 | 95 | 2012 |
| Fuzzy set approach for automatic tagging in evolving software JM Al-Kofahi, A Tamrawi, TT Nguyen, HA Nguyen, TN Nguyen 2010 IEEE international conference on software maintenance, 1-10, 2010 | 57 | 2010 |
| SYMake: a build code analysis and refactoring tool for makefiles A Tamrawi, HA Nguyen, HV Nguyen, TN Nguyen Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 41 | 2012 |
| Modeling lessons from verifying large software systems for safety and security S Kothari, P Awadhutkar, A Tamrawi, J Mathews 2017 Winter Simulation Conference (WSC), 1431-1442, 2017 | 17 | 2017 |
| Projected control graph for accurate and efficient analysis of safety and security vulnerabilities A Tamrawi, S Kothari 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 113-120, 2016 | 14 | 2016 |
| A “Human-in-the-loop” approach for resolving complex software anomalies S Kothari, A Deepak, A Tamrawi, B Holland, S Krishnan 2014 IEEE international conference on systems, man, and cybernetics (SMC …, 2014 | 13 | 2014 |
| Event-flow graphs for efficient path-sensitive analyses A Tamrawi, S Kothari arXiv preprint arXiv:1404.1279, 2014 | 10 | 2014 |
| Comb: Computing relevant program behaviors B Holland, P Awadhutkar, S Kothari, A Tamrawi, J Mathews Proceedings of the 40th International Conference on Software Engineering …, 2018 | 9 | 2018 |
| Projected control graph for computing relevant program behaviors A Tamrawi, S Kothari Science of Computer Programming 163, 93-114, 2018 | 8 | 2018 |
| Human-machine resolution of invisible control flow? S Kothari, A Tamrawi, J Mathews 2016 IEEE 24th International Conference on Program Comprehension (ICPC), 1-4, 2016 | 8 | 2016 |
| Let's verify linux: Accelerated learning of analytical reasoning through automation and collaboration S Kothari, A Tamrawi, J Sauceda, J Mathews Proceedings of the 38th International Conference on Software Engineering …, 2016 | 7 | 2016 |
| Catastrophic cyber-physical malware S Kothari, GR Santhanam, P Awadhutkar, B Holland, J Mathews, ... Versatile Cybersecurity, 201-255, 2018 | 4 | 2018 |
| Insights for practicing engineers from a formal verification study of the linux kernel S Kothari, P Awadhutkar, A Tamrawi 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 3 | 2016 |
| Rethinking verification: accuracy, efficiency and scalability through human-machine collaboration S Kothari, A Tamrawi, J Mathews Proceedings of the 38th International Conference on Software Engineering …, 2016 | 3 | 2016 |
| Control flow equivalence method for establishing sanctity of compiling P Awadhutkar, A Tamrawi, R Goluch, S Kothari Computers & Security 115, 102608, 2022 | 2 | 2022 |
| Evidence-enabled verification for the Linux kernel A Tamrawi | 2 | 2016 |
Tien N. NguyenProfessor, School of Engineering and Computer Science - The University of Texas at DallasVerified email at utdallas.edu
