Sign in
Sohaib Soualah
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Theorem Prover
First Order Logic
Dynamic Systems
Discrete Event Simulation
Top Venues
ICSOFT
ICSOFT (Selected Papers)
</>
Publications
</>
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)