Publications

📅2024

#

• 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: https://github.com/fm4se/exercises

📅2023

#

• 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

📅2021

#

• B. Battseren, M. Harras and Soaibuzzaman, “Deep-Learning-Based Insulator Detector for Edge Computing Platforms”, in International Symposium on Computer Science, Computer Engineering and Educational Technology (ISCSET-2021), Lauta, Germany, 2021, pp. 21-28.
  • ISBN:  978-3-95908-238-9

📅2019

#

• S. Ahmed, Soaibuzzaman, S. Rahman, and M. Saiedur Rahaman, “A Blockchain-based Architecture for Integrated Smart Parking Systems, “in PerAwareCity’19 – 4th IEEE International Workshop on Pervasive Context-Aware Smart Cities and Intelligent Transport Systems (PerAwareCity’19), Kyoto, Japan, Mar. 2019.
  • DOI:  10.1109/PERCOMW.2019.8730772