Get started
Author

Otmane Aı̈t Mohamed

Observed names: Ait Mohamed, Otmane, Ait'Mohamed Otmane, Ait-Mohamed Otmane, Ait-Mohamed, Otmane, Mohamed Otmane Ait, Mohamed, Otmane, Mohamed, Otmane Ait, O. Ait Mohamed, O. Ait-Mohamed, O. Ait-mohamed, O. Aït Mohamed, O.A. Mohamed, OTMANE AÏT MOHAMED, Otmane Ait Mohamed, Otmane Ait'Mohamed, Otmane Ait-Mohamed, Otmane Ait-mohamed, Otmane Aitmohamed, Otmane Aït Mohamed, Otmane Aït-Mohamed, Otmane Mohamed
Observed institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Nortel (Canada), Université du Québec à Montréal, Institute of Electrical and Electronics Engineers, Cistel Technology (Canada), Concordia University, Polytechnique Montréal, Concordia University, Université de Montréal
ORCID: 0000-0003-1378-1443
Observed ORCID: 0000-0003-1378-1443
OpenAlex ID: A5032928854
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks
2019 · Ayman A. Atallah, Ghaith Bany Hamad, et al. · IEEE Transactions on Industrial Informatics · 185
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
2020 · Lilia Lazli, Mounir Boukadoum, et al. · Applied Sciences · 58
PDF
Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks
2018 · Ayman A. Atallah, Ghaith Bany Hamad, et al. · IEEE International Symposium on On-Line Testing and Robust System Design (IOLTS) · 46
Model checking for a first-order temporal logic using multiway decision graphs
1998 · Y. Xu, E. Cerny, et al. · Lecture notes in computer science · 45
PDF
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
2019 · Lilia Lazli, Mounir Boukadoum, et al. · Brain Sciences · 37
PDF
A formal verification framework for SysML activity diagrams
2013 · Samir Ouchani, Otmane Aït Mohamed, et al. · Expert Systems with Applications · 37
Modeling Approaches and Algorithms for Advanced Computer Applications
2013 · Amine, Abdelmalek, Mohamed, Otmane, et al. · Studies in computational intelligence · 32
An Effective Approach for Parsing Large Log Files
2022 · Issam Sedki, Abdelwahab Hamou-Lhadj, et al. · IEEE International Conference on Software Maintenance and Evolution (ICSME) · 30
On the non-termination of MDG-based abstract state enumeration
2003 · Otmane Aı̈t Mohamed, Xiaoyu Song, et al. · Theoretical Computer Science · 30
PDF
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies
2021 · Abdel-Latif Alshalalfah, Ghaith Bany Hamad, et al. · IEEE Transactions on Circuits and Systems I Regular Papers · 23
A Security Risk Assessment Framework for SysML Activity Diagrams
2013 · Samir Ouchani, Otmane Ait Mohamed, et al. · 22
Modeling and formal verification of the Fairisle ATM switch fabric using MDGs
1999 · S. Tahar, Xiaoyu Song, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 22
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs
2018 · Khaza Anuarul Hoque, Otmane Ait Mohamed, et al. · Reliability Engineering & System Safety · 21
PDF
New Insights Into the Single Event Transient Propagation Through Static and TSPC Logic
2014 · Ghaith Bany Hamad, Syed Rafay Hasan, et al. · IEEE Transactions on Nuclear Science · 21
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking
2015 · Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, et al. · Design, Automation, and Test in Europe · 20
Model-based systems security quantification
2011 · S. Ouchani, Y. Jarraya, et al. · International Conference on Privacy, Security and Trust (PST) · 20
Theorem Proving in Higher Order Logics
2008 · Hutchison, David, Weikum, Gerhard, et al. · Lecture notes in computer science · 20
Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits
2014 · Ghaith Bany Hamad, Syed Rafay Hasan, et al. · Microelectronics Reliability · 19
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications
2014 · Khaza Anuarul Hoque, O. Ait Mohamed, et al. · 18
Efficient Probabilistic Abstraction for SysML Activity Diagrams
2012 · Samir Ouchani, Otmane Ait Mohamed, et al. · Lecture notes in computer science · 18
Efficient Assertion Based Verification using TLM
2006 · A. Habibi, S. Tahar, et al. · Design, Automation & Test in Europe Conference (DATE) · 18
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
2021 · Abdelhakim Baouya, Otmane Ait Mohamed, et al. · Expert Systems with Applications · 17
Safety analysis of train control system based on model-driven design methodology
2018 · Abdelhakim Baouya, Otmane Ait Mohamed, et al. · Computers in Industry · 17
Reliability-Aware Routing of AVB Streams in TSN Networks
2018 · Ayman A. Atallah, Ghaith Bany Hamad, et al. · Lecture notes in computer science · 17
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications
2017 · Khaza Anuarul Hoque, Otmane Ait Mohamed, et al. · Journal of Applied Logic · 17
Works count: 242
Citation count: 1,488
H-index: 18
I10-index: 47
Year
Topic
Type