Asad Ahmed

13 papers A* 1B 2Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL.
Arch. Formal Proofs
Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2025 — conf
Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper).
FMBC
Asad Ahmed, Diego Marmsoler
2024 J jnl
Scalable EdgeIoT Blockchain Framework Using EOSIO.
IEEE Access
Ehtisham Ul Haque, M. Shamim Baig, Asad Ahmed, Ashfaq Ahmad, Masoud Alajmi, Yazeed Yasin Ghadi, Hend Khalid Alkahtani, Ainur Akhmediyarova
2024 B conf
Secure Smart Contracts with Isabelle/Solidity.
SEFM
Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2019 J jnl
Formal Periodic Steady-State Analysis of Power Converters in Time-Domain.
FLAP
Asad Ahmed, Osman Hasan, Ammar Hasan
2019 J jnl
Formal Periodic Steady-state Analysis of Power Converters in Time-domain.
FLAP
Asad Ahmed, Osman Hasan, Ammar Hasan
2019 J jnl
VFNet: A Convolutional Architecture for Accent Classification.
CoRR
Asad Ahmed, Pratham Tangri, Anirban Panda, Dhruv Ramani, Samarjit Karmakar
2018 J jnl
Autoencoder Based Architecture For Fast & Real Time Audio Style Transfer.
CoRR
Dhruv Ramani, Samarjit Karmakar, Anirban Panda, Asad Ahmed, Pratham Tangri
2018 — conf
Formal Stability Analysis of Control Systems.
FTSCS
Asad Ahmed, Osman Hasan, Falah Awwad
2014 Misc conf
Analysis of Weather Forecasting Model in PRISM.
FIT
Asad Ahmed, Adnan Rashid, Sohail Iqbal
2011 A* conf
Learning in Repeated Games with Minimal Information: The Effects of Learning Bias.
AAAI
Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich
2008 — ch.
Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna's Modals.
The Unity of Science in the Arabic Tradition
Asad Ahmed
2007 B conf
WebVAT: Web Page Visualization and Analysis Tool.
ICWE
Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan