| Routing and scheduling of time-triggered traffic in time-sensitive networks AA Atallah, GB Hamad, OA Mohamed IEEE Transactions on Industrial Informatics 16 (7), 4525-4534, 2019 | 166 | 2019 |
| A formal verification framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Expert Systems with Applications 41 (6), 2713-2728, 2014 | 60 | 2014 |
| Fault-resilient topology planning and traffic configuration for IEEE 802.1 Qbv TSN networks AA Atallah, GB Hamad, OA Mohamed 2018 IEEE 24th International Symposium on On-Line Testing And Robust System …, 2018 | 59 | 2018 |
| Model checking for a first-order temporal logic using multiway decision graphs (MDGs) Y Xu, X Song, E Cerny, OA Mohamed The Computer Journal 47 (1), 71-84, 2004 | 53 | 2004 |
| 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 … L Lazli, M Boukadoum, OA Mohamed Applied Sciences 10 (5), 1894, 2020 | 52 | 2020 |
| Model checking for a first-order temporal logic using multiway decision graphs Y Xu, E Cerny, X Song, F Corella, O Ait Mohamed Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 44 | 1998 |
| Computer-aided diagnosis system of Alzheimer’s disease based on multimodal fusion: tissue quantification based on the hybrid fuzzy-genetic-possibilistic model and … L Lazli, M Boukadoum, O Ait Mohamed Brain Sciences 9 (10), 289, 2019 | 34 | 2019 |
| Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking KA Hoque, OA Mohamed, Y Savaria 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 33 | 2015 |
| On the non-termination of MDG-based abstract state enumeration OA Mohamed, X Song, E Cerny Theoretical Computer Science 300 (1-3), 161-179, 2003 | 32 | 2003 |
| Modeling and formal verification of the Fairisle ATM switch fabric using MDGs S Tahar, X Song, E Cerny, Z Zhou, M Langevin, O Ait-Mohamed IEEE transactions on computer-aided design of integrated circuits and …, 1999 | 32 | 1999 |
| Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings OA Mohamed, C Muñoz, S Tahar Springer Science & Business Media, 2008 | 31 | 2008 |
| New insights into the single event transient propagation through static and TSPC logic GB Hamad, SR Hasan, OA Mohamed, Y Savaria IEEE Transactions on Nuclear Science 61 (4), 1618-1627, 2014 | 30 | 2014 |
| Built-in self-test design of motion estimation computing array L Donglin, M Hu, OA Mohamed The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS …, 2004 | 29 | 2004 |
| Efficient assertion based verification using TLM A Habibi, S Tahar, A Samarah, D Li, OA Mohamed Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006 | 28 | 2006 |
| An effective approach for parsing large log files I Sedki, A Hamou-Lhadj, O Ait-Mohamed, MA Shehab 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 27 | 2022 |
| Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits GB Hamad, SR Hasan, OA Mohamed, Y Savaria Microelectronics Reliability 55 (1), 238-250, 2015 | 27 | 2015 |
| Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications KA Hoque, OA Mohamed, Y Savaria, C Thibeault 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 25 | 2014 |
| Reliability-aware routing of AVB streams in TSN networks AA Atallah, G Bany Hamad, O Ait Mohamed Recent Trends and Future Technology in Applied Intelligence: 31st …, 2018 | 24 | 2018 |
| Towards safe and robust closed-loop artificial pancreas using improved PID-based control strategies AL Alshalalfah, GB Hamad, OA Mohamed IEEE Transactions on Circuits and Systems I: Regular Papers 68 (8), 3147-3157, 2021 | 23 | 2021 |
| Early analysis of soft error effects for aerospace applications using probabilistic model checking KA Hoque, O Ait Mohamed, Y Savaria, C Thibeault International Workshop on Formal Techniques for Safety-Critical Systems, 54-70, 2013 | 23 | 2013 |
