Mohammed Ouenzar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2011
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | PERCOM | Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. | Thibault De Champs, Bessam Abdulrazak, Hlne Pigot, Mohammed Ouenzar, Marc Frappier, Benot Fraikin |
| 2010 | ICFEM | Comparison of Model Checking Tools for Information Systems. | Marc Frappier, Benot Fraikin, Romain Chossart, Raphal Chane-Yack-Fa, Mohammed Ouenzar |