Otmane AIT MOHAMED
Otmane AIT MOHAMED
Professor of Computer Engineering, Concordia University
Verified email at concordia.ca - Homepage
Title
Cited by
Cited by
Year
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
492004
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
431998
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
342014
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
291999
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
262003
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
232004
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
222006
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
211998
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
202015
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
202009
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
182005
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
172015
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
172000
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
162014
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
162013
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
162011
A probabilistic verification framework of SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
2013 IEEE 12th international conference on intelligent software …, 2013
142013
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
141997
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
132014
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20