Muhammad Ahmad Zafar

According to our database, Muhammad Ahmad Zafar authored at least 2 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2018

Sol2js: Translating Solidity Contracts into Javascript for Hyperledger Fabric.

Muhammad Ahmad Zafar, Falak Sher, Muhammad Umar Janjua, Salman Baset

Proceedings of the 2nd Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 2018