Manar Alalfi -

Registered user since Sun 12 Oct 2025

Name:Manar Alalfi

Country:Canada

Affiliation:Toronto Metropolitan University

Contributions

2026

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Committee Member in Program Committee within the Research Track-track

SANER

Committee Member in Program Committee within the Research Track-track

2025

CASCON

Committee Member in Program Committee within the 74 Technical Papers-track

ICSE

Committee Member in Mentoring Pods within the Student Mentoring Workshop (SMeW)-track

SERP4IoT

Author of Verifying Security and Safety for Heterogeneous IoT Applications: MDE Approach within the SE for the Internet of Things-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

PC Member in Program Committee within the Research Track-track

2024

Mutation

ITEQS

Author of A Survey on the Verification and Validation of Artificial Pancreas Software Systems within the ITEQS 2024-track

SERP4IoT

Author of Towards an MDRE Approach to Verify Security and safety of Heterogeneous IoT Apps within the SERP4IoT 2024-track

SANER

Presenter of SolOSphere: A Framework for Testing and Optimizing Solidity Contract within the Workshops and Tutorials Track -track

2023

ICSME

Author of Security and Safety Verification in IoT Apps within the Doctoral Symposium Track-track