Otmane Aı̈t Mohamed

Author

Otmane Aı̈t Mohamed

Also Known As

Ait Mohamed, Otmane, Ait-Mohamed, Otmane, Hutchison, David, O. Ait Mohamed, O. Ait-Mohamed, O. Aït Mohamed, O. Mohamed, O.A. Mohamed, OTMANE AÏT MOHAMED, Otmane Ait Mohamed

194

Publications

1.3K

Citations

H-Index

123

Concepts

All Affiliations

Concordia University Polytechnique Montréal École de Technologie Supérieure University of Bouira University of Blida

About

Otmane Aı̈t Mohamed is an author at Concordia University specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	35	799
2	Biomedical Engineering	3	3	48
3	Medicine	2	2	68
4	Education	1	1	12
5	Health Sciences	1	1	16

Otmane Aı̈t Mohamed

Publications

846

Citations

H-Index

Page 1

	Year	Citations
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aı̈t Mohamed IEEE Transactions on Industrial Informatics Cluster ComputingEngineeringNetwork AnalysisDelay-tolerant NetworkingTime-triggered Traffic	2019	171
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 Lilia Lazli, Mounir Boukadoum, Otmane Aı̈t Mohamed Applied Sciences EngineeringMachine LearningBrain Regions SegmentationLongitudinal NeuroimagingSingle Modality	2020	52
Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aı̈t Mohamed Time-sensitive NetworkingEngineeringNetwork PlanningNetwork AnalysisIeee 802.1Qbv	2018	43
A formal verification framework for SysML activity diagrams Samir Ouchani, Otmane Aı̈t Mohamed, Mourad Debbabi Expert Systems with Applications Formal SpecificationEngineeringFormal Verification FrameworkFormal ModelingAutomated Reasoning	2013	37
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 Lilia Lazli, Mounir Boukadoum, Otmane Aı̈t Mohamed Brain Sciences	2019	37
On the non-termination of MDG-based abstract state enumeration Otmane Aı̈t Mohamed, Xiaoyu Song, E. Cerny Theoretical Computer Science EngineeringAutomated ReasoningComputational Model TheoryFormal MethodsComputer Science	2003	29
An Effective Approach for Parsing Large Log Files Issam Sedki, Abdelwahab Hamou‐Lhadj, Otmane Aı̈t Mohamed, Software MaintenanceEngineeringLarge Log FilesSoftware EngineeringSource Code Analysis	2022	26
A Security Risk Assessment Framework for SysML Activity Diagrams Samir Ouchani, Otmane Aı̈t Mohamed, Mourad Debbabi EngineeringInformation SecurityVerificationSysml Activity DiagramsSecurity Requirements	2013	22
Modeling and formal verification of the Fairisle ATM switch fabric using MDGs Sofiène Tahar, Xiaoyu Song, E. Cerny, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringDecision GraphsVerificationComputer-aided VerificationModel Checking	1999	22
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aı̈t Mohamed IEEE Transactions on Circuits and Systems I Regular Papers Robust Glucose ControlDiabetes ManagementLife ExperienceEngineeringInsulin Management	2021	22

Page 1