Sol2js: Translating Solidity Contracts into Javascript for Hyperledger Fabric. - Muhammad Ahmad Zafar; Falak Sher; Muhammad Umar Janjua; Salman Baset (SERIAL@Middleware, 2018)

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. - Shahid Khan 002; Joost-Pieter Katoen; Matthias Volk 001; Muhammad Ahmad Zafar; Falak Sher (LADC, 2021)