Mohammad Hamdaqa

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 37

Top Venues

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4. CoRR (2024)
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
Preventing Out-of-Gas Exceptions by Typing. CoRR (2024)
Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse, Ed Zulkoski, Mohammad Hamdaqa, Foutse Khomh
A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter. CoRR (2024)
Mahsa Panahandeh, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa, James Miller
ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics. J. Syst. Softw. 209 (2024)
Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability. CoRR (2024)
Majd Soud, Grischa Liebel, Mohammad Hamdaqa
A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses. Empir. Softw. Eng. 29 (1) (2024)
Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4. FORGE (2024)
Majd Soud, Gísli Hjálmtýsson, Mohammad Hamdaqa
Dissecting Smart Contract Languages: A Survey. CoRR (2023)
Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
On Codex Prompt Engineering for OCL Generation: An Empirical Study. MSR (2023)
Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study. CoRR (2023)
Majd Soud, Ilham A. Qasse, Grischa Liebel, Mohammad Hamdaqa
AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes. SEAA (2023)
Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
On Codex Prompt Engineering for OCL Generation: An Empirical Study. CoRR (2023)
Maged Elaasar, Nicolas Rouquette, David Wagner, Bentley James Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa
openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering. MoDELS (Companion) (2023)
Majd Soud, Grischa Liebel, Mohammad Hamdaqa
PrAIoritize: Learning to Prioritize Smart Contract Bugs and Vulnerabilities. CoRR (2023)
Alexandre Verdet, Mohammad Hamdaqa, Leuson Da Silva, Foutse Khomh
Exploring Security Practices in Infrastructure as Code: An Empirical Study. CoRR (2023)
Benedikt Sigurleifsson, Nafisa Ahmed, Alexandre Verdet, Mohammad Hamdaqa, Mohamed Sabri, Isael Pelletier
An approach for modeling the operational requirements of FaaS applications for optimal deployment. Inf. Softw. Technol. 161 (2023)
Ilham A. Qasse, Shailesh Mishra, Björn Þór Jónsson, Foutse Khomh, Mohammad Hamdaqa
Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts. SSE (2023)
Majd Soud, Grischa Liebel, Mohammad Hamdaqa
A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities. CoRR (2022)
Aurel Ikama, Vincent Du, Philippe Belias, Biruk Asmare Muse, Foutse Khomh, Mohammad Hamdaqa
Revisiting the Impact of Anti-patterns on Fault-Proneness: A Differentiated Replication. SCAM (2022)
Majd Soud, Ilham A. Qasse, Grischa Liebel, Mohammad Hamdaqa
AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes. CoRR (2022)
Mohammad Hamdaqa, Lucas Alberto Pineda Met, Ilham Ahmed Qasse
iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Inf. Softw. Technol. 144 (2022)
Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Korosh Koochekian Sabor, Mohammad Hamdaqa, Haipeng Cai
EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields. CoRR (2021)
Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Korosh Koochekian Sabor, Mohammad Hamdaqa, Haipeng Cai
EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields. SANER (2021)
Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation. CoRR (2021)
Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj
MUPPIT: a method for using proper patterns in model transformations. Softw. Syst. Model. 20 (5) (2021)
Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation. BotSE@ICSE (2021)
Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts. CoRR (2021)
Mohammad Hamdaqa, Lucas Alberto Pineda Metz, Ilham A. Qasse
iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms. SAM (2020)
Rui Zhou, Mohammad Hamdaqa, Haipeng Cai, Abdelwahab Hamou-Lhadj
MobiLogLeak: A Preliminary Study on Data Leakage Caused by Poor Logging Practices. SANER (2020)
Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
Automatic prediction of the severity of bugs using stack traces and categorical features. Inf. Softw. Technol. 123 (2020)
Majd Soud, Sigurður Helgason, Gísli Hjálmtýsson, Mohammad Hamdaqa
TrustVote: On Elections We Trust with Distributed Ledgers and Smart Contracts. BRAINS (2020)
Friorik P. Hjalmarsson, Gunnlaugur K. Hreioarsson, Mohammad Hamdaqa, Gísli Hjálmtýsson
Blockchain-Based E-Voting System. IEEE CLOUD (2018)
Daniel Brur Sigurgeirsson, Marta Lárusdóttir, Mohammad Hamdaqa, Mats Daniels, Björn Þór Jónsson
Learning Outcome Outcomes: An Evaluation of Quality. FIE (2018)
Atli F. Einarsson, Patrekur Patreksson, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
SmartHomeML: Towards a Domain-Specific Modeling Language for Creating Smart Home Applications. ICIOT (2017)
Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
Automatic prediction of the severity of bugs using stack traces. CASCON (2016)
Mohammad Hamdaqa, Ladan Tahvildari
StratusPM: An Analytical Performance Model for Cloud Applications. MESOCA (2016)
Neda Ebrahimi Koopaei, Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa
An effective method for detecting duplicate crash reports using crash traces and hidden Markov models. CASCON (2016)
Mohammad Hamdaqa, Ladan Tahvildari
Stratus ML: A Layered Cloud Modeling Framework. IC2E (2015)
Mohammad Hamdaqa, Mohamed M. Sabri, Akshay Singh, Ladan Tahvildari
Adoop: MapReduce for ad-hoc cloud computing. CASCON (2015)
Mohammad Hamdaqa
A Bird's-Eye View on Modelling Malleable Multi-cloud Applications. IC2E (2015)
Mohammad Hamdaqa, Ladan Tahvildari
Prison Break: A Generic Schema Matching Solution to the Cloud Vendor Lock-in Problem. MESOCA (2014)
Mohammad Hamdaqa, Ladan Tahvildari
The (5+1) architectural view model for cloud applications. CASCON (2014)
Mohammad Hamdaqa, Ladan Tahvildari, Neil LaChapelle, Brian Campbell
Cultural scene detection using reverse Louvain optimization. Sci. Comput. Program. 95 (2014)
Mohammad Hamdaqa, Ladan Tahvildari
Cloud Computing Uncovered: A Research Landscape. Adv. Comput. 86 (2012)
Mohammad Hamdaqa, Tassos Livogiannis, Ladan Tahvildari
A Reference Model for Developing Cloud Applications. CLOSER (2011)
Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
An approach based on citation analysis to support effective handling of regulatory compliance. Future Gener. Comput. Syst. 27 (4) (2011)
Mohammad Hamdaqa, Ladan Tahvildari
ReLACK: A Reliable VoIP Steganography Approach. SSIRI (2011)
Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
Citation Analysis: An Approach for Facilitating the Understanding and the Analysis of Regulatory Compliance Documents. ITNG (2009)

Mohammad Hamdaqa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohammad Hamdaqa