Clik here to view.
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved...
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed: Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul....
View ArticleClik here to view.
Reliability-driven Automotive Software Deployment based on a Parametrizable...
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar: Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174:...
View ArticleClik here to view.
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model...
Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed: Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. MWSCAS 2021: 340-343
View ArticleClik here to view.
AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and...
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed: AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. CoRR abs/2110.15473 (2021)
View ArticleClik here to view.
META: A Layout Based Tool to Estimate the Vulnerability of Digital Circuits...
Vivek Bansal, Otmane Aït Mohamed, Sowmith Nethula: META: A Layout Based Tool to Estimate the Vulnerability of Digital Circuits to Multiple Event Transient. NEWCAS 2022: 450-454
View ArticleClik here to view.
Layout-based Vulnerability Analysis of LEON3 Processor to Single Event...
Sowmith Nethula, Vivek Bansal, Ghaith Bany Hamad, Otmane Aït Mohamed: Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories....
View ArticleClik here to view.
An Effective Approach for Parsing Large Log Files.
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Mohammed A. Shehab: An Effective Approach for Parsing Large Log Files. ICSME 2022: 1-12
View ArticleClik here to view.
SEU Reliability Assessment Framework for COTS Many-core Processors.
Chifa Dammak, Otmane Aït Mohamed, Mounir Boukadoum: SEU Reliability Assessment Framework for COTS Many-core Processors. ICM 2022: 42-45
View ArticleClik here to view.
Toward a context-driven deployment optimization for embedded systems: a...
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani: Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. 79(2): 2180-2211 (2023)
View ArticleClik here to view.
Statistical Model Checking based Analysis of Fault Trees and Power...
Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed: Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. NEWCAS 2023: 1-5
View ArticleClik here to view.
Towards a Classification of Log Parsing Errors.
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan: Towards a Classification of Log Parsing Errors. ICPC 2023: 84-88
View ArticleClik here to view.
A framework for modeling and analyzing cyber-physical systems using...
Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Samir Ouchani: A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet Things 22: 100732 (2023)
View Article
