Publications

Book(s)

1. Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. Springer International Publishing, 2021. https://www.springer.com/gp/book/9783030784089

Book Chapter

1. Asad Ahmed., Osman Hasan, Falah Awwad. (2019) Formal Stability Analysis of Control Systems. In: Artho C., Ölveczky P. (eds) Formal Techniques for Safety-Critical Systems. FTSCS 2018. Communications in Computer and Information Science, vol 1008. Springer, Cham. https://doi.org/10.1007/978-3-030-12988-0_1

2. Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Interactive Theorem Proving, pages 23–29. Springer International Publishing, Cham, 2021

3.  Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formalization of Stability Theory, pages 31–45. Springer International Publishing, Cham, 2021

4. Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formalization of Cost and Utility in Microeconomics, pages 47–60. Springer International Publishing, Cham

5. Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formalization of Asymptotic Notations, pages 61–76. Springer International Publishing, Cham, 2021

Journals

1. Diego Marmsoler, Asad Ahmed, and Achim D Brucker. Smart Contracts with Isabelle/Solidity. Journal of Software and Systems Modeling, 2024. [Accepted for special section]

2. Ehtisham Ul Haque, M. Shamim Baig, Asad Ahmed, Ashfaq Ahmad, Masoud Alajmi, Yazeed Yasin Ghadi, Hend Khalid Alkahtani, Ainur Akhmediyarova: Scalable EdgeIoT Blockchain Framework Using EOSIO. IEEE Access 12: 41763-41772 (2024)

3. Asad Ahmed, Osman Hasan, Falah Awwad, and Nabil Bastaki. Formalization of Cost and Utility in Microeconomics. Energies, 13(3):712, 2020

4. Asad Ahmed, Osman Hasan, and Ammar Hasan. Formal Periodic Steady-State Analysis of Power Converters in Time-Domain. The Journal of Applied Logics- IfCoLog Journal, 6(3):447,November 2019 

5. Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki, Syed Rafay Hasan, et al. Formal Asymptotic Analysis of Online Scheduling Algorithms for Plug-In Electric Vehicles’ Charging. Energies, 12(1):1-20, 2018

Conferences and Workshops

1. Asad Ahmed and Diego Marmsoler, . Isabell/Solidity: A tool for the Verification of Solidity Smart Contracts . In 6th International Workshop on Formal Methods for Blockchains, 2024 [Submitted]

2. Diego Marmsoler, Asad Ahmed, and Achim D Brucker. Secure Smart Contracts with Isabelle/Solidity. In International Conference on Software Engineering and Formal Methods, pages 162–181. Springer, 2024

3. Asad Ahmed, Osman Hasan, and Falah Awwad. Formal Stability Analysis of Control Systems. In 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), Gold Coast, Australia, November 16, 2018, pages 3-17. Springer, 2018.

4.  Asad Ahmed, Osman Hasan, Sofiene Tahar, and Amr Mohamed. Formal verification of energy consumption for an EEG monitoring wireless body area sensor network. In 10th IEEE  International Conference on Open Source Systems and Technologies (ICOSST-2016), 15th Thursday-17th Saturday December, 2016, Al-Khawarizmi Institute of computer Science, UET, Lahore, Pakistan, pages 18-22. IEEE, 2016.

5.  Asad Ahmed, Adnan Rashid, and Sohail Iqbal. Analysis of Weather Forecasting Model in PRISM. In 12th International Conference on Frontiers of Information Technology (FIT-14), Dec 17 - 19, 2014 at Islamabad Pakistan, pages 355-360. IEEE, 2014, pages 355-360. IEEE, 2014