Zinah Hussein Toman

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Parallel Genetic Algorithm

Top Venues

J. Reliab. Intell. Environ.

Serv. Oriented Comput. Appl.

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, 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)
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES (2022)
Rihab Omri, Zinah Hussein Toman, Lazhar Hamel
A Formal Verification Model for IoT Based Applications Using Event-B. ICCCI (CCIS Volume) (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)