Christophe Dumez

According to our database, Christophe Dumez authored at least 5 papers between 2008 and 2013.

Collaborative distances:

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

2013

Model-driven approach supporting formal verification for web service composition protocols.

Christophe Dumez, Mohamed Bakhouya, Jaafar Gaber, Maxime Wack, Pascal Lorenz

J. Netw. Comput. Appl., 2013

Model-Driven Approaches to Service Composition.

Christophe Dumez, Mohamed Bakhouya, Jaafar Gaber, Maxime Wack

Int. J. Adapt. Resilient Auton. Syst., 2013

2010

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en oeuvre de services Web composés. (Model-Driven Approach to specify, formally verify and implement Web service composition).

Christophe Dumez

PhD thesis, 2010

2009

TransportML: A Middleware for Location-Based Services Collaboration.

Ana Roxin, Christophe Dumez, Nathanael Cottin, Jaafar Gaber, Maxime Wack

Proceedings of the NTMS 2009, 2009

2008

Model-driven engineering of composite web services using UML-S.

Christophe Dumez, Jaafar Gaber, Maxime Wack

Proceedings of the iiWAS'2008, 2008