Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Affan Rauf
Observed name:
Rauf, Affan
Institution:
National University of Computer and Emerging Sciences
Observed institutions:
National University of Computer and Emerging Sciences,
Lahore University of Management Sciences,
National University of Sciences and Technology
ORCID:
0000-0002-6505-8268
Observed ORCID:
0000-0002-6505-8268
OpenAlex ID:
A5000414105
Prospects towards sustainability: A comparative study to evaluate the environmental performance of brick making kilns in Pakistan
2022
·
Affan Rauf
, Sehar Shakir
, et al.
·
Environmental Impact Assessment Review
·
31
Advances in Software Model Checking
2017
·
Junaid H. Siddiqui
, Affan Rauf
, et al.
·
Advances in computers
·
4
Effective State Encoding for Breadth-First Generation of Complex Structures
2019
·
Affan Rauf
, Muhammad Nawaz
, et al.
·
IEEE Transactions on Reliability
·
1
Efficient iterative deepening for bounded exhaustive generation of complex structures
2018
·
Affan Rauf
, Muhammad Nawaz
, et al.
·
1
Replication package for HCCRQRLLMGUT
2026
·
Rauf, Affan
·
Zenodo (CERN European Organization for Nuclear Research)
Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts
2026
·
Wahid, Muhammad
, Khan, Shahzaib
, et al.
·
arXiv (Cornell University)
PDF
Modified Mythril
2026
·
Rauf, Affan
, Ahmad, Muhammad Ali Hassan
·
Zenodo (CERN European Organization for Nuclear Research)
Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction
2026
·
Muhammad Ali Hassan Ahmad
, Muhammad Hashim Ali
, et al.
·
SSRN Electronic Journal
Chapter Two - Advances in Software Model Checking.
2018
·
Junaid Haroon Siddiqui
, Affan Rauf
, et al.
·
Advances in computers
Show more works
View as search
Works count:
9
Citation count:
37
H-index:
2
I10-index:
1
Year
Topic
Type
