@inproceedings{SoaibuzzamanSEFM25,
author = {Soaibuzzaman and Jenny D{\"o}ring and Srinivasulu Kasi and Jan Oliver Ringert},
editor = {Domenico Bianculli and Elena G{\'o}mez-Mart{\'i}nez},
title = {On the Comparison of Learned Classifiers},
booktitle = {Software Engineering and Formal Methods},
series = {LNCS},
volume = {16192},
pages = {223--240},
publisher = {Springer Nature Switzerland},
address = {Cham},
year = {2026},
url = {https://doi.org/10.1007/978-3-032-10444-1_14},
doi = {10.1007/978-3-032-10444-1_14},
isbn = {978-3-032-10444-1},
}
@inproceedings{SoaibuzzamanSMT25,
author = {Soaibuzzaman and Jan Oliver Ringert},
editor = {Jochen Hoenicke and Mikoláš Janota and Aina Niemetz and Sophie Tourret},
title = {On Writing SMT-LIB Scripts: Metrics and a New Dataset},
booktitle = {23rd International Workshop on Satisfiability Modulo Theories, SMT
2025, Glasgow, UK, August 10–11, 2025, Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {4008},
pages = {91-102},
publisher = {CEUR-WS.org},
year = {2025},
url = {https://ceur-ws.org/Vol-4008/SMT_paper15.pdf},
}
@inproceedings{SoaibuzzamanKR25,
author = {Soaibuzzaman and Salar Kalantari and Jan Oliver Ringert},
editor = {Michael Leuschel and Fuyuki Ishikawa},
title = {On Writing Alloy Models: Metrics and a new Dataset},
booktitle = {Rigorous State-Based Methods},
series = {LNCS},
volume = {15728},
pages = {70--87},
publisher = {Springer Nature Switzerland},
year = {2026},
url = {https://doi.org/10.1007/978-3-031-94533-5_5},
doi = {10.1007/978-3-031-94533-5_5},
}
@inproceedings{SoaibuzzamanR24,
author = {Soaibuzzaman and
Jan Oliver Ringert},
editor = {Emil Sekerinski and
Leila Ribeiro},
title = {Introducing GitHub Classroom into a Formal Methods Module},
booktitle = {Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea
2024, Milan, Italy, September 10, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14939},
pages = {25--42},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71379-8\_2},
doi = {10.1007/978-3-031-71379-8\_2},
}
@article{harras2023exploring,
title={Exploring SSD Detector for Power Line Insulator Detection on Edge Platform},
author={Harras, M. Salim and Soaibuzzaman and Saleh, S. and Hardt, W.},
journal={Embedded Selforganising Systems},
volume={10},
number={5},
pages={13--17},
year={2023},
month={Nov},
doi={10.14464/ess.v10i5.603}
}
@inproceedings{battseren2021deep,
title = {Deep-Learning-Based Insulator Detector for Edge Computing Platforms},
author = {Batbayar Battseren and
Mohamed Salim Harras and
Soaibuzzaman},
booktitle = {International Symposium on Computer Science,
Computer Engineering and Educational Technology (ISCSET-2021)
Lauta, Germany, November 10-12, 2021},
pages = {21--28},
publisher = {{TUDpress}},
year = {2021},
address = {Lauta, Germany},
isbn = {978-1-6654-3670-3}
}
@inproceedings{AhmedSRR19,
author = {Sabbir Ahmed and
Soaibuzzaman and
Mohammad Saidur Rahman and
Mohammad Saiedur Rahaman},
title = {A Blockchain-Based Architecture for Integrated Smart Parking Systems},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
pages = {177--182},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730772},
doi = {10.1109/PERCOMW.2019.8730772},
}