Falak Sher - RankMe

15 papers B 1Journal 5Unranked 8

Year	Rank	Type	Title / 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