Nazir Ahmad Zafar

According to our database1, Nazir Ahmad Zafar authored at least 29 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Verification of Justification and Finalization in Beacon Chain.
IEEE Access, 2024

2023
Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker.
Proceedings of the International Conference on Frontiers of Information Technology, 2023

2022
Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.
Proceedings of the International Conference on Frontiers of Information Technology, 2022

2021
Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System.
Proceedings of the International Conference on Frontiers of Information Technology, 2021

IoT-based Formal Modelling of emergency message dissemination scheme for VANETs.
Proceedings of the International Conference on Frontiers of Information Technology, 2021

2019
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.
Proceedings of the International Conference on Frontiers of Information Technology, 2019

2018
Modelling of Graph-Based Smart Parking System Using Internet of Things.
Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2017
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks.
Int. J. Distributed Sens. Networks, 2017

Formal model of earthquake disaster mitigation and management system.
Complex Adapt. Syst. Model., 2017

Modeling of IoT-based border protection system.
Proceedings of the First International Conference on Latest trends in Electrical Engineering and Computing Technologies, 2017

Modeling of Sewerage System Using Internet of Things for Smart City.
Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

2016
Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications.
Wirel. Networks, 2016

Formal specification and analysis of take-off procedure using VDM-SL.
Complex Adapt. Syst. Model., 2016

Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network.
Complex Adapt. Syst. Model., 2016

Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph.
Proceedings of the International Conference on Frontiers of Information Technology, 2016

Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs.
Proceedings of the International Conference on Frontiers of Information Technology, 2016

2015
Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL.
Proceedings of the 13th International Conference on Frontiers of Information Technology, 2015

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.
Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

2014
Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs.
Int. J. Distributed Sens. Networks, 2014

Applicability of Integrating Automata and Z: A Case Study.
Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014

2013
Modeling and Verification of Call Setup Dynamics of LTE Communication Systems.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks.
Sensors, 2012

2010
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata.
J. Softw. Eng. Appl., 2010

2009
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata.
J. Softw. Eng. Appl., 2009

Formal specification and validation of railway network components using Z notation.
IET Softw., 2009

Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns.
Proceedings of the International Conference on Computer Modeling and Simulation, 2009

2008
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns.
Proceedings of the Innovations and Advances in Computer Sciences and Engineering, 2008


  Loading...