Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. - Combes, Pierre; Harel, David; Kugler, Hillel (Softw. Syst. Model., 2008)

A Language for Quality of Service Requirements Specification in Web Services Orchestrations. - Baligand, Fabien; Botlan, Didier Le; Ledoux, Thomas; Combes, Pierre (2006)

Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation. - Combes, Pierre; Monin, Wei; Cavalli, Ana R.; Mederreg, Amel; Zaïdi, Fatiha; Castanet, Richard; MacKaya, Marcien; Laurençot, Patrice (Ann. des Télécommunications, 2005)

Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. - Combes, Pierre; Harel, David; Kugler, Hillel (2005)

A Multi-service and Multi-protocol Validation Platform-Experimentation Results. - Cavalli, Ana R.; Mederreg, Amel; Zaïdi, Fatiha; Combes, Pierre; Monin, Wei; Castanet, Richard; MacKaya, Marcien; Laurençot, Patrice (2004)

Looking for Better Integration of Design and Performance Engineering. - Monin, Wei; Dubois, Fabrice; Vincent, Daniel; Combes, Pierre (2003)

An open animation tool: application to telecommunication systems. - Combes, Pierre; Dubois, Fabrice; Renard, Béatrice (Comput. Networks, 2002)

Service validation. - Combes, Pierre; Renard, Béatrice (Comput. Networks, 1999)

IN Service prototyping using SDL models and animation. - Alabau, Miguel; Combes, Pierre; Renard, Béatrice (1999)

Consistent Interaction Detection - A Comprehensive Approach Integrated with Service Creation. - Capellmann, Carla; Combes, Pierre; Pettersson, J.; Renard, Béatrice; Ruiz, J. L. (1997)

Observers in the SCE and the SEE to Detect and Resolve Services Interactions. - Aggoun, Imene; Combes, Pierre (1997)

Formalisation of a user view of network and services for feature interaction detection. - Combes, Pierre; Pickin, Simon (1994)