|
Search the dblp DataBase
Ousmane Sy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
Petri Net Based Behavioural Specification of CORBA Systems. [Citation Graph (0, 0)][DBLP] ICATPN, 1999, pp:66-85 [Conf]
- Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Support for the Engineering of CORBA-based Distributed Object Systems. [Citation Graph (0, 0)][DBLP] DOA, 1999, pp:264-272 [Conf]
- David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
Structuring Interactive Systems Specifications for Executability and Prototypability. [Citation Graph (0, 0)][DBLP] DSV-IS, 2000, pp:97-119 [Conf]
- Rémi Bastide, Ousmane Sy, Philippe A. Palanque
Formal Specification and Prototyping of CORBA Systems. [Citation Graph (0, 0)][DBLP] ECOOP, 1999, pp:474-494 [Conf]
- Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
A Formal Specification of the CORBA Event Service. [Citation Graph (0, 0)][DBLP] FMOODS, 2000, pp:371-396 [Conf]
- Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
Formal specification of CORBA services: experience and lessons learned. [Citation Graph (0, 0)][DBLP] OOPSLA, 2000, pp:105-117 [Conf]
- David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. [Citation Graph (0, 0)][DBLP] IEEE International Workshop on Rapid System Prototyping, 2001, pp:136-141 [Conf]
- Rémi Bastide, Ousmane Sy, Philippe A. Palanque
A formal notation and tool for the engineering of CORBA systems. [Citation Graph (0, 0)][DBLP] Concurrency - Practice and Experience, 2000, v:12, n:14, pp:1379-1403 [Journal]
Search in 0.001secs, Finished in 0.002secs
|