| Quantifiable assurance: From ips to platforms B Ahmed, MK Bepary, N Pundir, M Borza, O Raikhman, A Garg, ... arXiv preprint arXiv:2204.07909, 2022 | 20 | 2022 |
| Data-driven design of context-aware monitors for hazard prediction in artificial pancreas systems X Zhou, B Ahmed, JH Aylor, P Asare, H Alemzadeh 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 17 | 2021 |
| Hybrid knowledge and data driven synthesis of runtime monitors for cyber-physical systems X Zhou, B Ahmed, JH Aylor, P Asare, H Alemzadeh IEEE Transactions on Dependable and Secure Computing, 2023 | 8 | 2023 |
| A survey on interconnect encoding for reducing power consumption, delay, and crosstalk SK Saha, B Ahmed, J Liu 2015 2nd International Conference on Electrical Information and …, 2015 | 7 | 2015 |
| AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow B Ahmed, F Rahman, N Hooten, F Farahmandi, M Tehranipoor 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021 | 6 | 2021 |
| SoC Security Verification: Challenges and Solution B Ahmed, F Farahmandi TECHCONE, 2023 | 1* | 2023 |
| Modified bus invert encoding to reduce capacitive crosstalk, power and inductive noise B Ahmed, SK Saha, J Liu 2015 2nd International Conference on Electrical Information and …, 2015 | 1 | 2015 |
| Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance S Aftabjahani, M Tehranipoor, F Farahmandi, B Ahmed, R Kastner, ... 41st IEEE VLSI Test Symposium 2023, 2023 | | 2023 |
James AylorUniversity of VirginiaGeverifieerd e-mailadres voor virginia.edu
