Author

Muhammad Hassan

h-index 11 View on Semantic Scholar

We have 3 of 59 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction

A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. Th...

M. Ahmad, M. Ali, M. Amer et al. · 0 citations

Conference Sep 2026

Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

A reliability-oriented framework for LLM-assisted verification artifact generation in EDA is proposed, integrating contextual grounding, structured generation, and verification-aware feedback to improve artifact quality across multiple abstraction levels.

Khushboo Qayyum, Qurrat Ul Ain, Muhammad Hassan et al. · Coins · 0 citations

Modular End-to-End Pipeline for Formal Property Verification using Large Language Models

A modular, end-to-end pipeline for FPV using Large Language Models is introduced and results show that the assertion pass rate can be improved by more than 2x and formal coverage can be improved by 86% with this pipeline compared to the baseline.

Luca M¨uller, C. Jha, Benjamin Arlt et al. · 0 citations