Professor of Computer Engineering, Concordia University
Verified email at - Homepage
Cited by
Cited by
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
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 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
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
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
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
Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
OA Mohamed, C Muñoz, S Tahar
Springer-Verlag, 2008
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
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
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
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
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
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
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
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
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
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
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
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
A comparative study of parallel prefix adders in FPGA implementation of EAC
F Liu, FF Forouzandeh, OA Mohamed, G Chen, X Song, Q Tan
2009 12th Euromicro Conference on Digital System Design, Architectures …, 2009
The system can't perform the operation now. Try again later.
Articles 1–20