Ousmane Sy (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		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: 136-141
7		David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119
6		Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396
5		Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
4		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience 12(14): 1379-1403 (2000)
3		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA 1999: 264-272
2		Rémi Bastide, Ousmane Sy, Philippe A. Palanque: Formal Specification and Prototyping of CORBA Systems. ECOOP 1999: 474-494
1		Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85

Selection of 8 from 8 records - Ousmane Sy has 4 coauthors