A Performance Evaluation of the CII SIRIS 8 Operating System. Methodology, Tools and First Results. - L. Boi; Patrice Cros; J. P. Drucbert; J. Y. Rousselot; Paul Bourret; R. Trepos (Performance, 1976)

A Deterministic Model of Operating Systems. - Paul Bourret; Patrice Cros (IFIP Congress, 1980)

Presentation and Correction of Errors in Operating System Measurements. - Paul Bourret; Patrice Cros (IEEE Trans. Software Eng., 1980)

Construction and Reuse of Formal Program Developments. - Jacques Cazin; Patrice Cros; René Jacquart; Michel Lemoine; P. Michel (TAPSOFT, Vol.2, 1991)

An Application of Abstract Interpretation to Floating Point Arithmetic. - Yamine Aït Ameur; Patrice Cros; Juan José Falcón; Alicia Gómez (WSA, 1992)

Experiences in the use of FIPA agent technologies for the development of a personal travel application. - Jorge Núñez-Suárez; Donie O'Sullivan; Henri Brouchoud; Patrice Cros; Clair Moore; Ciara Byrne (Agents, 2000)