Follow
Otmane AIT MOHAMED
Otmane AIT MOHAMED
Professor of Computer Engineering, Concordia University
Verified email at concordia.ca - Homepage
Title
Cited by
Cited by
Year
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
712019
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
562014
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
532004
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
451998
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
392018
Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
OA Mohamed, C Muńoz, S Tahar
Springer-Verlag, 2008
34*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
321999
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
312003
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
272015
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
272004
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
262020
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
262015
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
252014
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
252006
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
232014
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
232009
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
212019
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
212014
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
212011
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
202014
The system can't perform the operation now. Try again later.
Articles 1–20