| 2001 |
|---|
| 8 | EE | 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 |
| 2000 |
|---|
| 7 | EE | 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 | EE | 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) |
| 1999 |
|---|
| 3 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Support for the Engineering of CORBA-based Distributed Object Systems.
DOA 1999: 264-272 |
| 2 | EE | Rémi Bastide,
Ousmane Sy,
Philippe A. Palanque:
Formal Specification and Prototyping of CORBA Systems.
ECOOP 1999: 474-494 |
| 1 | EE | 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 |
