( en | de | ru )

 

Disambiguation of "Irfan, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Pono: A Flexible and Extensible SMT-Based Model Checker.

, , , , , , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 461-474. Springer, (2021)

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 Bastug

 

Other publications of authors with the same name

Parallelization Techniques for Verifying Neural Networks., , , , , , , , , and . CoRR, (2020)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)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)Neural Networks for Energy-Efficient Self Optimization of eNodeB Antenna Tilt in 5G Mobile Network Environments., , , , , and . IEEE Access, (2022)SWMAT: Mel-frequency cepstral coefficients-based memory fingerprinting for IoT devices., , and . Comput. Secur., (September 2023)Design of Assessment Information System for Program Accreditation., and . Int. J. Qual. Assur. Eng. Technol. Educ., 5 (1): 8-22 (2016)Exploiting Geometric Advantages of Cooperative Communications for Energy Efficient Wireless Sensor Networks., , and . Int. J. Commun. Netw. Syst. Sci., 1 (1): 55-61 (2008)Uplink coverage probability and spectral efficiency for downlink uplink decoupled dense heterogeneous cellular network using multi-slope path loss model., , and . Telecommun. Syst., 72 (4): 505-516 (2019)Attacking the IEC 61131 Logic Engine in Programmable Logic Controllers., , , and . Critical Infrastructure Protection, volume 636 of IFIP Advances in Information and Communication Technology, page 73-95. Springer, (2021)