( en | de | ru )

 

Disambiguation of "Irfan, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Verilog2SMV: A tool for word-level verification.

, , , , and . DATE, page 1156-1159. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Irfan Ahmed Asangani

Irfan

Muhammad Irfan

Muhammad-Naeem Irfan

Irfan Vardarli

 

Other publications of authors with the same name

Parallelization Techniques for Verifying Neural Networks., , , , , , , , , and . CoRR, (2020)A 90-nm Power Optimization Methodology With Application to the ARM 1136JF-S Microprocessor., , , , , , , , , and 11 other author(s). IEEE J. Solid State Circuits, 41 (8): 1707-1717 (2006)Memory forensic analysis of a programmable logic controller in industrial control systems., , , and . Digit. Investig., 40 (Supplement): 301339 (2022)Image-based kernel fingerprinting., , and . Digit. Investig., 11 (Supplement 2): S13-S21 (2014)Neural Networks for Energy-Efficient Self Optimization of eNodeB Antenna Tilt in 5G Mobile Network Environments., , , , , and . IEEE Access, (2022)Exploiting Geometric Advantages of Cooperative Communications for Energy Efficient Wireless Sensor Networks., , and . Int. J. Commun. Netw. Syst. Sci., 1 (1): 55-61 (2008)Design of Assessment Information System for Program Accreditation., and . Int. J. Qual. Assur. Eng. Technol. Educ., 5 (1): 8-22 (2016)SWMAT: Mel-frequency cepstral coefficients-based memory fingerprinting for IoT devices., , and . Comput. Secur., (September 2023)How Are Industrial Control Systems Insecure by Design? A Deeper Insight Into Real-World Programmable Logic Controllers., , , and . IEEE Secur. Priv., 21 (4): 10-19 (July 2023)Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions.. University of Trento, Italy, (2018)base-search.net (ftutrentophd:oai:eprints-phd.biblio.unitn.it:2952).