Jounaïdi Ben Hassen

According to our database, Jounaïdi Ben Hassen authored at least 2 papers between 2004 and 2006.

Collaborative distances:

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

2006

On the numerical verification of probabilistic rewriting systems.

Jounaïdi Ben Hassen, Sofiène Tahar

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2004

Formal verification of an SoC platform protocol converter.

Jounaïdi Ben Hassen, Sofiène Tahar

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004