Sohaib Soualah

According to our database, Sohaib Soualah authored at least 3 papers between 2020 and 2024.

Collaborative distances:

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

2024

Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.

Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui

Proceedings of the Advanced Information Networking and Applications, 2024

2020

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.

Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul

Proceedings of the Software Technologies - 15th International Conference, 2020

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.

Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul

Proceedings of the 15th International Conference on Software Technologies, 2020