Asad Ahmed

According to our database, Asad Ahmed authored at least 11 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper).

Asad Ahmed, Diego Marmsoler

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

2024

Scalable EdgeIoT Blockchain Framework Using EOSIO.

Ehtisham Ul Haque, M. Shamim Baig, Asad Ahmed, Ashfaq Ahmad, Masoud Alajmi, Yazeed Yasin Ghadi, Hend Khalid Alkahtani, Ainur Akhmediyarova

IEEE Access, 2024

Secure Smart Contracts with Isabelle/Solidity.

Diego Marmsoler, Asad Ahmed, Achim D. Brucker

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2019

Formal Periodic Steady-state Analysis of Power Converters in Time-domain.

Asad Ahmed, Osman Hasan, Ammar Hasan

FLAP, 2019

VFNet: A Convolutional Architecture for Accent Classification.

Asad Ahmed, Pratham Tangri, Anirban Panda, Dhruv Ramani, Samarjit Karmakar

CoRR, 2019

2018

Autoencoder Based Architecture For Fast & Real Time Audio Style Transfer.

Dhruv Ramani, Samarjit Karmakar, Anirban Panda, Asad Ahmed, Pratham Tangri

CoRR, 2018

Formal Stability Analysis of Control Systems.

Asad Ahmed, Osman Hasan, Falah Awwad

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2014

Analysis of Weather Forecasting Model in PRISM.

Asad Ahmed, Adnan Rashid, Sohail Iqbal

Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014

2011

Learning in Repeated Games with Minimal Information: The Effects of Learning Bias.

Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2008

Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals.

Asad Ahmed

Proceedings of the Unity of Science in the Arabic Tradition, 2008

2007

WebVAT: Web Page Visualization and Analysis Tool.

Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan

Proceedings of the Web Engineering, 7th International Conference, 2007