Otmane Aït Mohamed

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 56

Top Venues

Publications

Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan, Mohammed A. Shehab
Decoding Log Parsing Challenges: A Comprehensive Taxonomy for Actionable Solutions. ICSE Companion (2024)
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 (2023)
Vivek Bansal, Otmane Aït Mohamed, Fakhreddine Ghaffari
Layout-based reliability analysis of openMSP430 register file under external radiations. ICM (2023)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. VECoS (2023)
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan
Towards a Classification of Log Parsing Errors. ICPC (2023)
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) (2023)
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)
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)
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. ISQED (2022)
Chifa Dammak, Otmane Aït Mohamed, Mounir Boukadoum
SEU Reliability Assessment Framework for COTS Many-core Processors. ICM (2022)
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Mohammed A. Shehab
An Effective Approach for Parsing Large Log Files. ICSME (2022)
Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed
Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. NEWCAS (2021)
Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed
Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. MWSCAS (2021)
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. Pap. 68 (8) (2021)
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 (2021)
Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed
AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. CoRR (2021)
Abdel-Latif Alshalalfah, Otmane Aït Mohamed
System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. ICECS (2020)
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. NEWCAS (2020)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics 16 (7) (2020)
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. EMBC (2020)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access 7 (2019)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliab. Eng. Syst. Saf. 182 (2019)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. LATS (2019)
Muluken Hailesellasie, Syed Rafay Hasan, Otmane Aït Mohamed
MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration. ISCAS (2019)
Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS (2019)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum
High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS (2019)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE (2019)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed
Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS (2019)
Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
Safety analysis of train control system based on model-driven design methodology. Comput. Ind. 105 (2019)
Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria
New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access 6 (2018)
Mohammad I. Daoud, Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Rami Alazrai
A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe. Medical Image Anal. 50 (2018)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. IOLTS (2018)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. CoRR (2018)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS (2018)
Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE (2018)
Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali
Technological Advances in Applied Intelligence (IEA/AIE-2018). AI Mag. 39 (4) (2018)
Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to ADNI phantom images. IPTA (2017)
Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering. SNPD (2017)
Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. ACM Great Lakes Symposium on VLSI (2017)
Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. NEWCAS (2017)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications. CoRR (2017)
Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
HMM/MLP speech recognition system using a novel data clustering approach. CCECE (2017)
Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS (2017)
Lilia Lazli, Mounir Boukadoum, Mohamed Tayeb Laskri, Otmane Aït Mohamed
Diagnosis of Auditory Pathologies with Hidden Markov Models. IWBBIO (1) (2017)
Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system. CoDIT (2017)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. 33 (5) (2017)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Appl. Log. 25 (2017)
Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed
Formal analysis of fault tree using probabilistic model checking: A solar array case study. SysCon (2016)
Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. FDL (2016)
Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL (2016)
Mohammad M. Baba, Otmane Aït Mohamed, Falah R. Awwad, Mohammad I. Daoud
A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound. NEWCAS (2016)
Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
Efficient and accurate analysis of single event transients propagation using SMT-based techniques. ICCAD (2016)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. SysCon (2016)
Mohammad Hossein Askari Hemmat, Otmane Aït Mohamed, Mounir Boukadoum
Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. ISCAS (2016)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS (2016)
Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. ICECS (2016)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT (2015)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS (2015)
Ladjel Bellatreche, Abdelmalek Amine, Otmane Aït Mohamed
Special issue on contributions of computational intelligence in designing complex information systems. Computing 97 (7) (2015)
Mohammadhossein Askarihemmat, Otmane Aït Mohamed, Mounir Boukadoum
Formal modeling, verification and implementation of a train control system. ICM (2015)
Jomu George Mani Paret, Otmane Aït Mohamed
Optimum domain partitioning to increase functional verification coverage. ISQED (2015)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. 42 (21) (2015)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. DATE (2015)
M. P. Jomu George, Otmane Aït Mohamed
A methodology to generate evenly distributed input stimuli by clustering of variable domain. ICCD (2015)
Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Microelectron. Reliab. 55 (1) (2015)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. 56 (2014)
Mohammadhossein Askarihemmat, Otmane Aït Mohamed, Mounir Boukadoum
Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom. ICM (2014)
Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. ISCAS (2014)
Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
Modeling, analyzing, and abstracting single event transient propagation at gate level. MWSCAS (2014)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41 (6) (2014)
Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
Probabilistic model checking of single event transient propagation at RTL level. ICECS (2014)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. MEMOCODE (2014)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A formal verification framework for Bluespec System Verilog. FDL (2013)
Jomu George Mani Paret, Otmane Aït Mohamed
Coverage Driven Test Generation and Consistency Algorithm. KDPD (2013)
Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A Security Risk Assessment Framework for SysML Activity Diagrams. SERE (2013)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. 25 (6) (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A probabilistic verification framework of SysML activity diagrams. SoMeT (2013)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. FTSCS (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM (2012)
Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed
Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. Int. J. Comput. Appl. Technol. 45 (1) (2012)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT (2012)
Zaid Al-bayati, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
A novel hybrid FIFO asynchronous clock domain crossing interfacing method. ACM Great Lakes Symposium on VLSI (2012)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum
MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum
Probabilistic model checking of clock domain crossing interfaces. NEWCAS (2012)
Jomu George Mani Paret, Otmane Aït Mohamed
Modeling discrete event system with distributions using SystemVerilog. ISCAS (2012)
S. G. Elangovan, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed
Performance analysis of TBCD protocol over Wireless Body channel. MWSCAS (2012)
Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS (2012)
Feng Liu, QingPing Tan, Otmane Aït Mohamed
Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. 55 (9) (2012)
Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed
Abstract property language for MDG model checking methodology. Int. J. Comput. Appl. Technol. 44 (1) (2012)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7 (7) (2012)
Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. ICECS (2011)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed
Model-based systems security quantification. PST (2011)
M. P. Jomu George, Otmane Aït Mohamed
Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem. CCECE (2011)
Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar
NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26 (1) (2011)
Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. 4 (4) (2010)
Sa'ed Abed, Otmane Aït Mohamed
MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL (2010)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi
Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) (2010)
Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Mohamad Sawan, Falah R. Awwad
TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. GLOBECOM (2009)
Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, QingPing Tan
A case study on system-level modeling by aspect-oriented programming. ISQED (2009)

Otmane Aït Mohamed.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Otmane Aït Mohamed