A Survey of Analysis Methods for Security and Safety verification in IoT Systems. - Lobna Abuserrieh; Manar H. Alalfi (CoRR, 2022)

Security and Safety Verification in IoT Apps. - Lobna Abuserrieh; Manar H. Alalfi (ICSME, 2023)

Towards an MDRE Approach to Verify Security and Safety of Heterogeneous IoT Apps. - Lobna Abuserrieh; Manar H. Alalfi (SERP4IoT, 2024)

A Survey on Verification of Security and Safety in IoT Systems. - Lobna Abuserrieh; Manar H. Alalfi (IEEE Access, 2024)

IoT-SafeMod: Model-Driven Security and Safety for IoT Applications. - Lobna Abuserrieh; Manar H. Alalfi (SERP4IoT, 2025)