Muhammad Ahmad Zafar

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Defect Detection

Multiresolution

Top Venues

SERIAL@Middleware

Publications

Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. LADC (2021)
Muhammad Ahmad Zafar, Falak Sher, Muhammad Umar Janjua, Salman Baset
Sol2js: Translating Solidity Contracts into Javascript for Hyperledger Fabric. SERIAL@Middleware (2018)