Boubker Ghandour

According to our database, Boubker Ghandour authored at least 2 papers in 2007.

Collaborative distances:

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

2007

Extending Model Checking to Data-Aware Temporal Properties of Web Services.

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Model Checking Data-Aware Workflow Properties with CTL-FO+.

Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007