Zinah Hussein Toman

According to our database, Zinah Hussein Toman authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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., October, 2024

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., March, 2024

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., September, 2023

A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

Correct-by-Construction Approach for Formal Verification of IoT Architecture.

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Formal Verification Model for IoT Based Applications Using Event-B.

Rihab Omri, Zinah Hussein Toman, Lazhar Hamel

Proceedings of the Advances in Computational Collective Intelligence, 2022

2020

Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach.

Sarah Hussein Toman, Mohammed Hamzah Abed, Zinah Hussein Toman

CoRR, 2020