Concepedia

Nazir Ahmad Zafar

NA

Statistics

Publications

42

Citations

854

H-Index

18

Active since

2006

Affiliations

COMSATS University Islamabad(Current)

King Faisal University

Taif University

King Saud University

Pakistan Institute of Engineering and Applied Sciences

Nazir Ahmad Zafar is an author at COMSATS University Islamabad specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringInternet Of ThingsFormal VerificationFormal SpecificationFormal MethodsReliability EngineeringTransportation Engineering

Publications per year

2006–2024

42

Publications

42

Intelligent traffic monitoring and guidance system for smart city

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar · 2018 International Conference on Computing, Mathematics and Engineering Technologies (iCoMET) · 2018 · 73 citations

Intelligent Traffic Management, Smart Nodes, Engineering +14

Towards the safety properties of moving block railway interlocking system

Nazir Ahmad Zafar, Sher Afzal Khan, Keijiro Araki · 2012 · 57 citations

Safety Engineering, Railway Traffic, Engineering +5

Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications

Muhammad Imran, Nazir Ahmad Zafar, Mohammed Alnuem et al. · Wireless Networks · 2015 · 34 citations

Safety Engineering, Trajectory Planning, Engineering +9

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks

Muhammad Imran, Nazir Ahmad Zafar · Sensors · 2012 · 33 citations · Full text

Engineering, Network Analysis, Sensor Connectivity +18

A survey of security and privacy issues in IoT for smart cities

Saba Latif, Nazir Ahmad Zafar · 2017 · 33 citations

Privacy Issues, Engineering, Smart City +16

Rows per page

1–5 of 42