Mohannad Alhanahnah

Showing 3 publications

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 in proceeding
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 in 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)
Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Mohannad Alhanahnah participates, but you have to be logged in as a Chalmers employee to see them.