| 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 | 49 | 2004 |
| Model checking for a first-order temporal logic using multiway decision graphs Y Xu, E Cerny, X Song, F Corella, OA Mohamed International Conference on Computer Aided Verification, 219-231, 1998 | 43 | 1998 |
| A formal verification framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Expert Systems with Applications 41 (6), 2713-2728, 2014 | 34 | 2014 |
| Modeling and formal verification of the Fairisle ATM switch fabric using MDGs S Tahar, X Song, E Cerny, Z Zhou, M Langevin, O Aït-Mohamed IEEE transactions on computer-aided design of integrated circuits and …, 1999 | 29 | 1999 |
| 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 | 26 | 2003 |
| 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 | 23 | 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 | 22 | 2006 |
| Verification of the MDG components library in HOL P Curzon, S Tahar, O Ait-Mohamed Theorem Proving in Higher-Order Logics: Emerging Trends, 31-46, 1998 | 21 | 1998 |
| 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 | 20 | 2015 |
| 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 | 20 | 2009 |
| Single-chip FPGA implementation of a pipelined, memory-based AES Rijndael encryption design K Stevens, OA Mohamed Canadian Conference on Electrical and Computer Engineering, 2005., 1296-1299, 2005 | 18 | 2005 |
| Formal hardware verification by integrating HOL and MDG VK Pisini, S Tahar, P Curzon, O Ait-Mohamed, X Song Proceedings of the 10th Great Lakes symposium on VLSI, 23-28, 2000 | 17 | 2000 |
| 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 | 16 | 2015 |
| 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 | 16 | 2014 |
| Early analysis of soft error effects for aerospace applications using probabilistic model checking KA Hoque, OA Mohamed, Y Savaria, C Thibeault International Workshop on Formal Techniques for Safety-Critical Systems, 54-70, 2013 | 16 | 2013 |
| Model-based systems security quantification S Ouchani, Y Jarraya, OA Mohamed 2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011 | 16 | 2011 |
| A probabilistic verification framework of SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi 2013 IEEE 12th international conference on intelligent software …, 2013 | 14 | 2013 |
| On the Non-Termination of MDG-based abstract state enumeration O Aït-Mohamed, S Xiayou, E Cerny Advances in Hardware Design and Verification, 218-235, 1997 | 14 | 1997 |
| 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 | 13 | 2014 |
| A property-based abstraction framework for SysML activity diagrams S Ouchani, OA Mohamed, M Debbabi Knowledge-Based Systems 56, 328-343, 2014 | 13 | 2014 |
