Login / Signup
Sohaib Soualah
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Formal Verification
Model Driven Engineering
Natural Deduction
Theorem Prover
Top Venues
ICSOFT
ICSOFT (Selected Papers)
AINA (2)
</>
Publications
</>
Sohaib Soualah
,
Mohamed Khalgui
,
Allaoua Chaoui
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL.
AINA (2)
(2024)
Sohaib Soualah
,
Yousra Hafidi
,
Mohamed Khalgui
,
Allaoua Chaoui
,
Laïd Kahloul
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
ICSOFT (Selected Papers)
(2020)
Sohaib Soualah
,
Yousra Hafidi
,
Mohamed Khalgui
,
Allaoua Chaoui
,
Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
ICSOFT
(2020)