Mohamed Bouali

According to our database, Mohamed Bouali authored at least 3 papers between 2009 and 2012.

Collaborative distances:

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

2012

Backward reachability of Colored Petri Nets for systems diagnosis.

Mohamed Bouali, Pavol Barger, Walter Schön

Reliab. Eng. Syst. Saf., 2012

2009

Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière. (Contributions to formal analysis and to diagnosis using Colored Petri Nets with backward reachability).

Mohamed Bouali

PhD thesis, 2009

Inconsistent State Analysis of a Network Receiver with Colored Petri Nets.

Mohamed Bouali, Pavol Barger, Walter Schön

Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009