CEJVM: "Cluster Enabled Java Virtual Machine". - Muhammad Umar Janjua; Muhammad Mehboob Yasin; Ch. Falak Sher; K. Awan; I. Hassan (CLUSTER, 2002)

New Results on Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (ACSD, 2011)

Compositional Abstraction Techniques for Probabilistic Automata. - Falak Sher; Joost-Pieter Katoen (IFIP TCS, 2012)

Abstract Probabilistic Automata. - Benoît Delahaye; Joost-Pieter Katoen; Kim G. Larsen; Axel Legay; Mikkel L. Pedersen; Falak Sher; Andrzej Wasowski (Inf. Comput., 2013)

Tight Game Abstractions of Probabilistic Automata. - Falak Sher Vira; Joost-Pieter Katoen (CONCUR, 2014)

Modelling and statistical model checking of a microgrid. - Souymodip Chakraborty; Joost-Pieter Katoen; Falak Sher; Martin Strelec (Int. J. Softw. Tools Technol. Transf., 2015)

Abstraction and refinement of probabilistic automata using modal stochastic games. - Falak Sher (2015)

Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. - Joost-Pieter Katoen; Falak Sher (Models, Algorithms, Logics and Tools, 2017)

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

Multi-aspects Intelligent Requirements Prioritization Technique for Value Based Software Systems. - Falak Sher; Dayang N. A. Jawawi; Radziah Mohamad; Muhammad Imran Babar; Rafaqat Kazmi; Muhammad Arif Shah (INTAP, 2019)

Wealth Distribution and Link Predictability in Ethereum. - Zeeshan Muzammal; Muhammad Umar Janjua; Waseem Abbas; Falak Sher (WI (Companion), 2019)

Using Blockchain to Rein in the New Post-Truth World and Check the Spread of Fake News. - Adnan Qayyum; Junaid Qadir 001; Muhammad Umar Janjua; Falak Sher (IT Prof., 2019)

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)

EthReview: An Ethereum-based Product Review System for Mitigating Rating Frauds. - Maryam Zulfiqar; Filza Tariq; Muhammad Umar Janjua; Adnan Noor Mian; Adnan Qayyum; Junaid Qadir 001; Falak Sher; Muhammad Hassan 001 (Comput. Secur., 2021)

Modular Criticality Analysis for Dynamic Fault Trees. - Falak Sher; Mariëlle Stoelinga; Matthias Volk 001 (Principles of Verification (3), 2024)