Malek Haroud

According to our database, Malek Haroud authored at least 3 papers between 2003 and 2005.

Collaborative distances:

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

2005

Equivalence checking for asynchronous software.

Malek Haroud

PhD thesis, 2005

SDL Versus C Equivalence Checking.

Malek Haroud, Armin Biere

Proceedings of the SDL 2005: Model Driven, 2005

2003

Formal Methods Group ETH Zürich.

Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003