6 citations · 10 across the 3 of their papers we have counts for
3 papers
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study
Ilham Qasse, Mohammad Hamdaqa, Björn Þór Jónsson
Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design…
On Codex Prompt Engineering for OCL Generation: An Empirical Study
Seif Abukhalaf, Mohammad Hamdaqa, Foutse Khomh
The Object Constraint Language (OCL) is a declarative language that adds constraints and object query expressions to MOF models. Despite its potential to provide precision and conc…
Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts
Ilham Qasse, Shailesh Mishra, Mohammad Hamdaqa
The revolutionary potential of automatic code generation tools based on Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software prof…