Sarah Hussein Toman

11 papers B 1C 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Ensuring the Correctness and Reliability of CBPS System Using Event-B.
Softw. Test. Verification Reliab.
Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet
2025 J jnl
Formal service conflict detection through abstraction and refinement.
Clust. Comput.
Sarah Hussein Toman, Zinah Hussein Toman
2024 J jnl
Formal verification for security and attacks in IoT physical layer.
J. Reliab. Intell. Environ.
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
2024 J jnl
Service to service communication based on CBPS system: refinement and verification.
Soft Comput.
Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023 C conf
A Correct by Construction Model for CBPS Systems Verification.
ISCC
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023 J jnl
Formal modelling and verification of scalable service composition in IoT environment.
Serv. Oriented Comput. Appl.
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
2023 C conf
Refinement and Verification for IoT Service Composition.
ISCC
Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
2022 B conf
Correct-by-Construction Approach for Formal Verification of IoT Architecture.
KES
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
2022 — conf
UML Profile for IoT-Based Applications.
ICCCI (CCIS Volume)
Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel
2020 J jnl
Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach.
CoRR
Sarah Hussein Toman, Mohammed Hamzah Abed, Zinah Hussein Toman
2020 J jnl
Diabetic Retinopathy Diagnosis based on Convolutional Neural Network.
CoRR
Mohammed Hamzah Abed, Lamia Abed Noor Muhammed, Sarah Hussein Toman