| 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 | 136 | 2019 |
| A formal verification framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Expert Systems with Applications 41 (6), 2713-2728, 2014 | 59 | 2014 |
| 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 | 55 | 2004 |
| 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 | 53 | 2018 |
| 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 |
| 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 | 43 | 2020 |
| 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 | 33 | 2019 |
| Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics OA Mohamed, C Muñoz, S Tahar Springer-Verlag, 2008 | 33* | 2008 |
| 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 |
| 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 | 30 | 2015 |
| 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 |
| 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 | 28 | 2014 |
| 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 | 27 | 2006 |
| 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 | 26 | 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 |
| Safety analysis of train control system based on model-driven design methodology A Baouya, OA Mohamed, D Bennouar, S Ouchani Computers in Industry 105, 1-16, 2019 | 22 | 2019 |
| 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 | 22 | 2018 |
| Early analysis of soft error effects for aerospace applications using probabilistic model checking KA Hoque, O Ait Mohamed, Y Savaria, C Thibeault Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014 | 22 | 2014 |
| A probabilistic and timed verification approach of SysML state machine diagram A Baouya, D Bennouar, OA Mohamed, S Ouchani 2015 12th International Symposium on Programming and Systems (ISPS), 1-9, 2015 | 21 | 2015 |
