Search Results - "Ait Mohamed, Otmane"

Toward a context-driven deployment optimization for embedded systems: a product line approach by Baouya, Abdelhakim, Ait Mohamed, Otmane, Ouchani, Samir

“…Producing a large family of resource-constrained multi-processing systems on chips (MPSoC) is challenging, and the existing techniques are generally geared…”
Get full text

Computer-Aided Diagnosis System of Alzheimer's Disease Based on Multimodal Fusion: Tissue Quantification Based on the Hybrid Fuzzy-Genetic-Possibilistic Model and Discriminative Classification Based on the SVDD Model by Lazli, Lilia, Boukadoum, Mounir, Ait Mohamed, Otmane

“…An improved computer-aided diagnosis (CAD) system is proposed for the early diagnosis of Alzheimer's disease (AD) based on the fusion of anatomical (magnetic…”
Get full text

System-Level Analysis of the Vulnerability of Processors Exposed to Single-Event Upsets via Probabilistic Model Checking by Ammar, Marwan, Bany Hamad, Ghaith, Ait Mohamed, Otmane, Savaria, Yvon

“…Due to current technology scaling trends, digital designs are becoming strongly susceptible to space radiation effects. These effects can cause unwanted…”
Get full text

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs) by Ammar, Marwan, Bany Hamad, Ghaith, Ait Mohamed, Otmane, Savaria, Yvon

“…Fault tree (FT) is a standardized notation for representing relationships between a system's reliability and the faults and/or the events associated with it…”
Get full text

Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks by Atallah, Ayman A., Hamad, Ghaith Bany, Mohamed, Otmane Ait

“…This article addresses the following research question: How to compute no-wait schedules and multipath routings for large-scale time-sensitive networks (TSNs)?…”
Get full text

Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs by Hoque, Khaza Anuarul, Ait Mohamed, Otmane, Savaria, Yvon

“…•We propose a methodology for early trade-off assessment of TMR partitioning with periodic blind scrubbing.•The proposed formal models (using the CTMC…”
Get full text

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies by Alshalalfah, Abdel-Latif, Hamad, Ghaith Bany, Mohamed, Otmane Ait

“…Artificial pancreas enhances the life experience for diabetic patients by allowing them to live normally with their glucose levels controlled automatically…”
Get full text

Safety analysis of train control system based on model-driven design methodology by Baouya, Abdelhakim, Ait Mohamed, Otmane, Bennouar, Djamal, Ouchani, Samir

“…•Verification and simulation approach based on AADL language.•Modeling the behavior of the train control system.•Safety and availability assessment of the…”
Get full text

A Survey on Computer-Aided Diagnosis of Brain Disorders through MRI Based on Machine Learning and Data Mining Methodologies with an Emphasis on Alzheimer Disease Diagnosis and the Contribution of the Multimodal Fusion by Lazli, Lilia, Boukadoum, Mounir, Mohamed, Otmane Ait

“…Computer-aided diagnostic (CAD) systems use machine learning methods that provide a synergistic effect between the neuroradiologist and the computer, enabling…”
Get full text

A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe by Daoud, Mohammad I., Alshalalfah, Abdel-Latif, Ait Mohamed, Otmane, Alazrai, Rami

“…•A new method is developed to localize and track the needle in ultrasound volumes acquired by 3D motorized curvilinear ultrasound probes.•An initial estimation…”
Get full text

A framework for modeling and analyzing cyber-physical systems using statistical model checking by Alshalalfah, Abdel-Latif, Ait Mohamed, Otmane, Ouchani, Samir

“…The trustworthiness of a cyber–physical system is essential for it to be qualified for utilization in most real-life deployments. This is especially critical…”
Get full text

A formal verification framework for SysML activity diagrams by Ouchani, Samir, Mohamed, Otmane Aït, Debbabi, Mourad

“…•We propose a formal verification framework for complex systems.•These systems are modeled as a composition of a set of SysML activity diagrams.•The…”
Get full text

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications by Hoque, Khaza Anuarul, Ait Mohamed, Otmane, Savaria, Yvon

“…SRAM-based FPGAs are increasingly popular in the aerospace industry due to their field programmability and low cost. However, they suffer from cosmic radiation…”
Get full text

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs by Abed, Sa’ed, Ait Mohamed, Otmane, Al-Sammane, Ghiath

“…In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep…”
Get full text

Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits by Bany Hamad, Ghaith, Hasan, Syed Rafay, Ait Mohamed, Otmane, Savaria, Yvon

“…•Analysis of soft error propagation in asynchronous and synchronous digital designs.•Modeling electrical and logical masking at gate level by utilizing MDG and…”
Get full text

Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits by Hamad, Ghaith Bany, Ait Mohamed, Otmane, Savaria, Yvon

“…Recent radiation ground testing campaigns of digital designs have demonstrated that the probability for Single Event Transient (SET) propagation is increasing…”
Get full text

New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking by Hamad, Ghaith Bany, Ammar, Marwan, Mohamed, Otmane Ait, Savaria, Yvon

“…Progressive shrinking of CMOS device sizes has permitted reductions in power consumption and miniaturization of electronic devices. In parallel, modern…”
Get full text

Automatic verification of reduction techniques in Higher Order Logic by Abed, Sa’ed, Ait Mohamed, Otmane, Al Sammane, Ghiath

“…In this paper we propose an automatic methodology to verify the soundness of model checking reduction techniques. The idea is to use the consistency of the…”
Get full text

Layout-based reliability analysis of openMSP430 register file under external radiations by Bansal, Vivek, Mohamed, Otmane Ait, Ghaffari, Fakhreddine

“…This paper presents an application specific-approach to estimate the soft error failure rate of a circuit due to the effect of external radiations. The…”
Get full text

Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability by Samadi, Ashkan, Ammar, Marwan, Mohamed, Otmane Ait

“…In this paper, a fault tree analysis (FTA) method is proposed that can not only evaluate the failure risk of autonomous systems but also their power…”
Get full text