Mohammed Ouenzar

According to our database, Mohammed Ouenzar authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven.

Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

2010

Comparison of Model Checking Tools for Information Systems.

Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar

Proceedings of the Formal Methods and Software Engineering, 2010