Petri Net Based Behavioural Specification of CORBA Systems. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; Duc-Hoa Le; David Navarre (ICATPN, 1999)

Formal Support for the Engineering of CORBA-based Distributed Object Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (DOA, 1999)

Formal Specification and Prototyping of CORBA Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (ECOOP, 1999)

Structuring Interactive Systems Specifications for Executability and Prototypability. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (DSV-IS, 2000)

A Formal Specification of the CORBA Event Service. - Rémi Bastide; Ousmane Sy; David Navarre; Philippe A. Palanque (FMOODS, 2000)

Formal specification of CORBA services: experience and lessons learned. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; David Navarre (OOPSLA, 2000)

A formal notation and tool for the engineering of CORBA systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (Concurr. Pract. Exp., 2000)

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (IEEE International Workshop on Rapid System Prototyping, 2001)