Md Rashedul Hasan

According to our database, Md Rashedul Hasan authored at least 10 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers.

Md Rashedul Hasan, Mohammad Rashedul Hasan, Hamid Bagheri

Proc. ACM Softw. Eng., 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, Hamid Bagheri

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications.

Mohannad Alhanahnah, Md Rashedul Hasan, Hamid Bagheri

CoRR, 2024

A Symbiotic Relationship: Combining User Experience Methods and Systems Theory to Understand Engineering Doctoral Students' Professional Identity Development.

Jason Tham, Jennifer Cross, Mario Beruvides, Diego Polanco-Lahoz, Md Rashedul Hasan, Kelli Cargile-Cook

Proceedings of the IEEE International Professional Communication Conference, 2024

Neuro-Symbolic Approach to Certified Scientific Software Synthesis.

Hamid Bagheri, Mehdi Mirakhorli, Mohamad Fazelnia, Ibrahim Mujhid, Md Rashedul Hasan

Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024

2023

Automated Repair of Declarative Software Specifications in the Era of Large Language Models.

Md Rashedul Hasan, Jiawei Li, Iftekhar Ahmed, Hamid Bagheri

CoRR, 2023

2019

Pharmacovigilance study of opioid drugs on Twitter and PubMed using artificial intelligence.

Md Jamiur Rahman Rifat, Sheak Rashed Haider Noori, Md Rashedul Hasan

Proceedings of the 10th International Conference on Computing, 2019

Detection of Opioid Overdose Cases from Electronic Health Records: A Pilot Study using Data Collected from the MIMIC III Database.

Alfred Sorbello, Md Rashedul Hasan, Henry Francis, Mitra Ahadpour

Proceedings of the AMIA 2019, 2019

Application of Semantic Web Technology to regulations.

Mitra Rocca, Md Rashedul Hasan

Proceedings of the AMIA 2019, 2019

Detection of Opioid Overdose Cases from Text in Electronic Health Records using Machine Learning Methods.

Md Rashedul Hasan, Mitra Ahadpour, Henry Francis, Alfred Sorbello

Proceedings of the AMIA 2019, 2019