Towards the safety properties of moving block railway interlocking system NA Zafar, SA Khan, K Araki Int. J. Innovative Comput., Info & Control 8 (7), 5677-5690, 2012 | 93 | 2012 |
Intelligent traffic monitoring and guidance system for smart city S Latif, H Afzaal, NA Zafar 2018 International Conference on Computing, Mathematics and Engineering …, 2018 | 77 | 2018 |
Formal specification and validation of a hybrid connectivity restoration algorithm for wireless sensor and actor networks M Imran, NA Zafar Sensors 12 (9), 11754-11781, 2012 | 41 | 2012 |
Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications M Imran, NA Zafar, MA Alnuem, MS Aksoy, AV Vasilakos Wireless Networks 22, 247-265, 2016 | 40 | 2016 |
Formal specification and validation of a localized algorithm for segregation of critical/noncritical nodes in MAHSNs M Alnuem, NA Zafar, M Imran, S Ullah, M Fayed International Journal of Distributed Sensor Networks 10 (6), 140973, 2014 | 39 | 2014 |
Modeling and formal specification of automated train control system using Z notation NA Zafar 2006 IEEE International Multitopic Conference, 438-443, 2006 | 38 | 2006 |
Formal specification and validation of railway network components using Z notation NA Zafar IET software 3 (4), 312-320, 2009 | 35 | 2009 |
Robot-based forest fire detection and extinguishing model H Afzaal, NA Zafar 2016 2nd International Conference on Robotics and Artificial Intelligence …, 2016 | 33 | 2016 |
Petri net modeling of railway crossing system using fuzzy brakes SA Khan, NA Zafar, F Ahmad International Journal of Physical Sciences 6 (14), 3389-3397, 2011 | 33 | 2011 |
A survey of security and privacy issues in IoT for smart cities S Latif, NA Zafar 2017 Fifth International Conference on Aerospace Science & Engineering …, 2017 | 32 | 2017 |
Implementing partitioning detection and connectivity restoration in WSAN using VDM-SL H Afzaal, M Imran, NA Zafar 2015 13th International Conference on Frontiers of Information Technology …, 2015 | 32 | 2015 |
Formal analysis of departure procedure of air traffic control system S Yousaf, NA Zafar, SA Khan 2010 2nd International Conference on Software Technology and Engineering 2 …, 2010 | 32 | 2010 |
Automata based railway gate control system at level crossing A Rehman, S Latif, NA Zafar 2019 International Conference on Communication Technologies (ComTech), 30-35, 2019 | 29 | 2019 |
Formal modeling and algorithm of subnet-based backup assigning in WSAN H Afzaal, NA Zafar 2015 International Conference on Information and Communication Technologies …, 2015 | 29 | 2015 |
Formalizing mobile ad hoc and sensor networks Using VDM-SL S Riaz, H Afzaal, M Imran, NA Zafar, MS Aksoy Procedia Computer Science 63, 148-153, 2015 | 29 | 2015 |
Improving moving block railway system using fuzzy multi-agent specification language SA Khan, NA Zafar Int. J. Innov. Computing, Inform. Control 7 (7), 4517-34, 2011 | 28 | 2011 |
Blockchain and iot based formal model of smart waste management system using tla+ S Latif, A Rehman, NA Zafar 2019 International conference on frontiers of information technology (FIT …, 2019 | 26 | 2019 |
Extending Petri net to reduce control strategies of railway interlocking system SA Khan, NA Zafar, F Ahmad, S Islam Applied Mathematical Modelling 38 (2), 413-424, 2014 | 26 | 2014 |
Modelling of graph-based smart parking system using internet of things S Latif, H Afzaal, NA Zafar 2018 International Conference on Frontiers of Information Technology (FIT), 7-12, 2018 | 25 | 2018 |
Formal model for moving block railway interlocking system based on un-directed topology NA Zafar 2006 International Conference on Emerging Technologies, 217-223, 2006 | 22 | 2006 |