More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Nazir Ahmad Zafar

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AfzaalZTKI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AfzaalZTKI24
Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran:
Formal Verification of Justification and Finalization in Beacon Chain. IEEE Access 12: 55077-55102 (2024)
2023
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/RashidQRRRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/RashidQRRRZ23
Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar:
Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. FIT 2023: 262-267
2022
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/IqbalAZB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/IqbalAZB22
Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool:
Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox. FIT 2022: 153-158
2021
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/IqbalZA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/IqbalZA21
Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali:
IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. FIT 2021: 164-169
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/TehseenZA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/TehseenZA21
Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali:
Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. FIT 2021: 170-175

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/LatifRZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/LatifRZ19
Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar:
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+. FIT 2019: 304-309
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/LatifAZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/LatifAZ18
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar:
Modelling of Graph-Based Smart Parking System Using Internet of Things. FIT 2018: 7-12
2017
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/casm/ZafarA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/casm/ZafarA17
Nazir Ahmad Zafar, Hamra Afzaal:
Formal model of earthquake disaster mitigation and management system. Complex Adapt. Syst. Model. 5: 10 (2017)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijdsn/AfzaalZA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdsn/AfzaalZA17
Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan:
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. Int. J. Distributed Sens. Networks 13(4) (2017)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/LatifAZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/LatifAZ17
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar:
Modeling of Sewerage System Using Internet of Things for Smart City. FIT 2017: 46-51
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/intellec/AfzaalZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intellec/AfzaalZ17
Hamra Afzaal, Nazir Ahmad Zafar:
Modeling of IoT-based border protection system. INTELLECT 2017: 1-6
2016
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/casm/Zafar16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/casm/Zafar16
Nazir Ahmad Zafar:
Formal specification and analysis of take-off procedure using VDM-SL. Complex Adapt. Syst. Model. 4: 4 (2016)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/casm/AfzaalZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/casm/AfzaalZ16
Hamra Afzaal, Nazir Ahmad Zafar:
Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. Complex Adapt. Syst. Model. 4: 27 (2016)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/winet/ImranZAAV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/winet/ImranZAAV16
Muhammad Imran, Nazir Ahmad Zafar, Mohammed Abdullah Alnuem, Mehmet Sabih Aksoy, Athanasios V. Vasilakos:
Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications. Wirel. Networks 22(1): 247-265 (2016)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/AfzaalZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/AfzaalZ16
Hamra Afzaal, Nazir Ahmad Zafar:
Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs. FIT 2016: 147-152
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/JamalZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/JamalZ16
Maryam Jamal, Nazir Ahmad Zafar:
Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph. FIT 2016: 181-186
2015
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/euspn/RiazAIZA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euspn/RiazAIZA15
Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy:
Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. EUSPN/ICTH 2015: 148-153
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/AfzaalIZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/AfzaalIZ15
Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar:
Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. FIT 2015: 71-76
2014
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijdsn/AlnuemZIUF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdsn/AlnuemZIUF14
Mohammed Abdullah Alnuem, Nazir Ahmad Zafar, Muhammad Imran, Sana Ullah, Mahmoud S. Fayed:
Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs. Int. J. Distributed Sens. Networks 10 (2014)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fit/ZafarA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fit/ZafarA14
Nazir Ahmad Zafar, Fahad Alhumaidan:
Applicability of Integrating Automata and Z: A Case Study. FIT 2014: 103-108
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ChoudhryZA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ChoudhryZA13
Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar, Mohammed Al-Zahrani:
Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. COMPSAC Workshops 2013: 175-180
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ImranZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ImranZ12
Muhammad Imran, Nazir Ahmad Zafar:
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks. Sensors 12(9): 11754-11781 (2012)
2010
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsea/ZafarHA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsea/ZafarHA10
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali:
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 3(8): 803-812 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/Zafar09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/Zafar09
Nazir Ahmad Zafar:
Formal specification and validation of railway network components using Z notation. IET Softw. 3(4): 312-320 (2009)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsea/ZafarHA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsea/ZafarHA09
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali:
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 2(2): 77-85 (2009)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccms/SohailZSZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccms/SohailZSZ09
Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar:
Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns. ICCMS 2009: 167-172
2008
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cisse/SohailZSZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisse/SohailZSZ08
Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar:
Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns. SCSS (1) 2008: 313-318
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csse/ZafarHA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csse/ZafarHA08
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali:
Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. CSSE (2) 2008: 792-795
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/serp/ZafarSA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/ZafarSA08
Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali:
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages. Software Engineering Research and Practice 2008: 695-701

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.