Manar Alalfi -

Not registered as user

Name:Manar Alalfi

Country:Canada

Affiliation:Toronto Metropolitan University

Contributions

2025

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

PC Member in Program Committee within the Research Track-track

2024

Mutation

Committee Member in Program Committee within the Mutation 2024-track
Author of Timed Model-Based Mutation Operators for Simulink Models within the Mutation 2024-track

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