| Hardware Trojan detection using ATPG and model checking J Cruz, F Farahmandi, A Ahmed, P Mishra 2018 31st international conference on VLSI design and 2018 17th …, 2018 | 86 | 2018 |
| Scalable hardware trojan activation by interleaving concrete simulation and symbolic execution A Ahmed, F Farahmandi, Y Iskander, P Mishra 2018 IEEE International Test Conference (ITC), 1-10, 2018 | 56 | 2018 |
| Directed test generation using concolic testing on RTL models A Ahmed, F Farahmandi, P Mishra 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018 | 53 | 2018 |
| QUEBS: Qualifying event based search in concolic testing for validation of RTL models A Ahmed, P Mishra 2017 IEEE International Conference on Computer Design (ICCD), 185-192, 2017 | 30 | 2017 |
| Automated activation of multiple targets in RTL models using concolic testing Y Lyu, A Ahmed, P Mishra 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 354-359, 2019 | 26 | 2019 |
| Efficient cache reconfiguration using machine learning in NoC-based many-core CMPs S Charles, A Ahmed, UY Ogras, P Mishra ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (6 …, 2019 | 22 | 2019 |
| Hopscotch: a micro-benchmark suite for memory performance evaluation A Ahmed, K Skadron Proceedings of the International Symposium on Memory Systems, 167-172, 2019 | 18 | 2019 |
| Cache reconfiguration using machine learning for vulnerability-aware energy optimization A Ahmed, Y Huang, P Mishra ACM Transactions on Embedded Computing Systems (TECS) 18 (2), 1-24, 2019 | 18 | 2019 |
| Gearbox: A case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators M Lenjani, A Ahmed, M Stan, K Skadron Proceedings of the 49th Annual International Symposium on Computer …, 2022 | 11 | 2022 |
| Automated activation of multiple targets in RTL models using concolic testing, in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) Y Lyu, A Ahmed, P Mishra IEEE, Florence, Italy, 354-359, 2019 | 10 | 2019 |
| PiMulator: A fast and flexible processing-in-memory emulation platform S Mosanu, MN Sakib, T Tracy, E Cukurtas, A Ahmed, P Ivanov, S Khan, ... 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022 | 9 | 2022 |
| A 200PS differential CMOS delay element for 10 GHz ultra wideband wireless receivers A Ahmed, SMS Rashid, A Rashid 2012 7th International Conference on Electrical and Computer Engineering …, 2012 | 4 | 2012 |
| BigMap: Future Proofing Fuzzers with Efficient Large Maps A Ahmed, J Hiser D, A Nguyen, J Davidson, K Skadron International Conference on Dependable Systems and Networks (DSN), 2021 | 2 | 2021 |
| Security and Trust Verification of IoT SoCs A Ahmed, F Farahmandi, Y Iskander, P Mishra Security and Fault Tolerance in Internet of Things, 1-19, 2019 | 2 | 2019 |
| GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis A Ahmed, FA Siddique, K Skadron International Journal of Parallel Programming, 1-24, 2024 | 1 | 2024 |
| Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting M Lenjani, A Ahmed, K Skadron IEEE Computer Architecture Letters 21 (2), 109-112, 2022 | 1 | 2022 |
| Device and method for controlling data request SB Lee, A Ahmed, J Kim, K Soon-Wan US Patent 10,990,444, 2021 | 1 | 2021 |
| Fine grained shadow workload generation preserving memory access patterns A Ahmed | 1 | |
| Post-Silicon Signal Selection Using Machine Learning A Ahmed, K Rahmani, P Mishra Post-Silicon Validation and Debug, 87-107, 2019 | | 2019 |
| ProxyVM: A Scalable and Retargetable Compiler Framework for Privacy-Aware Proxy Workload Generation X Ren, A Ahmed, Y Wei, K Skadron, A Venkat | | |
Prabhat MishraProfessor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished Member在 ufl.edu 的电子邮件经过验证
