| 2024 | ICSE | Decoding Log Parsing Challenges: A Comprehensive Taxonomy for Actionable Solutions. | Issam Sedki, Abdelwahab Hamou-Lhadj, Otmane At Mohamed, Naser Ezzati-Jivan, Mohammed A. Shehab |
| 2023 | VECoS | An Enhanced Interface-Based Probabilistic Compositional Verification Approach. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2019 | ISCAS | Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC. | Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane At Mohamed |
| 2019 | ISCAS | MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration. | Muluken Hailesellasie, Syed Rafay Hasan, Otmane At Mohamed |
| 2018 | IOLTS | Fault-Resilient Topology Planning and Traffic Configuration for IEEE 802.1Qbv TSN Networks. | Ayman A. Atallah, Ghaith Bany Hamad, Otmane At Mohamed |
| 2017 | CoDIT | Fuzzy clustering optimized with genetic algorithms: Application for hybrid speech recognition system. | Lilia Lazli, Mounir Boukadoum, Otmane At Mohamed |
| 2017 | IOLTS | Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2017 | SNPD | Hybrid possibilistic-genetic technique for assessment of brain tissues volume: Case study for Alzheimer patients images clustering. | Lilia Lazli, Mounir Boukadoum, Otmane At Mohamed |
| 2016 | FDL | Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking. | Marwan Ammar, Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2016 | FDL | Comprehensive non-functional analysis of combinational circuits vulnerability to single event transients. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2016 | ICCAD | Efficient and accurate analysis of single event transients propagation using SMT-based techniques. | Ghaith Bany Hamad, Ghaith Kazma, Otmane At Mohamed, Yvon Savaria |
| 2016 | ISCAS | Towards formal abstraction, modeling, and analysis of Single Event Transients at RTL. | Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2016 | ISCAS | Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams. | Mohammad Hossein Askari Hemmat, Otmane At Mohamed, Mounir Boukadoum |
| 2015 | DATE | Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. | Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria |
| 2015 | ICCD | A methodology to generate evenly distributed input stimuli by clustering of variable domain. | M. P. Jomu George, Otmane At Mohamed |
| 2015 | IOLTS | Efficient multilevel formal analysis and estimation of design vulnerability to Single Event Transients. | Ghaith Bany Hamad, Otmane At Mohamed, Yvon Savaria |
| 2015 | SoMeT | On the Probabilistic Verification of Time Constrained SysML State Machines. | Abdelhakim Baouya, Djamal Bennouar, Otmane At Mohamed, Samir Ouchani |
| 2014 | ISCAS | Abstracting Single Event Transient characteristics variations due to input patterns and fan-out. | Ghaith Bany Hamad, Syed Rafay Hasan, Otmane At Mohamed, Yvon Savaria |
| 2014 | MEMOCODE | Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. | Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria, Claude Thibeault |
| 2013 | ANT | Symmetry Reduction of Time-Triggered Ethernet Protocol. | Marwan Ammar, Samir Ouchani, Otmane At Mohamed |
| 2013 | FDL | A formal verification framework for Bluespec System Verilog. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2013 | SoMeT | A probabilistic verification framework of SysML activity diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2012 | ISCAS | Identification of soft error glitch-propagation paths: Leveraging SAT solvers. | Ghaith Bany Hamad, Otmane At Mohamed, Syed Rafay Hasan, Yvon Savaria |
| 2012 | ISCAS | Modeling discrete event system with distributions using SystemVerilog. | Jomu George Mani Paret, Otmane At Mohamed |
| 2012 | SEFM | Efficient Probabilistic Abstraction for SysML Activity Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2012 | SoMeT | A Probabilistic Verification Framework for SysML Activity Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi |
| 2011 | PST | Model-based systems security quantification. | Samir Ouchani, Yosr Jarraya, Otmane At Mohamed |
| 2010 | SERA | Verification of the Correctness in Composed UML Behavioural Diagrams. | Samir Ouchani, Otmane At Mohamed, Mourad Debbabi, Makan Pourzandi |
| 2009 | DSD | A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. | Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane At Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan |
| 2009 | GLOBECOM | TBCD-TDM: Novel Ultra-Low Energy Protocol for Implantable Wireless Body Sensor Networks. | Fariborz Fereydouni-Forouzandeh, Otmane At Mohamed, Mohamad Sawan, Falah R. Awwad |
| 2008 | FDL | The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2008 | ICTAC | A New Approach for the Construction of Multiway Decision Graphs. | Yassine Mokhtari, Sa'ed Abed, Otmane At Mohamed, Sofine Tahar, Xiaoyu Song |
| 2008 | SAC | Reachability analysis using multiway decision graphs in the HOL theorem prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2007 | FDL | Autometic Generation of SystemC Transactors from AsmL Specification. | Tareq Hasan Khan, Ali Habibi, Sofine Tahar, Otmane At Mohamed |
| 2007 | ISCAS | A New 10 Gbps Traffic Management algorithm for High-speed Networks. | Fariborz Fereydouni-Forouzandeh, Otmane At Mohamed |
| 2007 | ISCAS | Analysis and Performance Evaluation of a Digital Carrier Synchronizer for Modem Applications. | Sayed Hafizur Rahman, Asif Iqbal Ahmed, Otmane At Mohamed |
| 2006 | DATE | Efficient assertion based verification using TLM. | Ali Habibi, Sofine Tahar, Amer Samarah, Donglin Li, Otmane At Mohamed |
| 2004 | ATVA | First-Order LTL Model Checking Using MDGs. | Fang Wang, Sofine Tahar, Otmane At Mohamed |
| 2004 | DATE | On the Design and Verification Methodology of the Look-Aside Interface. | Ali Habibi, Asif Iqbal Ahmed, Otmane At Mohamed, Sofine Tahar |
| 1998 | CAV | Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. | Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane At Mohamed |
| 1995 | PDPTA | On Formal Verification of Occam Programs. | Otmane At Mohamed, Abdelillah Mokkedem |