Sarah Hussein Toman

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Convolutional Neural Network

Diabetic Retinopathy

Parallel Genetic Algorithm

Top Venues

J. Reliab. Intell. Environ.

Publications

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
Formal verification for security and attacks in IoT physical layer. J. Reliab. Intell. Environ. 10 (1) (2024)
Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
Refinement and Verification for IoT Service Composition. ISCC (2023)
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
A Correct by Construction Model for CBPS Systems Verification. ISCC (2023)
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. 17 (3) (2023)
Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel
UML Profile for IoT-Based Applications. ICCCI (CCIS Volume) (2022)
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES (2022)
Sarah Hussein Toman, Mohammed Hamzah Abed, Zinah Hussein Toman
Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach. CoRR (2020)
Mohammed Hamzah Abed, Lamia Abed Noor Muhammed, Sarah Hussein Toman
Diabetic Retinopathy Diagnosis based on Convolutional Neural Network. CoRR (2020)