Mohammad Hamdaqa

74 papers A* 1A 10B 3C 3Journal 38Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing. CoRR Dmytro Humeniuk, Mohammad Hamdaqa, Houssem Ben Braiek, Amel Bennaceur, Foutse Khomh
2026	J	`jnl`	Immutable in principle, upgradeable by design: exploratory study of smart contract upgradeability. Empir. Softw. Eng. Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2026	J	`jnl`	Mining the YARA Ecosystem: From Ad-Hoc Sharing to Data-Driven Threat Intelligence. CoRR Dectot-Le Monnier de Gouville Esteban, Mohammad Hamdaqa, Moataz Chouchen
2026	J	`jnl`	Secure Tool Manifest and Digital Signing Solution for Verifiable MCP and LLM Pipelines. CoRR Saeid Jamshidi, Kawser Wazed Nafi, Arghavan Moradi Dakhel, Foutse Khomh, Amin Nikanjam, Mohammad Hamdaqa
2025	J	`jnl`	Assessing the adoption of security policies by developers in terraform across different cloud providers. Empir. Softw. Eng. Alexandre Verdet, Mohammad Hamdaqa, Léuson M. P. da Silva, Foutse Khomh
2025	A	`conf`	CCCI: Code Completion with Contextual Information for Complex Data Transfer Tasks Using Large Language Models. EASE Hangzhan Jin, Mohammad Hamdaqa
2025	J	`jnl`	CCCI: Code Completion with Contextual Information for Complex Data Transfer Tasks Using Large Language Models. CoRR Hangzhan Jin, Mohammad Hamdaqa
2025	J	`jnl`	Correction to: Assessing the adoption of security policies by developers in terraform across different cloud providers. Empir. Softw. Eng. Alexandre Verdet, Mohammad Hamdaqa, Léuson M. P. da Silva, Foutse Khomh
2025	A	`conf`	EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution. MSR Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2025	J	`jnl`	EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution. CoRR Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2025	J	`jnl`	From Code Smells to Best Practices: Tackling Resource Leaks in PyTorch, TensorFlow, and Keras. CoRR Bashar Abdallah, Martyna E. Wojciechowska, Gustavo Santos, Edmand Yu, Maxime Lamothe, Alain Abran, Mohammad Hamdaqa
2025	—	`conf`	Model-Based Systems Engineering Perspectives: A Survey of Practitioner Experiences and Challenges. MODELS-C Maged Elaasar, Abdelwahab Hamou-Lhadj, Bentley Oakes, Mohammad Hamdaqa
2025	A	`conf`	PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization. EASE Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski
2025	J	`jnl`	PRIMG : Efficient LLM-driven Test Generation Using Mutant Prioritization. CoRR Mohamed Salah Bouafif, Mohammad Hamdaqa, Edward Zulkoski
2025	A*	`conf`	PROXiFY: A Bytecode Analysis Tool for Detecting and Classifying Proxy Contracts in Ethereum Smart Contracts. ASE Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2025	J	`jnl`	RL Fine-Tuning Heals OOD Forgetting in SFT. CoRR Hangzhan Jin, Sitao Luan, Sicheng Lyu, Guillaume Rabusseau, Reihaneh Rabbany, Doina Precup, Mohammad Hamdaqa
2025	J	`jnl`	RL Is Neither a Panacea Nor a Mirage: Understanding Supervised vs. Reinforcement Learning Fine-Tuning for LLMs. CoRR Hangzhan Jin, Sicheng Lv, Sifan Wu, Mohammad Hamdaqa
2025	J	`jnl`	Refactoring with LLMs: Bridging Human Expertise and Machine Understanding. CoRR Yonnel Chen Kuang Piao, Jean Carlors Paul, Léuson M. P. da Silva, Arghavan Moradi Dakhel, Mohammad Hamdaqa, Foutse Khomh
2025	A	`conf`	SMATCH-M-LLM: Semantic Similarity in Metamodel Matching With Large Language Models. MSR Nafisa Ahmed, Hin Chi Kwok, Mohammad Hamdaqa, Wesley K. G. Assunção
2025	A	`conf`	Smells-sus: Sustainability Smells in IaC. MSR Seif Kosbar, Mohammad Hamdaqa
2025	J	`jnl`	Smells-sus: Sustainability Smells in IaC. CoRR Seif Kosbar, Mohammad Hamdaqa
2025	J	`jnl`	The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability. CoRR Ilham A. Qasse, Ali Meghdari, Nafisa Ahmed, Mohammad Hamdaqa, Björn Þór Jónsson
2024	J	`jnl`	A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter. CoRR Mohamed Salah Bouafif, Chen Zheng, Ilham Ahmed Qasse, Ed Zulkoski, Mohammad Hamdaqa, Foutse Khomh
2024	J	`jnl`	A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses. Empir. Softw. Eng. Majd Soud, Grischa Liebel, Mohammad Hamdaqa
2024	A	`conf`	EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling. MODELS Bruno Curzi-Laliberté, Marios Fokaefs, Michalis Famelis, Mohammad Hamdaqa
2024	J	`jnl`	Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability. CoRR Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2024	—	`conf`	PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4. FORGE Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
2024	J	`jnl`	PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4. CoRR Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
2024	—	`conf`	Preventing Out-of-Gas Exceptions by Typing. ISoLA (1) Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024	J	`jnl`	Preventing Out-of-Gas Exceptions by Typing. CoRR Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024	J	`jnl`	ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics. J. Syst. Softw. Mahsa Panahandeh, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa, James Miller
2024	A	`conf`	Toward Intelligent Generation of Tailored Graphical Concrete Syntax. MODELS Meriem Ben Chaaben, Oussama Ben Sghaier, Mouna Dhaouadi, Nafisa Elrasheed, Ikram Darif, Imen Jaoua, Bentley Oakes, Eugene Syriani, Mohammad Hamdaqa
2023	J	`jnl`	An approach for modeling the operational requirements of FaaS applications for optimal deployment. Inf. Softw. Technol. Benedikt Sigurleifsson, Nafisa Ahmed, Alexandre Verdet, Mohammad Hamdaqa, Mohamed Sabri, Isael Pelletier
2023	B	`conf`	AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes. SEAA Majd Soud, Ilham A. Qasse, Grischa Liebel, Mohammad Hamdaqa
2023	—	`conf`	Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts. SSE Ilham A. Qasse, Shailesh Mishra, Björn Þór Jónsson, Foutse Khomh, Mohammad Hamdaqa
2023	J	`jnl`	Dissecting Smart Contract Languages: A Survey. CoRR Majd Soud, Gísli Hjálmtýsson, Mohammad Hamdaqa
2023	J	`jnl`	Exploring Security Practices in Infrastructure as Code: An Empirical Study. CoRR Alexandre Verdet, Mohammad Hamdaqa, Léuson M. P. da Silva, Foutse Khomh
2023	A	`conf`	On Codex Prompt Engineering for OCL Generation: An Empirical Study. MSR Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
2023	J	`jnl`	On Codex Prompt Engineering for OCL Generation: An Empirical Study. CoRR Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
2023	J	`jnl`	PrAIoritize: Learning to Prioritize Smart Contract Bugs and Vulnerabilities. CoRR Majd Soud, Grischa Liebel, Mohammad Hamdaqa
2023	J	`jnl`	Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study. CoRR Ilham A. Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
2023	—	`conf`	openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering. MoDELS (Companion) Maged Elaasar, Nicolas Rouquette, David A. Wagner, Bentley Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa
2022	J	`jnl`	A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities. CoRR Majd Soud, Grischa Liebel, Mohammad Hamdaqa
2022	J	`jnl`	AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes. CoRR Majd Soud, Ilham A. Qasse, Grischa Liebel, Mohammad Hamdaqa
2022	C	`conf`	Revisiting the Impact of Anti-patterns on Fault-Proneness: A Differentiated Replication. SCAM Aurel Ikama, Vincent Du, Philippe Belias, Biruk Asmare Muse, Foutse Khomh, Mohammad Hamdaqa
2022	J	`jnl`	iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Inf. Softw. Technol. Mohammad Hamdaqa, Lucas Alberto Pineda Met, Ilham Ahmed Qasse
2021	J	`jnl`	Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts. CoRR Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
2021	A	`conf`	EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields. SANER Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Korosh Koochekian Sabor, Mohammad Hamdaqa, Haipeng Cai
2021	J	`jnl`	EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields. CoRR Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Korosh Koochekian Sabor, Mohammad Hamdaqa, Haipeng Cai
2021	J	`jnl`	MUPPIT: a method for using proper patterns in model transformations. Softw. Syst. Model. Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj
2021	—	`conf`	iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation. BotSE@ICSE Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
2021	J	`jnl`	iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation. CoRR Ilham A. Qasse, Shailesh Mishra, Mohammad Hamdaqa
2020	J	`jnl`	Automatic prediction of the severity of bugs using stack traces and categorical features. Inf. Softw. Technol. Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
2020	A	`conf`	MobiLogLeak: A Preliminary Study on Data Leakage Caused by Poor Logging Practices. SANER Rui Zhou, Mohammad Hamdaqa, Haipeng Cai, Abdelwahab Hamou-Lhadj
2020	—	`conf`	TrustVote: On Elections We Trust with Distributed Ledgers and Smart Contracts. BRAINS Majd Soud, Sigurður Helgason, Gísli Hjálmtýsson, Mohammad Hamdaqa
2020	—	`conf`	iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms. SAM Mohammad Hamdaqa, Lucas Alberto Pineda Metz, Ilham A. Qasse
2018	—	`conf`	Blockchain-Based E-Voting System. IEEE CLOUD Friorik P. Hjalmarsson, Gunnlaugur K. Hreioarsson, Mohammad Hamdaqa, Gísli Hjálmtýsson
2018	C	`conf`	Learning Outcome Outcomes: An Evaluation of Quality. FIE Daniel Brur Sigurgeirsson, Marta Lárusdóttir, Mohammad Hamdaqa, Mats Daniels, Björn Þór Jónsson
2017	—	`conf`	SmartHomeML: Towards a Domain-Specific Modeling Language for Creating Smart Home Applications. ICIOT Atli F. Einarsson, Patrekur Patreksson, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
2016	—	`—`	An Integrated Modeling Framework for Managing the Deployment and Operation of Cloud Applications. Mohammad Hamdaqa
2016	—	`conf`	An effective method for detecting duplicate crash reports using crash traces and hidden Markov models. CASCON Neda Ebrahimi Koopaei, Md. Shariful Islam, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa
2016	—	`conf`	Automatic prediction of the severity of bugs using stack traces. CASCON Korosh Koochekian Sabor, Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
2016	—	`conf`	StratusPM: An Analytical Performance Model for Cloud Applications. MESOCA Mohammad Hamdaqa, Ladan Tahvildari
2015	B	`conf`	A Bird's-Eye View on Modelling Malleable Multi-cloud Applications. IC2E Mohammad Hamdaqa
2015	—	`conf`	Adoop: MapReduce for ad-hoc cloud computing. CASCON Mohammad Hamdaqa, Mohamed M. Sabri, Akshay Singh, Ladan Tahvildari
2015	B	`conf`	Stratus ML: A Layered Cloud Modeling Framework. IC2E Mohammad Hamdaqa, Ladan Tahvildari
2014	J	`jnl`	Cultural scene detection using reverse Louvain optimization. Sci. Comput. Program. Mohammad Hamdaqa, Ladan Tahvildari, Neil LaChapelle, Brian Campbell
2014	—	`conf`	Prison Break: A Generic Schema Matching Solution to the Cloud Vendor Lock-in Problem. MESOCA Mohammad Hamdaqa, Ladan Tahvildari
2014	—	`conf`	The (5+1) architectural view model for cloud applications. CASCON Mohammad Hamdaqa, Ladan Tahvildari
2012	J	`jnl`	Cloud Computing Uncovered: A Research Landscape. Adv. Comput. Mohammad Hamdaqa, Ladan Tahvildari
2011	C	`conf`	A Reference Model for Developing Cloud Applications. CLOSER Mohammad Hamdaqa, Tassos Livogiannis, Ladan Tahvildari
2011	J	`jnl`	An approach based on citation analysis to support effective handling of regulatory compliance. Future Gener. Comput. Syst. Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj
2011	—	`conf`	ReLACK: A Reliable VoIP Steganography Approach. SSIRI Mohammad Hamdaqa, Ladan Tahvildari
2009	—	`conf`	Citation Analysis: An Approach for Facilitating the Understanding and the Analysis of Regulatory Compliance Documents. ITNG Mohammad Hamdaqa, Abdelwahab Hamou-Lhadj