Documents publiés en "2024"

A

Abukhalaf, S., Hamdaqa, M., & Khomh, F. (avril 2024). PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4 [Communication écrite]. 1st IEEE/ACM International Conference on AI Foundation Models and Software Engineering (FORGE 2024), Lisbon, Portugal. Lien externe

Aceto, L., Gorla, D., Lybech, S., & Hamdaqa, M. (octobre 2024). Preventing Out-of-Gas Exceptions by Typing [Communication écrite]. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece. Lien externe

C

Chaaben, M. B., Sghaier, O. B., Dhaouadi, M., Elrasheed, N., Darif, I., Jaoua, I., Oakes, B. J., Syriani, E., & Hamdaqa, M. (septembre 2024). Toward Intelligent Generation of Tailored Graphical Concrete Syntax [Communication écrite]. ACM/IEEE 27th International Conference on Model Driven Engineering Languages and System, Linz, Austria. Lien externe

Curzi-Laliberté, B., Fokaefs, M., Famelis, M., & Hamdaqa, M. (septembre 2024). EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling [Communication écrite]. 27th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), Linz, Austria. Lien externe

P

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). Lien externe

S

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, 13 (45 pages). Lien externe