Ousmane Sy

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping (2001)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
A formal notation and tool for the engineering of CORBA systems. Concurr. Pract. Exp. 12 (14) (2000)
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
A Formal Specification of the CORBA Event Service. FMOODS (2000)
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS (2000)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
Formal specification of CORBA services: experience and lessons learned. OOPSLA (2000)
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
Petri Net Based Behavioural Specification of CORBA Systems. ICATPN (1999)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Specification and Prototyping of CORBA Systems. ECOOP (1999)
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA (1999)