↓ Skip to main content

Publications

Soaibuzzaman , Jenny Döring , Srinivasulu Kasi , Jan Oliver Ringert (2025). On the Comparison of Learned Classifiers. SEFM 2025.

Soaibuzzaman , Jan Oliver Ringert (2025). On Writing SMT-LIB Scripts: Metrics and a new Dataset. SMT 2025.

PDF Code Dataset Slides Source

Soaibuzzaman , Salar Kalantari , Jan Oliver Ringert (2025). On Writing Alloy Models: Metrics and a new Dataset. ABZ 2025.

PDF Code Dataset Slides Source

Soaibuzzaman (2024). Towards Comparing Learned Classifiers. FM (Doctoral Symposium) 2024.

PDF Code Poster Slides Source

Soaibuzzaman , Jan Oliver Ringert (2024). Introducing GitHub Classroom into a Formal Methods Module. FMTea 2024.

PDF Code Slides Source

Mohamed Salim Harras , Soaibuzzaman , Shadi Saleh , Wolfram Hardt (2023). Exploring SSD Detector for Power Line Insulator Detection on Edge Platform. ESS 2023.

Batbayar Battseren , Mohamed Salim Harras , Soaibuzzaman (2021). Deep-Learning-Based Insulator Detector for Edge Computing Platforms. ISCSET 2021.

PDF Slides Source

Sabbir Ahmed , Soaibuzzaman , Mohammad Saidur Rahman , Mohammad Saiedur Rahaman (2019). A Blockchain-based Architecture for Integrated Smart Parking Systems. PerAwareCity 2019.