Concepedia

Alif Ahmed

AA

10

Publications

321

Citations

10

H-Index

2017

Active since

Affiliations

University of Florida(Current)

University of Virginia

Alif Ahmed is an author at University of Florida specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureProgram AnalysisSystems EngineeringHardware SecurityParallel ComputingParallel ProgrammingVerification

Publications per year

2017–2022

10

Publications

10

Hardware Trojan Detection Using ATPG and Model Checking

Jonathan Cruz, Farimah Farahmandi, Alif Ahmed et al. · 2018 · 73 citations

Hardware Trojan, Engineering, Hardware Verification Language +17

Directed test generation using concolic testing on RTL models

Alif Ahmed, Farimah Farahmandi, Prabhat Mishra · 2018 · 51 citations

Engineering, Verification, Computer Architecture +21

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution

Alif Ahmed, Farimah Farahmandi, Yousef Iskander et al. · 2018 · 51 citations

Hardware Trojan, Engineering, Hardware Verification Language +21

Automated Activation of Multiple Targets in RTL Models using Concolic Testing

Yangdi Lyu, Alif Ahmed, Prabhat Mishra · 2019 · 32 citations

Engineering, Verification, Test Data Generation +20

QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models

Alif Ahmed, Prabhat Mishra · 2017 · 24 citations

Engineering, Verification, Computer Architecture +27

Rows per page

1–5 of 10