Seguir
Falak Sher Vira
Falak Sher Vira
DGB Technologies LLC
Email confirmado em dgbtek.com - Página inicial
Título
Citado por
Citado por
Ano
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
802019
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
International Workshop on Verification, Model Checking, and Abstract …, 2011
612011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
292013
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
222011
Compositional abstraction techniques for probabilistic automata
F Sher, JP Katoen
IFIP International Conference on Theoretical Computer Science, 325-341, 2012
152012
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
112021
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
112018
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 (4), 537-554, 2015
72015
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
Wealth Distribution and Link Predictability in Ethereum.
Z Muzammal, MU Janjua, W Abbas, F Sher
WI (Companion), 184-192, 2019
12019
Modal Stochastic Games
JP Katoen, F Sher
Models, Algorithms, Logics and Tools, 426-445, 2017
12017
Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games.
F Sher
RWTH Aachen University, 2015
12015
Tight Game Abstractions of Probabilistic Automata
F Sher, JP Katoen
CONCUR 8704, 576-591, 0
1
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
2021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–14