Falak Sher

15 papers B 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2024 — conf
Modular Criticality Analysis for Dynamic Fault Trees.
Principles of Verification (3)
Falak Sher, Mariëlle Stoelinga, Matthias Volk
2021 J jnl
EthReview: An Ethereum-based Product Review System for Mitigating Rating Frauds.
Comput. Secur.
Maryam Zulfiqar, Filza Tariq, Muhammad Umar Janjua, Adnan Noor Mian, Adnan Qayyum, Junaid Qadir, Falak Sher, Muhammad Hassan
2021 — conf
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees.
LADC
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Muhammad Ahmad Zafar, Falak Sher
2019 — conf
Multi-aspects Intelligent Requirements Prioritization Technique for Value Based Software Systems.
INTAP
Falak Sher, Dayang N. A. Jawawi, Radziah Mohamad, Muhammad Imran Babar, Rafaqat Kazmi, Muhammad Arif Shah
2019 J jnl
Using Blockchain to Rein in The New Post-Truth World and Check The Spread of Fake News.
CoRR
Adnan Qayyum, Junaid Qadir, Muhammad Umar Janjua, Falak Sher
2019 J jnl
Using Blockchain to Rein in the New Post-Truth World and Check the Spread of Fake News.
IT Prof.
Adnan Qayyum, Junaid Qadir, Muhammad Umar Janjua, Falak Sher
2019 — conf
Wealth Distribution and Link Predictability in Ethereum.
WI (Companion)
Zeeshan Muzammal, Muhammad Umar Janjua, Waseem Abbas, Falak Sher
2018 — conf
Sol2js: Translating Solidity Contracts into Javascript for Hyperledger Fabric.
SERIAL@Middleware
Muhammad Ahmad Zafar, Falak Sher, Muhammad Umar Janjua, Salman Baset
2017 — conf
Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.
Models, Algorithms, Logics and Tools
Joost-Pieter Katoen, Falak Sher
2015 — —
Abstraction and refinement of probabilistic automata using modal stochastic games.
Falak Sher
2015 J jnl
Modelling and statistical model checking of a microgrid.
Int. J. Softw. Tools Technol. Transf.
Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec
2013 J jnl
Abstract Probabilistic Automata.
Inf. Comput.
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2012 — conf
Compositional Abstraction Techniques for Probabilistic Automata.
IFIP TCS
Falak Sher, Joost-Pieter Katoen
2011 B conf
Abstract Probabilistic Automata.
VMCAI
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski
2011 — conf
New Results on Abstract Probabilistic Automata.
ACSD
Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski