Modeling and specification of web services composition using uml-s C Dumez, J Gaber, M Wack 2008 4th International Conference on Next Generation Web Services Practices …, 2008 | 33 | 2008 |
Model-driven approach supporting formal verification for web service composition protocols C Dumez, M Bakhouya, J Gaber, M Wack, P Lorenz Journal of network and computer applications 36 (4), 1102-1115, 2013 | 28 | 2013 |
Model-driven engineering of composite web services using uml-s C Dumez, J Gaber, M Wack Proceedings of the 10th International Conference on Information Integration …, 2008 | 21 | 2008 |
Web services composition using UML-S: a case study C Dumez, J Gaber, M Wack 2008 IEEE Globecom Workshops, 1-6, 2008 | 16 | 2008 |
Middleware models for location-based services: a survey AM Roxin, C Dumez, M Wack, J Gaber Proceedings of the 2nd international workshop on Agent-oriented software …, 2008 | 14 | 2008 |
Approche dirigée par les modeles pour la spécification, la vérification formelle et la mise en œuvre de services Web composés C Dumez Université de Technologie de Belfort-Montbeliard, 2010 | 13 | 2010 |
Formal specification and verification of service composition using LOTOS C Dumez, M Bakhouya, J Gaber, M Wack Proceedings of the 7th ACM international conference on pervasive services, 2010 | 8 | 2010 |
TransportML: A middleware for location-based services collaboration A Roxin, C Dumez, N Cottin, J Gaber, M Wack 2009 3rd International Conference on New Technologies, Mobility and Security …, 2009 | 4 | 2009 |
SAVE TIME: a smart vehicle traffic information system N Cottin, C Dumez, M Wack, J Gaber 8th ENIM/IFAC international conference on modelling and simulation, 2010 | 3 | 2010 |
Model-Driven Approaches to Service Composition C Dumez, M Bakhouya, J Gaber, M Wack International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS …, 2013 | | 2013 |
Intelligent Interactive Services AM Roxin, C Dumez | | 2009 |