Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach. - Sarah Hussein Toman; Mohammed Hamzah Abed; Zinah Hussein Toman (CoRR, 2020)

A Formal Verification Model for IoT Based Applications Using Event-B. - Rihab Omri; Zinah Hussein Toman; Lazhar Hamel (ICCCI (CCIS Volume), 2022)

Correct-by-Construction Approach for Formal Verification of IoT Architecture. - Zinah Hussein Toman; Lazhar Hamel; Sarah Hussein Toman; Mohamed Graiet (KES, 2022)

A Correct by Construction Model for CBPS Systems Verification. - Sarah Hussein Toman; Aida Lahouij; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (ISCC, 2023)

Formal modelling and verification of scalable service composition in IoT environment. - Sarah Hussein Toman; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet; Samir Ouchani (Serv. Oriented Comput. Appl., 2023)

Formal verification for security and attacks in IoT physical layer. - Zinah Hussein Toman; Lazhar Hamel; Sarah Hussein Toman; Mohamed Graiet; Dalton Cézane Gomes Valadares (J. Reliab. Intell. Environ., 2024)

Service to service communication based on CBPS system: refinement and verification. - Sarah Hussein Toman; Aida Lahouij; Sonia Kotel; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (Soft Comput., 2024)

Ensuring the Correctness and Reliability of CBPS System Using Event-B. - Sarah Hussein Toman; Lazhar Hamel; Aida Lahouij; Zinah Hussein Toman; Mohamed Graiet (Softw. Test. Verification Reliab., 2025)