On Formal Verification of Occam Programs. - Otmane Aït Mohamed; Abdelillah Mokkedem (PDPTA, 1995)

Mechanizing a pi-Calculus Equivalence in HOL. - Otmane Aït Mohamed (TPHOLs, 1995)

La théorie du pi-calcul dans le système HOL. (The pi-calculus theory in the HOL system). - Otmane Aït Mohamed (1996)

On the non-termination of MDGs-based abstract state enumeration. - Otmane Aït Mohamed; Xiaoyu Song; Eduard Cerny (CHARME, 1997)

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. - Ying Xu; Eduard Cerny; Xiaoyu Song; Francisco Corella; Otmane Aït Mohamed (CAV, 1998)

MDG-based Verification by Retiming and Combinational Transformations. - Otmane Aït Mohamed; Eduard Cerny; Xiaoyu Song (Great Lakes Symposium on VLSI, 1998)

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. - Sofiène Tahar; Xiaoyu Song; Eduard Cerny; Zijian Zhou 001; Michel Langevin; Otmane Aït Mohamed (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Formal hardware verification by integrating HOL and MDG. - V. K. Pisini; Sofiène Tahar; Paul Curzon; Otmane Aït Mohamed; Xiaoyu Song (ACM Great Lakes Symposium on VLSI, 2000)

On the non-termination of M-based abstract state enumeration. - Otmane Aït Mohamed; Xiaoyu Song; Eduard Cerny (Theor. Comput. Sci., 2003)

First-Order LTL Model Checking Using MDGs. - Fang Wang; Sofiène Tahar; Otmane Aït Mohamed (ATVA, 2004)

On the Design and Verification Methodology of the Look-Aside Interface. - Ali Habibi; Asif Iqbal Ahmed; Otmane Aït Mohamed; Sofiène Tahar (DATE, 2004)

An FPGA implementation of a modified version of RED algorithm. - Fariborz Fereydouni-Forouzandeh; Otmane Aït Mohamed (FPT, 2004)

A scalable and pipelined FPGA implementation of an OC192 WF scheduler. - Abdallah Merhebi; Otmane Aït Mohamed (FPT, 2004)

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). - Ying Xu; Xiaoyu Song; Eduard Cerny; Otmane Aït Mohamed (Comput. J., 2004)

MDG-Based State Enumeration By Retiming And Circuit Transformation. - Otmane Aït Mohamed; Xiaoyu Song; Eduard Cerny; Sofiène Tahar; Zijian Zhou 001 (J. Circuits Syst. Comput., 2004)

FPGA implementation of a modular and pipelined WF scheduler for high speed OC192 networks. - Abdallah Merhebi; Otmane Aït Mohamed (ACM Great Lakes Symposium on VLSI, 2005)

MDG-Based Verification of the Look-Aside Interface. - Donglin Li; Otmane Aït Mohamed (CCECE, 2006)

Efficient assertion based verification using TLM. - Ali Habibi; Sofiène Tahar; Amer Samarah; Donglin Li; Otmane Aït Mohamed (DATE, 2006)

Autometic Generation of SystemC Transactors from AsmL Specification. - Tareq Hasan Khan; Ali Habibi; Sofiène Tahar; Otmane Aït Mohamed (FDL, 2007)

A New 10 Gbps Traffic Management algorithm for High-speed Networks. - Fariborz Fereydouni-Forouzandeh; Otmane Aït Mohamed (ISCAS, 2007)

Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications. - Sayed Hafizur Rahman; Asif Iqbal Ahmed; Otmane Aït Mohamed (ISCAS, 2007)

Towards First-Order Symbolic Trajectory Evaluation. - Donglin Li; Otmane Aït Mohamed; Sa'ed Abed (ISMVL, 2007)

The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (FDL, 2008)

A New Approach for the Construction of Multiway Decision Graphs. - Yassine Mokhtari; Sa'ed Abed; Otmane Aït Mohamed; Sofiène Tahar; Xiaoyu Song (ICTAC, 2008)

Reachability analysis using multiway decision graphs in the HOL theorem prover. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (SAC, 2008)

LCF-style Platform based on Multiway Decision Graphs. - Sa'ed Abed; Otmane Aït Mohamed (WFLP, 2008)

LCF-style for Secure Verification Platform based on Multiway Decision Graphs. - Sa'ed Abed; Otmane Aït Mohamed (CIIA, 2009)

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. - Feng Liu 029; Fariborz Fereydouni-Forouzandeh; Otmane Aït Mohamed; Gang Chen 004; Xiaoyu Song; QingPing Tan (DSD, 2009)

TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. - Fariborz Fereydouni-Forouzandeh; Otmane Aït Mohamed; Mohamad Sawan; Falah R. Awwad (GLOBECOM, 2009)

A case study on system-level modeling by aspect-oriented programming. - Feng Liu 029; Otmane Aït Mohamed; Xiaoyu Song; QingPing Tan (ISQED, 2009)

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (J. Comput. Sci. Technol., 2009)

MDGs Reduction Technique Based on the HOL Theorem Prover. - Sa'ed Abed; Otmane Aït Mohamed (ISMVL, 2010)

Verification of the Correctness in Composed UML Behavioural Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi; Makan Pourzandi (SERA (selected papers), 2010)

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. - Feng Liu 029; Qingping Tan; Gang Chen 004; Xiaoyu Song; Otmane Aït Mohamed; Ming Gu 001 (IET Comput. Digit. Tech., 2010)

Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem. - M. P. Jomu George; Otmane Aït Mohamed (CCECE, 2011)

SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. - Ghaith Bany Hamad; Otmane Aït Mohamed; Syed Rafay Hasan; Yvon Savaria (ICECS, 2011)

Model-based systems security quantification. - Samir Ouchani; Yosr Jarraya; Otmane Aït Mohamed (PST, 2011)

NuMDG: A New Tool for Multiway Decision Graphs Construction. - Sa'ed Abed; Yassine Mokhtari; Otmane Aït Mohamed; Sofiène Tahar (J. Comput. Sci. Technol., 2011)

A novel hybrid FIFO asynchronous clock domain crossing interfacing method. - Zaid Al-bayati; Otmane Aït Mohamed; Syed Rafay Hasan; Yvon Savaria (ACM Great Lakes Symposium on VLSI, 2012)

Identification of soft error glitch-propagation paths: Leveraging SAT solvers. - Ghaith Bany Hamad; Otmane Aït Mohamed; Syed Rafay Hasan; Yvon Savaria (ISCAS, 2012)

Modeling discrete event system with distributions using SystemVerilog. - Jomu George Mani Paret; Otmane Aït Mohamed (ISCAS, 2012)

Performance analysis of TBCD protocol over Wireless Body channel. - S. G. Elangovan; Fariborz Fereydouni-Forouzandeh; Otmane Aït Mohamed (MWSCAS, 2012)

Probabilistic model checking of clock domain crossing interfaces. - Zaid Al-bayati; Otmane Aït Mohamed; Yvon Savaria; Mounir Boukadoum (NEWCAS, 2012)

Efficient Probabilistic Abstraction for SysML Activity Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SEFM, 2012)

Formal proof of integer adders using all-prefix-sums operation. - Feng Liu 029; QingPing Tan; Otmane Aït Mohamed (Sci. China Inf. Sci., 2012)

Abstract property language for MDG model checking methodology. - Sa'ed Abed; Kamran Hussain; Otmane Aït Mohamed (Int. J. Comput. Appl. Technol., 2012)

Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. - Asif Iqbal Ahmed; Sayed Hafizur Rahman; Otmane Aït Mohamed; Sa'ed Abed (Int. J. Comput. Appl. Technol., 2012)

MDG-SAT: an automated methodology for efficient safety checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Sa'ed Abed; Mounir Boukadoum (Int. J. Crit. Comput. Based Syst., 2012)

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. - Samir Ouchani; Yosr Jarraya; Otmane Aït Mohamed; Mourad Debbabi (J. Softw., 2012)

Symmetry Reduction of Time-Triggered Ethernet Protocol. - Marwan Ammar; Samir Ouchani; Otmane Aït Mohamed (ANT/SEIT, 2013)

A formal verification framework for Bluespec System Verilog. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (FDL, 2013)

Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria; Claude Thibeault (FTSCS, 2013)

Coverage Driven Test Generation and Consistency Algorithm. - Jomu George Mani Paret; Otmane Aït Mohamed (KDPD, 2013)

A probabilistic verification framework of SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SoMeT, 2013)

A Security Risk Assessment Framework for SysML Activity Diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (SERE, 2013)

Automatic verification of reduction techniques in Higher Order Logic. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (Formal Aspects Comput., 2013)

Probabilistic model checking of single event transient propagation at RTL level. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2014)

Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom. - Mohammadhossein Askarihemmat; Otmane Aït Mohamed; Mounir Boukadoum (ICM, 2014)

Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (ISCAS, 2014)

Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria; Claude Thibeault (MEMOCODE, 2014)

Modeling, analyzing, and abstracting single event transient propagation at gate level. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (MWSCAS, 2014)

A formal verification framework for SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (Expert Syst. Appl., 2014)

A property-based abstraction framework for SysML activity diagrams. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (Knowl. Based Syst., 2014)

Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (DATE, 2015)

A methodology to generate evenly distributed input stimuli by clustering of variable domain. - M. P. Jomu George; Otmane Aït Mohamed (ICCD, 2015)

Formal modeling, verification and implementation of a train control system. - Mohammadhossein Askarihemmat; Otmane Aït Mohamed; Mounir Boukadoum (ICM, 2015)

Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (IOLTS, 2015)

Optimum domain partitioning to increase functional verification coverage. - Jomu George Mani Paret; Otmane Aït Mohamed (ISQED, 2015)

On the Probabilistic Verification of Time Constrained SysML State Machines. - Abdelhakim Baouya; Djamal Bennouar; Otmane Aït Mohamed; Samir Ouchani (SoMeT, 2015)

Special issue on contributions of computational intelligence in designing complex information systems. - Ladjel Bellatreche; Abdelmalek Amine; Otmane Aït Mohamed (Computing, 2015)

A quantitative verification framework of SysML activity diagrams under time constraints. - Abdelhakim Baouya; Djamal Bennouar; Otmane Aït Mohamed; Samir Ouchani (Expert Syst. Appl., 2015)

Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. - Ghaith Bany Hamad; Syed Rafay Hasan; Otmane Aït Mohamed; Yvon Savaria (Microelectron. Reliab., 2015)

Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (FDL, 2016)

Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (FDL, 2016)

Efficient and accurate analysis of single event transients propagation using SMT-based techniques. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (ICCAD, 2016)

Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2016)

Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ISCAS, 2016)

Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. - Mohammad Hossein Askari Hemmat; Otmane Aït Mohamed; Mounir Boukadoum (ISCAS, 2016)

A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound. - Mohammad M. Baba; Otmane Aït Mohamed; Falah R. Awwad; Mohammad I. Daoud (NEWCAS, 2016)

Formal analysis of fault tree using probabilistic model checking: A solar array case study. - Marwan Ammar; Khaza Anuarul Hoque; Otmane Aït Mohamed (SysCon, 2016)

Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (SysCon, 2016)

HMM/MLP speech recognition system using a novel data clustering approach. - Lilia Lazli; Mounir Boukadoum; Otmane Aït Mohamed (CCECE, 2017)

Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system. - Lilia Lazli; Mounir Boukadoum; Otmane Aït Mohamed (CoDIT, 2017)

Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ACM Great Lakes Symposium on VLSI, 2017)

Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. - Ghaith Bany Hamad; Ghaith Kazma; Otmane Aït Mohamed; Yvon Savaria (IOLTS, 2017)

Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to ADNI phantom images. - Lilia Lazli; Mounir Boukadoum; Otmane Aït Mohamed (IPTA, 2017)

Diagnosis of Auditory Pathologies with Hidden Markov Models. - Lilia Lazli; Mounir Boukadoum; Mohamed Tayeb Laskri; Otmane Aït Mohamed (IWBBIO (1), 2017)

Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. - Ghaith Kazma; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (NEWCAS, 2017)

Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering. - Lilia Lazli; Mounir Boukadoum; Otmane Aït Mohamed (SNPD, 2017)

Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. - Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (J. Electron. Test., 2017)

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (J. Appl. Log., 2017)

Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (ICECS, 2018)

Reliability-Aware Routing of AVB Streams in TSN Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEA/AIE, 2018)

Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IOLTS, 2018)

New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. - Ghaith Bany Hamad; Marwan Ammar; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2018)

Technological Advances in Applied Intelligence (IEA/AIE-2018). - Malek Mouhoub; Samira Sadaoui; Otmane Aït Mohamed; Moonis Ali (AI Mag., 2018)

Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (CoRR, 2018)

A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe. - Mohammad I. Daoud; Abdel-Latif Alshalalfah; Otmane Aït Mohamed; Rami Alazrai (Medical Image Anal., 2018)

Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEA/AIE, 2019)

Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (ISCAS, 2019)

MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration. - Muluken Hailesellasie; Syed Rafay Hasan; Otmane Aït Mohamed (ISCAS, 2019)

Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed (LATS, 2019)

Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (LATS, 2019)

High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed; Mounir Boukadoum (NEWCAS, 2019)

Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). - Marwan Ammar; Ghaith Bany Hamad; Otmane Aït Mohamed; Yvon Savaria (IEEE Access, 2019)

Safety analysis of train control system based on model-driven design methodology. - Abdelhakim Baouya; Otmane Aït Mohamed; Djamal Bennouar; Samir Ouchani (Comput. Ind., 2019)

Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. - Khaza Anuarul Hoque; Otmane Aït Mohamed; Yvon Savaria (Reliab. Eng. Syst. Saf., 2019)

System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (EMBC, 2020)

System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. - Abdel-Latif Alshalalfah; Otmane Aït Mohamed (ICECS, 2020)

Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. - Abdel-Latif Alshalalfah; Ghaith Bany Hamad; Otmane Aït Mohamed (NEWCAS, 2020)

Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. - Ayman A. Atallah; Ghaith Bany Hamad; Otmane Aït Mohamed (IEEE Trans. Ind. Informatics, 2020)

Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. - Mohamed Abdelhamid; Ayman A. Atallah; Marwan Ammar; Otmane Aït Mohamed (MWSCAS, 2021)

Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. - Ashkan Samadi; Marwan Ammar; Otmane Aït Mohamed (NEWCAS, 2021)

AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed (CoRR, 2021)

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. - Abdelhakim Baouya; Otmane Aït Mohamed; Samir Ouchani; Djamal Bennouar (Expert Syst. Appl., 2021)

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 Trans. Circuits Syst. I Regul. Pap., 2021)

SEU Reliability Assessment Framework for COTS Many-core Processors. - Chifa Dammak; Otmane Aït Mohamed; Mounir Boukadoum (ICM, 2022)

An Effective Approach for Parsing Large Log Files. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed; Mohammed A. Shehab (ICSME, 2022)

Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. - Sowmith Nethula; Vivek Bansal; Ghaith Bany Hamad; Otmane Aït Mohamed (ISQED, 2022)

META: A Layout Based Tool to Estimate the Vulnerability of Digital Circuits to Multiple Event Transient. - Vivek Bansal; Otmane Aït Mohamed; Sowmith Nethula (NEWCAS, 2022)

Layout-based reliability analysis of openMSP430 register file under external radiations. - Vivek Bansal; Otmane Aït Mohamed; Fakhreddine Ghaffari (ICM, 2023)

Towards a Classification of Log Parsing Errors. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed; Naser Ezzati-Jivan (ICPC, 2023)

Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. - Ashkan Samadi; Marwan Ammar; Otmane Aït Mohamed (NEWCAS, 2023)

An Enhanced Interface-Based Probabilistic Compositional Verification Approach. - Samir Ouchani; Otmane Aït Mohamed; Mourad Debbabi (VECoS, 2023)

Toward a context-driven deployment optimization for embedded systems: a product line approach. - Abdelhakim Baouya; Otmane Aït Mohamed; Samir Ouchani (J. Supercomput., 2023)

A framework for modeling and analyzing cyber-physical systems using statistical model checking. - Abdel-Latif Alshalalfah; Otmane Aït Mohamed; Samir Ouchani (Internet Things, 2023)

Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (SEAA, 2024)

Decoding Log Parsing Challenges: A Comprehensive Taxonomy for Actionable Solutions. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed; Naser Ezzati-Jivan; Mohammed A. Shehab (ICSE Companion, 2024)

Advanced SEU and MBU Vulnerability Assessment of Deep Neural Networks in Air-to-Air Collision Avoidance Systems via SAT-Based Techniques. - Ashkan Samadi; Abdellah Harous; Otmane Aït Mohamed; Mounir Boukadoum (MWSCAS, 2024)

AML: An accuracy metric model for effective evaluation of log parsing techniques. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed (J. Syst. Softw., 2024)

Developing a Taxonomy for Advanced Log Parsing Techniques. - Issam Sedki; Abdelwahab Hamou-Lhadj; Otmane Aït Mohamed; Naser Ezzati-Jivan (ICPC, 2025)

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (Ad Hoc Networks, 2025)

Comprehensive analysis of Transformer networks in identifying informative sentences containing customer needs. - Mehrshad Kashi; Salim Lahmiri; Otmane Aït Mohamed (Expert Syst. Appl., 2025)