Publications

Soaibuzzaman, S. Kalantari, J.O. Ringert. On Writing Alloy Models: Metrics and a new Dataset. Rigorous State-Based Methods. ABZ 2025. LNCS 15728, pp. 1–18, 2025. DOI: 10.1007/978-3-031-94533-5_5
[📦Artifacts] [🗃️Dataset] [🪧Slides]

Soaibuzzaman, J.O. Ringert. Introducing GitHub Classroom into a Formal Methods Module. Formal Methods Teaching. FMTea 2024. LNCS, vol 14939. Springer (2024) DOI: 10.1007/978-3-031-71379-8_2
[📦Artifacts]

M. Salim Harras, Soaibuzzaman, S. Saleh, and W. Hardt, “Exploring SSD Detector for Power Line Insulator Detection on Edge Platform,” Embedded Selforganising Systems, vol. 10, no. 5, pp. 13–17, Nov. 2023. DOI: 10.14464/ess.v10i5.603

B. Battseren, M. Harras and Soaibuzzaman, “Deep-Learning-Based Insulator Detector for Edge Computing Platforms".ISCSET-2021, Lauta, Germany, 2021, pp. 21-28. ISBN:978-1-6654-3670-3

S. Ahmed, Soaibuzzaman, S. Rahman, and M. Saiedur Rahaman, “A Blockchain-based Architecture for Integrated Smart Parking Systems. PerAwareCity’19, Kyoto, Japan, Mar. 2019. DOI: 10.1109/PERCOMW.2019.8730772