Falak Sher

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 9

Top Venues

INTAP

CoRR

Int. J. Softw. Tools Technol. Transf.

Comput. Secur.

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Falak Sher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Falak Sher