Falak Sher

According to our database, Falak Sher authored at least 14 papers between 2002 and 2021.

Collaborative distances:

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

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, Falak Sher, Muhammad Hassan

Comput. Secur., 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

2019

Using Blockchain to Rein in the New Post-Truth World and Check the Spread of Fake News.

Adnan Qayyum, Junaid Qadir, Muhammad Umar Janjua, Falak Sher

IT Prof., 2019

Wealth Distribution and Link Predictability in Ethereum.

Zeeshan Muzammal, Muhammad Umar Janjua, Waseem Abbas, Falak Sher

Proceedings of the 2019 IEEE/WIC/ACM International Conference on Web Intelligence, 2019

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

Proceedings of the Intelligent Technologies and Applications, 2019

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

2017

Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.

Joost-Pieter Katoen, Falak Sher

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2015

Abstraction and refinement of probabilistic automata using modal stochastic games.

Falak Sher

PhD thesis, 2015

Modelling and statistical model checking of a microgrid.

Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec

Int. J. Softw. Tools Technol. Transf., 2015

2014

Tight Game Abstractions of Probabilistic Automata.

Falak Sher Vira, Joost-Pieter Katoen

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Abstract Probabilistic Automata.

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski

Inf. Comput., 2013

2012

Compositional Abstraction Techniques for Probabilistic Automata.

Falak Sher, Joost-Pieter Katoen

Proceedings of the Theoretical Computer Science, 2012

2011

New Results on Abstract Probabilistic Automata.

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2002

CEJVM: "Cluster Enabled Java Virtual Machine".

Muhammad Umar Janjua, Muhammad Mehboob Yasin, Ch. Falak Sher, K. Awan, I. Hassan

Proceedings of the 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 2002