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
522004
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
441998
A formal verification framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Expert Systems with Applications 41 (6), 2713-2728, 2014
412014
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
302003
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
291999
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
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
242004
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
222015
A probabilistic verification framework of SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
2013 IEEE 12th international conference on intelligent software …, 2013
222013
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
212015
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
212009
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
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
202013
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
182014
Model-based systems security quantification
S Ouchani, Y Jarraya, OA Mohamed
2011 Ninth Annual International Conference on Privacy, Security and Trust …, 2011
182011
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
A property-based abstraction framework for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
Knowledge-Based Systems 56, 328-343, 2014
172014
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
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
162014
Efficient probabilistic abstraction for SysML activity diagrams
S Ouchani, OA Mohamed, M Debbabi
International Conference on Software Engineering and Formal Methods, 263-277, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20