Mohannad Alhanahnah

Visar 3 publikationer

2025

Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches

Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens et al
Proceedings 2025 55th Annual IEEE IFIP International Conference on Dependable Systems and Networks Dsn 2025, p. 88-101
Paper i proceeding
2025

An empirical evaluation of pre-trained large language models for repairing declarative formal specifications

Mohannad Alhanahnah, Md Rashedul Hasan, Lisong Xu et al
Empirical Software Engineering. Vol. 30 (5)
Artikel i vetenskaplig tidskrift
2025

BLAFS: A Bloat-Aware Container File System

Huaifeng Zhang, Mohannad Alhanahnah, Philipp Leitner et al
Proceedings of the 2025 ACM Symposium on Cloud Computing
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Mohannad Alhanahnah medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.