Ousmane Sy

According to our database, Ousmane Sy authored at least 8 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.

David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

A formal notation and tool for the engineering of CORBA systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Concurr. Pract. Exp., 2000

Formal specification of CORBA services: experience and lessons learned.

Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

A Formal Specification of the CORBA Event Service.

Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Structuring Interactive Systems Specifications for Executability and Prototypability.

David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy

Proceedings of the Interactive Systems: Design, 2000

1999

Formal Specification and Prototyping of CORBA Systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Proceedings of the ECOOP'99, 1999

Formal Support for the Engineering of CORBA-based Distributed Object Systems.

Rémi Bastide, Ousmane Sy, Philippe A. Palanque

Proceedings of the International Symposium on Distributed Objects and Applications, 1999

Petri Net Based Behavioural Specification of CORBA Systems.

Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre

Proceedings of the Application and Theory of Petri Nets 1999, 1999