Verdet, A., Hamdaqa, M., Da Silva, L. M. P., & Khomh, F. (2025). Assessing the adoption of security policies by developers in terraform across different cloud providers. Empirical Software Engineering, 30(3).
Directory of Experts
Hamdaqa, Mohammad
Directory of Experts
Hamdaqa, Mohammad
Directory of Experts
Publications by date
Journal article (9)
Conference paper (27)
Book
Book chapter (1)
Patent
Report
Thesis (1)
Dataset (2)
Teaching resource
Image
Audio recording
Video recording
Other
Mohammad Hamdaqa (40)
- 2025 (1)
Journal article
- 2024 (6)
Journal article Soud, M., Liebel, G., & Hamdaqa, M. (2024). A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses. Empirical Software Engineering, 29(1), 45 pages.Conference paper Curzi-Laliberté, B., Fokaefs, M., Famelis, M., & Hamdaqa, M. (2024, September). EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling [Paper]. 27th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), Linz, Austria.Conference paper Abukhalaf, S., Hamdaqa, M., & Khomh, F. (2024, April). PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4 [Paper]. 1st IEEE/ACM International Conference on AI Foundation Models and Software Engineering (FORGE 2024), Lisbon, Portugal.Conference paper Aceto, L., Gorla, D., Lybech, S., & Hamdaqa, M. (2024, October). Preventing Out-of-Gas Exceptions by Typing [Paper]. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece.Journal article Panahandeh, M., Hamou-Lhadj, A., Hamdaqa, M., & Miller, J. (2024). ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics. Journal of Systems and Software, 209, 111917 (20 pages).Conference paper Chaaben, M. B., Sghaier, O. B., Dhaouadi, M., Elrasheed, N., Darif, I., Jaoua, I., Oakes, B. J., Syriani, E., & Hamdaqa, M. (2024, September). Toward Intelligent Generation of Tailored Graphical Concrete Syntax [Paper]. ACM/IEEE 27th International Conference on Model Driven Engineering Languages and System, Linz, Austria.
- 2023 (5)
Journal article Sigurleifsson, B., Ahmed, N., Verdet, A., Hamdaqa, M., Sabri, M., & Pelletier, I. (2023). An approach for modeling the operational requirements of FaaS applications for optimal deployment. Information and Software Technology, 161, 19 pages.Conference paper Soud, M., Qasse, I., Liebel, G., & Hamdaqa, M. (2023, September). AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes [Paper]. 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2023), Durres, Albania.Conference paper Qasse, I., Mishra, S., Jonsson, B. þ., Khomh, F., & Hamdaqa, M. (2023, July). Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts [Paper]. IEEE International Conference on Software Services Engineering (SSE 2023), Chicago, IL, USA.Conference paper Abukhalaf, S., Hamdaqa, M., & Khomh, F. On Codex Prompt Engineering for OCL Generation: An Empirical Study [Paper]. 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR 2023), Melbourne, Australia.Conference paper Elaasar, M., Rouquette, N., Wagner, D., Oakes, B., Hamou-Lhadj, A., & Hamdaqa, M. (2023, October). openCAESAR: Balancing agility and rigor in model-based systems engineering [Paper]. 5th Workshop on Artificial Intelligence and Model-driven Engineering Co-located with MODELS, Västerås, Sweden.
- 2022 (3)
Dataset Soud, M., Qasse, I., Liebel, G., & Hamdaqa, M. (2022). AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes [Dataset].Dataset Soud, M., Liebel, G., & Hamdaqa, M. (2022). Dataset: A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities [Dataset].Journal article Hamdaqa, M., Met, L. A. P., & Qasse, I. (2022). iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Information and Software Technology, 144, 14 pages.
- 2021 (3)
Conference paper Islam, M. S., Hamou-Lhadj, A., Koochekian-Sabor, K., Hamdaqa, M., & Cai, H. (2021, March). EnHMM: on the use of ensemble HMMs and stack traces to predict the reassignment of bug report fields [Paper]. 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), Honolulu, HI, USA (11 pages).Conference paper Qasse, I., Mishra, S., & Hamdaqa, M. (2021, June). iContractBot: A chatbot for Smart Contracts' Specification and Code Generation [Paper]. 3rd International Workshop on Bots in Software Engineering (BotSE 2021) (4 pages).Journal article Panahandeh, M., Hamdaqa, M., Zamani, B., & Hamou-Lhadj, A. (2021). MUPPIT: a method for using proper patterns in model transformations. Software and Systems Modeling, 20(5), 1491-1523.
- 2020 (4)
Journal article Sabor, K. K., Hamdaqa, M., & Hamou-Lhadj, A. (2020). Automatic prediction of the severity of bugs using stack traces and categorical features. Information and Software Technology, 123, 106205 (20 pages).Conference paper Hamdaqa, M., Metz, L. A. P., & Qasse, I. (2020, October). iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms [Paper]. 12th System Analysis and Modelling Conference (SAM 2020).Conference paper Zhou, R., Hamdaqa, M., Cai, H., & Hamou-Lhadj, A. (2020, February). MobiLogLeak: A Preliminary Study on Data Leakage Caused by Poor Logging Practices [Paper]. 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2020), London, ON, Canada.Conference paper Soud, M., Helgason, S., Hjálmtýsson, G., & Hamdaqa, M. (2020, September). TrustVote: On Elections We Trust with Distributed Ledgers and Smart Contracts [Paper]. 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2020), Paris, France.
- 2018 (2)
Conference paper Hjálmarsson, F. Þ., Hreiðarsson, G. K., Hamdaqa, M., & Hjálmtýsson, G. (2018, July). Blockchain-Based E-Voting System [Paper]. 11th IEEE International Conference on Cloud Computing (CLOUD 2018), San Francisco, CA, USA.Conference paper Sigurgeirsson, D. B., Larusdottir, M., Hamdaqa, M., Daniel, M., & Jónsson, B. Þ. (2018, October). Learning Outcome Outcomes: An Evaluation of Quality [Paper]. IEEE Frontiers in Education Conference (FIE 2018), San Jose, CA, USA (8 pages).
- 2017 (1)
Conference paper Einarsson, A. F., Patreksson, P., Hamdaqa, M., & Hamou-Lhadj, A. (2017, June). SmartHomeML: Towards a Domain-Specific Modeling Language for Creating Smart Home Applications [Paper]. IEEE International Congress on Internet of Things (ICIOT 2017), Honolulu, HI, USA.
- 2016 (4)
Conference paper Ebrahimi K., N., Islam, M. S., Hamou-Lhadj, A., & Hamdaqa, M. (2016, October). An effective method for detecting duplicate crash reports using crash traces and hidden Markov models [Abstract]. 26th Annual International Conference on Computer Science and Software Engineering (CASCON 2016), Toronto, ON, Canada.Thesis Hamdaqa, M. (2016). An integrated modeling framework for managing the deployment and operation of cloud applications [Ph.D. Thesis, University of Waterloo].Conference paper Sabor, K. K., Hamdaqa, M., & Hamou-Lhadj, A. (2016, October). Automatic prediction of the severity of bugs using stack traces [Abstract]. 26th Annual International Conference on Computer Science and Software Engineering (CASCON 2016), Toronto, Ontario, Canada.Conference paper Hamdaqa, M., & Tahvildari, L. (2016, October). StratusPM: An Analytical Performance Model for Cloud Applications [Paper]. 10th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments (MESOCA 2016), Raleigh, NC, USA.
- 2015 (3)
Conference paper Hamdaqa, M. (2015, March). A Bird's-Eye View on Modelling Malleable Multi-cloud Applications [Paper]. IEEE International Conference on Cloud Engineering (IC2E 2015), Tempe, AZ, USA.Conference paper Hamdaqa, M., Sabri, M. M., & Singh, A. (2015, November). Adoop: MapReduce for Ad-hoc Cloud Computing [Paper]. 25th Annual International Conference on Computer Science and Software Engineering (CASCON 2015), Markham, ON, Canada.Conference paper Hamdaqa, M., & Tahvildari, L. (2015, March). Stratus ML: A Layered Cloud Modeling Framework [Paper]. IEEE International Conference on Cloud Engineering (IC2E 2015), Tempe, AZ, USA.
- 2014 (3)
Journal article Hamdaqa, M., Tahvildari, L., LaChapelle, N., & Campbell, B. (2014). Cultural scene detection using reverse Louvain optimization. Science of Computer Programming, 95, 44-72.Conference paper Hamdaqa, M., & Tahvildari, L. (2014, September). Prison Break: A Generic Schema Matching Solution to the Cloud Vendor Lock-in Problem [Paper]. 8th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA 2014), Victoria, BC, Canada.Conference paper Hamdaqa, M., & Tahvildari, L. (2014, November). The (5+1) architectural view model for cloud applications [Abstract]. 24th Annual International Conference on Computer Science and Software Engineering (CASCON 2014), Markham, Ontario, Canada.
- 2012 (1)
Book chapter Hamdaqa, M., & Tahvildari, L. (2012). Cloud Computing Uncovered: A Research Landscape. In Hurson, A., & Memon, A. (eds.), Advances in Computers (Vol. 86, pp. 41-85).
- 2011 (3)
Journal article Hamdaqa, M., & Hamou-Lhadj, A. (2011). An approach based on citation analysis to support effective handling of regulatory compliance. Future Generation Computer Systems-the International Journal of Escience, 27(4), 395-410.Conference paper Hamdaqa, M., Livogiannis, T., & Tahvildari, L. (2011, May). A Reference Model for Developing Cloud Applications [Paper]. 1st International Conference on Cloud Computing and Services Science (CLOSER 2011), Noordwijkerhout, Netherlands.Conference paper Hamdaqa, M., & Tahvildari, L. (2011, June). ReLACK: A Reliable VoIP Steganography Approach [Paper]. 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2011), Jeju, Korea.
- 2009 (1)
Conference paper Hamou-Lhadj, A., & Hamdaqa, M. (2009, April). Citation Analysis: An Approach for Facilitating the Understanding and the Analysis of Regulatory Compliance Documents [Paper]. 6th International Conference on Information Technology: New Generations (ITNG 2009), Las Vegas, NV, USA.
