Otmane Aït Mohamed

143 papers A* 1A 7B 4C 31Misc 2Journal 38Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Model-based dependability and performance analysis for satellite systems with collaborative maintenance maneuvers via stochastic games. J. Syst. Softw. Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025	J	`jnl`	Comprehensive analysis of Transformer networks in identifying informative sentences containing customer needs. Expert Syst. Appl. Mehrshad Kashi, Salim Lahmiri, Otmane Aït Mohamed
2025	J	`jnl`	Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. Ad Hoc Networks Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2025	A	`conf`	Developing a Taxonomy for Advanced Log Parsing Techniques. ICPC Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan
2025	—	`conf`	Systematic Framework Leveraging Early Assessment of DNN Reliability for Efficient and Reliable FPGA-Based Inference Deployment. ICECS Nguyen Trinh Vu Dang, Otmane Aït Mohamed, Fakhreddine Ghaffari
2024	J	`jnl`	AML: An accuracy metric model for effective evaluation of log parsing techniques. J. Syst. Softw. Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed
2024	—	`conf`	Advanced SEU and MBU Vulnerability Assessment of Deep Neural Networks in Air-to-Air Collision Avoidance Systems via SAT-Based Techniques. MWSCAS Ashkan Samadi, Abdellah Harous, Otmane Aït Mohamed, Mounir Boukadoum
2024	—	`conf`	Decoding Log Parsing Challenges: A Comprehensive Taxonomy for Actionable Solutions. ICSE Companion Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan, Mohammed A. Shehab
2024	B	`conf`	Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. SEAA Abdelhakim Baouya, Brahim Hamid, Otmane Aït Mohamed, Saddek Bensalem
2023	J	`jnl`	A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet Things Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Samir Ouchani
2023	C	`conf`	An Enhanced Interface-Based Probabilistic Compositional Verification Approach. VECoS Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2023	—	`conf`	Layout-based reliability analysis of openMSP430 register file under external radiations. ICM Vivek Bansal, Otmane Aït Mohamed, Fakhreddine Ghaffari
2023	—	`conf`	Statistical Model Checking based Analysis of Fault Trees and Power Consumption to Enhance Autonomous Systems Reliability. NEWCAS Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed
2023	J	`jnl`	Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
2023	A	`conf`	Towards a Classification of Log Parsing Errors. ICPC Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Naser Ezzati-Jivan
2022	A	`conf`	An Effective Approach for Parsing Large Log Files. ICSME Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed, Mohammed A. Shehab
2022	—	`conf`	Layout-based Vulnerability Analysis of LEON3 Processor to Single Event Multiple Transients using Satisfiability Modulo Theories. ISQED Sowmith Nethula, Vivek Bansal, Ghaith Bany Hamad, Otmane Aït Mohamed
2022	—	`conf`	META: A Layout Based Tool to Estimate the Vulnerability of Digital Circuits to Multiple Event Transient. NEWCAS Vivek Bansal, Otmane Aït Mohamed, Sowmith Nethula
2022	—	`conf`	SEU Reliability Assessment Framework for COTS Many-core Processors. ICM Chifa Dammak, Otmane Aït Mohamed, Mounir Boukadoum
2021	J	`jnl`	AWSOM-LP: An Effective Log Parsing Technique Using Pattern Recognition and Frequency Analysis. CoRR Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane Aït Mohamed
2021	—	`conf`	Dynamic Fault Tree Analysis and Risk Mitigation Strategies of Data Communication System via Statistical Model Checking. NEWCAS Ashkan Samadi, Marwan Ammar, Otmane Aït Mohamed
2021	—	`conf`	Reliability Analysis Of Autonomous UAV Communication Using Statistical Model Checking. MWSCAS Mohamed Abdelhamid, Ayman A. Atallah, Marwan Ammar, Otmane Aït Mohamed
2021	J	`jnl`	Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar
2021	J	`jnl`	Towards Safe and Robust Closed-Loop Artificial Pancreas Using Improved PID-Based Control Strategies. IEEE Trans. Circuits Syst. I Regul. Pap. Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	J	`jnl`	Routing and Scheduling of Time-Triggered Traffic in Time-Sensitive Networks. IEEE Trans. Ind. Informatics Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	—	`conf`	System-Level Analysis of Closed-Loop Anesthesia Control Under Temporal Sensor Faults via UPPAAL-SMC. EMBC Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2020	—	`conf`	System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. ICECS Abdel-Latif Alshalalfah, Otmane Aït Mohamed
2020	—	`conf`	Towards Safe and Robust Closed-Loop Artificial Pancreas Using Adaptive Weighted PID Control Strategy. NEWCAS Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	J	`jnl`	Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliab. Eng. Syst. Saf. Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2019	—	`conf`	High-Level Availability Analysis of FPGA-Based Time-Sensitive Networks. NEWCAS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed, Mounir Boukadoum
2019	C	`conf`	MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration. ISCAS Muluken Hailesellasie, Syed Rafay Hasan, Otmane Aït Mohamed
2019	C	`conf`	Multipath Routing of Mixed-Critical Traffic in Time Sensitive Networks. IEA/AIE Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	—	`conf`	Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs). LATS Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	—	`conf`	Reliability Analysis of TSN Networks Under SEU Induced Soft Error Using Model Checking. LATS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	J	`jnl`	Safety analysis of train control system based on model-driven design methodology. Comput. Ind. Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
2019	C	`conf`	Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. ISCAS Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane Aït Mohamed
2019	J	`jnl`	Towards an Accurate Probabilistic Modeling and Statistical Analysis of Temporal Faults via Temporal Dynamic Fault-Trees (TDFTs). IEEE Access Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2018	J	`jnl`	A hybrid camera- and ultrasound-based approach for needle localization and tracking using a 3D motorized curvilinear ultrasound probe. Medical Image Anal. Mohammad I. Daoud, Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Rami Alazrai
2018	—	`ed.`	Computational Intelligence and Its Applications - 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings CIIA Abdelmalek Amine, Malek Mouhoub, Otmane Aït Mohamed, Bachir Djebbar
2018	C	`conf`	Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. IOLTS Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2018	J	`jnl`	Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. CoRR Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2018	J	`jnl`	New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria
2018	C	`ed.`	Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings IEA/AIE Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali
2018	—	`conf`	Reliability Analysis of the SPARC V8 Architecture via Fault Trees and UPPAL-SMC. ICECS Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2018	C	`conf`	Reliability-Aware Routing of AVB Streams in TSN Networks. IEA/AIE Ayman A. Atallah, Ghaith Bany Hamad, Otmane Aït Mohamed
2018	J	`jnl`	Technological Advances in Applied Intelligence (IEA/AIE-2018). AI Mag. Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali
2017	—	`conf`	Analysis of SEU Propagation in Combinational Circuits at RTL Based on Satisfiability Modulo Theories. ACM Great Lakes Symposium on VLSI Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2017	—	`conf`	Analysis of SEU propagation in sequential circuits at RTL using Satisfiability Modulo Theories. NEWCAS Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2017	—	`conf`	Brain tissue classification of alzheimer disease using partial volume possibilistic modeling: Application to ADNI phantom images. IPTA Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
2017	C	`conf`	Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. IOLTS Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2017	—	`conf`	Diagnosis of Auditory Pathologies with Hidden Markov Models. IWBBIO (1) Lilia Lazli, Mounir Boukadoum, Mohamed Tayeb Laskri, Otmane Aït Mohamed
2017	J	`jnl`	Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications. CoRR Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2017	J	`jnl`	Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. J. Electron. Test. Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2017	J	`jnl`	Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Appl. Log. Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2017	C	`conf`	Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system. CoDIT Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
2017	—	`conf`	HMM/MLP speech recognition system using a novel data clustering approach. CCECE Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
2017	C	`conf`	Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering. SNPD Lilia Lazli, Mounir Boukadoum, Otmane Aït Mohamed
2016	—	`conf`	A low-cost camera-based transducer tracking system for freehand three-dimensional ultrasound. NEWCAS Mohammad M. Baba, Otmane Aït Mohamed, Falah R. Awwad, Mohammad I. Daoud
2016	—	`conf`	Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. SysCon Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. FDL Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2016	A	`conf`	Efficient and accurate analysis of single event transients propagation using SMT-based techniques. ICCAD Ghaith Bany Hamad, Ghaith Kazma, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. FDL Marwan Ammar, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2016	—	`conf`	Formal analysis of fault tree using probabilistic model checking: A solar array case study. SysCon Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed
2016	—	`conf`	Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis. ICECS Ghaith Kazma, Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2016	C	`conf`	Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. ISCAS Mohammad Hossein Askari Hemmat, Otmane Aït Mohamed, Mounir Boukadoum
2016	C	`conf`	Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. ISCAS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2015	C	`conf`	A methodology to generate evenly distributed input stimuli by clustering of variable domain. ICCD M. P. Jomu George, Otmane Aït Mohamed
2015	J	`jnl`	A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
2015	J	`jnl`	Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits. Microelectron. Reliab. Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2015	C	`conf`	Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. IOLTS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2015	—	`conf`	Formal modeling, verification and implementation of a train control system. ICM MohammadHossein AskariHemmat, Otmane Aït Mohamed, Mounir Boukadoum
2015	C	`conf`	On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
2015	—	`conf`	Optimum domain partitioning to increase functional verification coverage. ISQED Jomu George Mani Paret, Otmane Aït Mohamed
2015	J	`jnl`	Special issue on contributions of computational intelligence in designing complex information systems. Computing Ladjel Bellatreche, Abdelmalek Amine, Otmane Aït Mohamed
2015	A	`conf`	Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. DATE Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2014	J	`jnl`	A formal verification framework for SysML activity diagrams. Expert Syst. Appl. Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2014	J	`jnl`	A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2014	C	`conf`	Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. ISCAS Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2014	—	`conf`	Automatic mapping of AF3 specifications to ARM cortex-M based FRDM platfrom. ICM MohammadHossein AskariHemmat, Otmane Aït Mohamed, Mounir Boukadoum
2014	—	`conf`	Modeling, analyzing, and abstracting single event transient propagation at gate level. MWSCAS Ghaith Bany Hamad, Syed Rafay Hasan, Otmane Aït Mohamed, Yvon Savaria
2014	C	`conf`	Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. MEMOCODE Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
2014	—	`conf`	Probabilistic model checking of single event transient propagation at RTL level. ICECS Ghaith Bany Hamad, Otmane Aït Mohamed, Yvon Savaria
2013	—	`conf`	A Security Risk Assessment Framework for SysML Activity Diagrams. SERE Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013	C	`conf`	A formal verification framework for Bluespec System Verilog. FDL Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013	C	`conf`	A probabilistic verification framework of SysML activity diagrams. SoMeT Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2013	J	`jnl`	Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2013	—	`conf`	Coverage Driven Test Generation and Consistency Algorithm. KDPD Jomu George Mani Paret, Otmane Aït Mohamed
2013	—	`conf`	Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. FTSCS Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
2013	—	`book`	Modeling Approaches and Algorithms for Advanced Computer Applications Abdelmalek Amine, Otmane Aït Mohamed, Ladjel Bellatreche
2013	—	`conf`	Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed
2012	C	`conf`	A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2012	—	`conf`	A novel hybrid FIFO asynchronous clock domain crossing interfacing method. ACM Great Lakes Symposium on VLSI Zaid Al-bayati, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
2012	J	`jnl`	Abstract property language for MDG model checking methodology. Int. J. Comput. Appl. Technol. Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed
2012	B	`conf`	Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
2012	J	`jnl`	Formal proof of integer adders using all-prefix-sums operation. Sci. China Inf. Sci. Feng Liu, Qingping Tan, Otmane Aït Mohamed
2012	C	`conf`	Identification of soft error glitch-propagation paths: Leveraging SAT solvers. ISCAS Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
2012	J	`jnl`	MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum
2012	C	`conf`	Modeling discrete event system with distributions using SystemVerilog. ISCAS Jomu George Mani Paret, Otmane Aït Mohamed
2012	—	`conf`	Performance analysis of TBCD protocol over Wireless Body channel. MWSCAS S. G. Elangovan, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed
2012	J	`jnl`	Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
2012	—	`conf`	Probabilistic model checking of clock domain crossing interfaces. NEWCAS Zaid Al-bayati, Otmane Aït Mohamed, Yvon Savaria, Mounir Boukadoum
2012	—	`ed.`	Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), Saida, Algeria, December 13-15, 2011 CIIA Abdelmalek Amine, Otmane Aït Mohamed, Boualem Benatallah, Zakaria Elberrichi
2012	J	`jnl`	Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. Int. J. Comput. Appl. Technol. Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed
2011	C	`conf`	Model-based systems security quantification. PST Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed
2011	J	`jnl`	NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar
2011	—	`conf`	Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem. CCECE M. P. Jomu George, Otmane Aït Mohamed
2011	—	`conf`	SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level. ICECS Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria
2010	J	`jnl`	Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
2010	—	`conf`	MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL Sa'ed Abed, Otmane Aït Mohamed
2010	—	`conf`	Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi
2009	C	`conf`	A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, Qingping Tan
2009	—	`conf`	A case study on system-level modeling by aspect-oriented programming. ISQED Feng Liu, Otmane Aït Mohamed, Xiaoyu Song, Qingping Tan
2009	J	`jnl`	An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2009	—	`conf`	LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA Sa'ed Abed, Otmane Aït Mohamed
2009	—	`ed.`	Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), Saida, Algeria, May 3-4, 2009 CIIA Abdelmalek Amine, Otmane Aït Mohamed, Zakaria Elberrichi
2009	B	`conf`	TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. GLOBECOM Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Mohamad Sawan, Falah R. Awwad
2008	C	`conf`	A New Approach for the Construction of Multiway Decision Graphs. ICTAC Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song
2008	—	`conf`	LCF-style Platform based on Multiway Decision Graphs. WFLP Sa'ed Abed, Otmane Aït Mohamed
2008	Misc	`conf`	Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2008	C	`conf`	The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2008	—	`ed.`	Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings TPHOLs Otmane Aït Mohamed, César A. Muñoz, Sofiène Tahar
2007	C	`conf`	A New 10 Gbps Traffic Management algorithm for High-speed Networks. ISCAS Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed
2007	C	`conf`	Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications. ISCAS Sayed Hafizur Rahman, Asif Iqbal Ahmed, Otmane Aït Mohamed
2007	C	`conf`	Autometic Generation of SystemC Transactors from AsmL Specification. FDL Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed
2007	—	`conf`	Towards First-Order Symbolic Trajectory Evaluation. ISMVL Donglin Li, Otmane Aït Mohamed, Sa'ed Abed
2006	A	`conf`	Efficient assertion based verification using TLM. DATE Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed
2006	—	`conf`	MDG-Based Verification of the Look-Aside Interface. CCECE Donglin Li, Otmane Aït Mohamed
2005	—	`conf`	FPGA implementation of a modular and pipelined WF scheduler for high speed OC192 networks. ACM Great Lakes Symposium on VLSI Abdallah Merhebi, Otmane Aït Mohamed
2004	—	`conf`	A scalable and pipelined FPGA implementation of an OC192 WF scheduler. FPT Abdallah Merhebi, Otmane Aït Mohamed
2004	—	`conf`	An FPGA implementation of a modified version of RED algorithm. FPT Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed
2004	B	`conf`	First-Order LTL Model Checking Using MDGs. ATVA Fang Wang, Sofiène Tahar, Otmane Aït Mohamed
2004	J	`jnl`	MDG-Based State Enumeration By Retiming And Circuit Transformation. J. Circuits Syst. Comput. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou
2004	J	`jnl`	Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). Comput. J. Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed
2004	A	`conf`	On the Design and Verification Methodology of the Look-Aside Interface. DATE Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar
2003	J	`jnl`	On the non-termination of M-based abstract state enumeration. Theor. Comput. Sci. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
2000	—	`conf`	Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
1999	J	`jnl`	Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed
1998	—	`conf`	MDG-based Verification by Retiming and Combinational Transformations. Great Lakes Symposium on VLSI Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song
1998	A*	`conf`	Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. CAV Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed
1997	—	`conf`	On the non-termination of MDGs-based abstract state enumeration. CHARME Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
1996	—	`—`	La théorie du pi-calcul dans le système HOL. (The pi-calculus theory in the HOL system). Otmane Aït Mohamed
1995	—	`conf`	Mechanizing a pi-Calculus Equivalence in HOL. TPHOLs Otmane Aït Mohamed
1995	Misc	`conf`	On Formal Verification of Occam Programs. PDPTA Otmane Aït Mohamed, Abdelillah Mokkedem