Seguir
Falak Sher Vira
Falak Sher Vira
DGB Technologies LLC
Dirección de correo verificada de dgbtek.com - Página principal
Título
Citado por
Citado por
Año
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
1432019
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
612011
Abstract probabilistic automata
B Delahaye, JP Katoen, KG Larsen, A Legay, ML Pedersen, F Sher, ...
Information and Computation 232, 66-116, 2013
332013
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
232021
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
232011
Compositional abstraction techniques for probabilistic automata
F Sher, JP Katoen
IFIP International Conference on Theoretical Computer Science, 325-341, 2012
162012
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
152018
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
82015
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
32021
Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games.
F Sher
RWTH Aachen University, 2015
22015
Wealth Distribution and Link Predictability in Ethereum.
Z Muzammal, MU Janjua, W Abbas, F Sher
WI (Companion), 184-192, 2019
12019
Modal stochastic games: abstraction-refinement of probabilistic automata
JP Katoen, F Sher
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
12017
Tight game abstractions of probabilistic automata
F Sher, JP Katoen
CONCUR 8704, 576-591, 0
1
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–14