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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

A property-based abstraction framework for SysML activity diagrams von Ouchani, Samir, Aït Mohamed, Otmane, Debbabi, Mourad

Volltext

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

Volltext

Recent Trends and Future Technology in Applied Intelligence: 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE... von Mouhoub, Malek, Sadaoui, Samira, Ait Mohamed, Otmane, Ali, Moonis

Volltext

Symmetry Reduction of Time-Triggered Ethernet Protocol von Ammar, Marwan, Ouchani, Samir, Mohamed, Otmane Aït

Volltext

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

Volltext

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

Volltext

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

Volltext

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... von Lazli, Lilia, Boukadoum, Mounir, Mohamed, Otmane Ait

Volltext

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

Volltext

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

Volltext

An Enhanced Interface-Based Probabilistic Compositional Verification Approach von Ouchani, Samir, Ait Mohamed, Otmane, Debbabi, Mourad

Volltext

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

Volltext

Diagnosis of Auditory Pathologies with Hidden Markov Models von Lazli, Lilia, Boukadoum, Mounir, Laskri, Mohamed-Tayeb, Aït-Mohamed, Otmane

Volltext

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

Volltext

First-Class Type Classes von Sozeau, Matthieu, Oury, Nicolas

Volltext