Christophe Dumez

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Discrete Particle Swarm Optimization

Bounded Model Checking

Top Venues

J. Netw. Comput. Appl.

Int. J. Adapt. Resilient Auton. Syst.

Université de technologie de Belfort-Montbéliard, France (PHD)

Education History

Université de technologie de Belfort-Montbéliard, France

PHD

Publications

Christophe Dumez, Mohamed Bakhouya, Jaafar Gaber, Maxime Wack
Model-Driven Approaches to Service Composition. Int. J. Adapt. Resilient Auton. Syst. 4 (4) (2013)
Christophe Dumez, Mohamed Bakhouya, Jaafar Gaber, Maxime Wack, Pascal Lorenz
Model-driven approach supporting formal verification for web service composition protocols. J. Netw. Comput. Appl. 36 (4) (2013)
Ana Roxin, Christophe Dumez, Nathanael Cottin, Jaafar Gaber, Maxime Wack
TransportML: A Middleware for Location-Based Services Collaboration. NTMS (2009)
Christophe Dumez, Jaafar Gaber, Maxime Wack
Model-driven engineering of composite web services using UML-S. iiWAS (2008)