Mohammad Hamdaqa

Orcid: 0000-0003-4927-2755

According to our database1, Mohammad Hamdaqa authored at least 46 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ServiceAnomaly: An anomaly detection approach in microservices using distributed traces and profiling metrics.
J. Syst. Softw., March, 2024

A fly in the ointment: an empirical study on the characteristics of Ethereum smart contract code weaknesses.
Empir. Softw. Eng., February, 2024

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability.
CoRR, 2024

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter.
CoRR, 2024

EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Toward Intelligent Generation of Tailored Graphical Concrete Syntax.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Preventing Out-of-Gas Exceptions by Typing.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4.
Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, 2024

2023
An approach for modeling the operational requirements of FaaS applications for optimal deployment.
Inf. Softw. Technol., 2023

Dissecting Smart Contract Languages: A Survey.
CoRR, 2023

PrAIoritize: Learning to Prioritize Smart Contract Bugs and Vulnerabilities.
CoRR, 2023

Exploring Security Practices in Infrastructure as Code: An Empirical Study.
CoRR, 2023

Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study.
CoRR, 2023

On Codex Prompt Engineering for OCL Generation: An Empirical Study.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes.
Proceedings of the 49th Euromicro Conference on Software Engineering and Advanced Applications, 2023

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts.
Proceedings of the IEEE International Conference on Software Services Engineering, 2023

2022
iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms.
Inf. Softw. Technol., 2022

A Fly in the Ointment: An Empirical Study on the Characteristics of Ethereum Smart Contracts Code Weaknesses and Vulnerabilities.
CoRR, 2022

Revisiting the Impact of Anti-patterns on Fault-Proneness: A Differentiated Replication.
Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

2021
MUPPIT: a method for using proper patterns in model transformations.
Softw. Syst. Model., 2021

Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts.
CoRR, 2021

EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields.
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation.
Proceedings of the 3rd IEEE/ACM International Workshop on Bots in Software Engineering, 2021

2020
Automatic prediction of the severity of bugs using stack traces and categorical features.
Inf. Softw. Technol., 2020

MobiLogLeak: A Preliminary Study on Data Leakage Caused by Poor Logging Practices.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

TrustVote: On Elections We Trust with Distributed Ledgers and Smart Contracts.
Proceedings of the 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2020

2018
Learning Outcome Outcomes: An Evaluation of Quality.
Proceedings of the IEEE Frontiers in Education Conference, 2018

Blockchain-Based E-Voting System.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
SmartHomeML: Towards a Domain-Specific Modeling Language for Creating Smart Home Applications.
Proceedings of the 2017 IEEE International Congress on Internet of Things, 2017

2016
An Integrated Modeling Framework for Managing the Deployment and Operation of Cloud Applications.
PhD thesis, 2016

StratusPM: An Analytical Performance Model for Cloud Applications.
Proceedings of the 10th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments, 2016

Automatic prediction of the severity of bugs using stack traces.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

An effective method for detecting duplicate crash reports using crash traces and hidden Markov models.
Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, 2016

2015
Stratus ML: A Layered Cloud Modeling Framework.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

A Bird's-Eye View on Modelling Malleable Multi-cloud Applications.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

Adoop: MapReduce for ad-hoc cloud computing.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

2014
Cultural scene detection using reverse Louvain optimization.
Sci. Comput. Program., 2014

Prison Break: A Generic Schema Matching Solution to the Cloud Vendor Lock-in Problem.
Proceedings of the 8th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2014

The (5+1) architectural view model for cloud applications.
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

2012
Cloud Computing Uncovered: A Research Landscape.
Adv. Comput., 2012

2011
An approach based on citation analysis to support effective handling of regulatory compliance.
Future Gener. Comput. Syst., 2011

ReLACK: A Reliable VoIP Steganography Approach.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

A Reference Model for Developing Cloud Applications.
Proceedings of the CLOSER 2011, 2011

2009
Citation Analysis: An Approach for Facilitating the Understanding and the Analysis of Regulatory Compliance Documents.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009


  Loading...