1. A. Ahmed, P. Mishra, QUEBS: Qualifying event based search in Concolic testing for validation of RTL models, in IEEE International Conference on Computer Design (ICCD) (IEEE, Piscataway, 2017), pp. 185–192
2. A. Ahmed, F. Farahmandi, P. Mishra, Directed test generation using Concolic testing of RTL models, in Design Automation and Test in Europe (DATE) (IEEE, Piscataway, 2018), pp. 1538–1543
3. A. Ahmed, F. Farahmandi, Y. Iskander, P. Mishra, Scalable hardware Trojan activation by interleaving concrete simulation and symbolic execution, in IEEE International Test Conference (ITC), Phoenix (IEEE, Piscataway, 2018), pp. 1–10
4. A. Ardeshiricham, W. Hu, J. Marxen, R. Kastner, Register transfer level information flow tracking for provably secure hardware design, in Design, Automation and Test in Europe Conference and Exhibition (DATE) (IEEE, Piscataway, 2017), pp. 1695–1700
5. A. Biere, A. Cimatti, E.M. Clarke, O. Strichman, Y. Zhu, Bounded model checking. Adv. Comput. 58, 117–148 (2003)