E-LIB Suche - Ergebnisse für: Toman, Sarah Hussein

1

Service to service communication based on CBPS system: refi..:

Toman, Sarah Hussein ; Lahouij, Aida ; Kotel, Sonia...
Soft Computing. , 2024

Link: https://doi.org/10.1007/..

2

Refinement and Verification for IoT Service Composition:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),

Toman, Sarah Hussein ; Hamel, Lazhar ; Graiet, Mohamed - p. 483-486 , 2023

Link: https://doi.org/10.1109/..

3

A Correct by Construction Model for CBPS Systems Verificati..:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),

Toman, Sarah Hussein ; Lahouij, Aida ; Hamel, Lazhar.. - p. 1299-1304 , 2023

Link: https://doi.org/10.1109/..

4

Formal verification for security and attacks in IoT physica..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein..
Journal of Reliable Intelligent Environments. 10 (2023) 1 - p. 73-91 , 2023

Link: https://doi.org/10.1007/..

5

Formal modelling and verification of scalable service compo..:

Toman, Sarah Hussein ; Hamel, Lazhar ; Toman, Zinah Hussein..
Service Oriented Computing and Applications. 17 (2023) 3 - p. 213-231 , 2023

Link: https://doi.org/10.1007/..

6

Correct-by-Construction Approach for Formal Verification of..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein.
Procedia Computer Science. 207 (2022) - p. 2598-2609 , 2022

Link: https://doi.org/10.1016/..

7

Diabetic Retinopathy Diagnosis based on Convolutional Neura..:

Abed, Mohammed hamzah ; Muhammed, Lamia Abed Noor ; Toman, Sarah Hussein
Journal of Physics: Conference Series. 1999 (2021) 1 - p. 012117 , 2021

Link: https://doi.org/10.1088/..

8

An In-Depth Comparison Of Software Frameworks For Developin..:

Toman, Zinah Hussein ; Toman, Sarah Hussein ; Hazar, Manar Joundy
Journal of Southwest Jiaotong University. 54 (2019) 4 - p. , 2019

Link: https://doi.org/10.35741..

9

UML Profile for IoT-Based Applications:

, In: Advances in Computational Collective Intelligence; Communications in Computer and Information Science,

Ltaief, Malek ; Hussein Toman, Sarah ; Hamel, Lazhar - p. 515-527 , 2022

Link: https://doi.org/10.1007/..

10

Automated Scoring for Essay Questions In E-learning:

Joundy Hazar, Manar ; Hussein Toman, Zinah ; Hussein Toman, Sarah
Journal of Physics: Conference Series. 1294 (2019) 4 - p. 042014 , 2019

Link: https://doi.org/10.1088/..

11

Correct-by-Construction Approach for Formal Verification of..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.procs.2022.09.318. , 2022

Link: https://hal.science/hal-..

12

Correct-by-Construction Approach for Formal Verification of..:

Toman, Zinah Hussein ; Hamel, Lazhar ; Toman, Sarah Hussein.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.procs.2022.09.318. , 2022

Link: https://hal.science/hal-..

13

Cluster-Based Information Retrieval by using (K-means)- Hie..:

Toman, Sarah Hussein ; Abed, Mohammed Hamzah ; Toman, Zinah Hussein
http://arxiv.org/abs/2008.00150. , 2020

Link: http://arxiv.org/abs/200..

14

Diabetic Retinopathy Diagnosis based on Convolutional Neura..:

abed, Mohammed hamzah ; Muhammed, Lamia Abed Noor ; Toman, Sarah Hussein
http://arxiv.org/abs/2008.00148. , 2020

Link: http://arxiv.org/abs/200..

15

Cluster-based information retrieval by using (K-means)- hie..:

Sarah Hussein Toman ; Mohammed Hamzah Abed ; Zinah Hussein Toman
https://zenodo.org/record/4620309. , 2021

Link: https://zenodo.org/recor..