A Blockchain-Based Architecture for Integrated Smart Parking Systems. - Sabbir Ahmed; Soaibuzzaman; Mohammad Saidur Rahman 001; Mohammad Saiedur Rahaman (PerCom Workshops, 2019)

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

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