Using blockchain to rein in the new post-truth world and check the spread of fake news A Qayyum, J Qadir, MU Janjua, F Sher IT Professional 21 (4), 16-24, 2019 | 145 | 2019 |
Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 61 | 2011 |
Abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... Information and Computation 232, 66-116, 2013 | 33 | 2013 |
EthReview: An Ethereum-based product review system for mitigating rating frauds M Zulfiqar, F Tariq, MU Janjua, AN Mian, A Qayyum, J Qadir, F Sher, ... Computers & Security 100, 102094, 2021 | 23 | 2021 |
New results on abstract probabilistic automata B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ... 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 23 | 2011 |
Compositional abstraction techniques for probabilistic automata F Sher, JP Katoen IFIP International Conference on Theoretical Computer Science, 325-341, 2012 | 16 | 2012 |
Sol2js: translating solidity contracts into javascript for hyperledger fabric MA Zafar, F Sher, MU Janjua, S Baset Proceedings of the 2nd Workshop on Scalable and Resilient Infrastructures …, 2018 | 15 | 2018 |
Modelling and statistical model checking of a microgrid S Chakraborty, JP Katoen, F Sher, M Strelec International Journal on Software Tools for Technology Transfer 17, 537-554, 2015 | 8 | 2015 |
Clustered-enabled Java virtual machine (CEJVM) MU Janjua, M Yasin, F Sher, K Awan, I Hassan Cluster Computing, 2002. Proceedings. 2002 IEEE International Conference on …, 2002 | 5* | 2002 |
Modelling and analysis of fire sprinklers by verifying dynamic fault trees S Khan, JP Katoen, M Volk, A Zafar, F Sher 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-10, 2021 | 3 | 2021 |
Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games. F Sher RWTH Aachen University, 2015 | 2 | 2015 |
Wealth Distribution and Link Predictability in Ethereum. Z Muzammal, MU Janjua, W Abbas, F Sher WI (Companion), 184-192, 2019 | 1 | 2019 |
Modal stochastic games: abstraction-refinement of probabilistic automata JP Katoen, F Sher Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 1 | 2017 |
Tight game abstractions of probabilistic automata F Sher, JP Katoen CONCUR 8704, 576-591, 0 | 1 | |