Professor of Computer Engineering, Concordia University - Cited by 1734 - Hardware Verification - Model checking - Reliability Analysis - high ...
Ait Mohamed. Coveragedriven test generation and consistency algorithm. Revised Selected Papers. In Declarative Programming andKnowledge Management, Lecture ...
He is not one of the easiest, or most fair teachers. His exams are hard, and classes are boring. But he is not as bad as everyone here is saying. Pay attention ...
Ait Mohamed Otmane
Scholar
Affiliation: Concordia University
Research interests: Hardware Verification, Model checking, Reliability Analysis, and more
Otmane Ait Mohamed (M'01) is currently a Professor with the Department of Electrical and Computer Engineering, Concordia University. His research interests ...
Our research activities lie principally in the field of formal verification of concurrent communicating systems and hardware formal verification,
Professor at Concordia University · Experience: Concordia University · Location: Montreal · 219 connections on LinkedIn. View Otmane Ait Mohamed's profile ...
Otmane Ait Mohamed (M'01) is currently a Professor with the Department of Electrical and Computer Engineering, Concordia University. His research interests ...
Otmane AIT MOHAMED | Cited by 1302 | of Concordia University Montreal, Montréal | Read 204 publications | Contact Otmane AIT MOHAMED.
List of computer science publications by Otmane Aït Mohamed.
Otmane Ait Mohamed received his Ph.D. (1996) in Computer Science from Université Henri Poincaré, Nancy 1. Before his arrival at Concordia in 2002, he...