| 1997 |
|---|
| 11 | | L. Andriantsiferana,
Jean-Pierre Courtiat,
Roberto C. de Oliveira,
L. Picci:
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
FORTE 1997: 433-448 |
| 1996 |
|---|
| 10 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
Proving Temporal Consistency in a New Multimedia Synchronization Model.
ACM Multimedia 1996: 141-152 |
| 9 | EE | Jean-Pierre Courtiat,
Michel Diaz,
Roberto C. de Oliveira,
Patrick Sénac:
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Computer Communications 19(14): 1134-1150 (1996) |
| 8 | | Jean-Pierre Courtiat,
Luiz F. Rust da Costa Carmo,
Roberto C. de Oliveira:
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.
IEEE Journal on Selected Areas in Communications 14(1): 185-195 (1996) |
| 1995 |
|---|
| 7 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
A Reachability Analysis of RT-LOTOS Specifications.
FORTE 1995: 117-124 |
| 6 | EE | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
L. Andriantsiferana:
Specification and Validation of Multimedia Protocols using RT-LOTOS.
FTDCS 1995: 354-362 |
| 5 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
MMNET 1995: 31-45 |
| 4 | EE | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
Luiz F. Rust da Costa Carmo:
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.
Inf. Syst. 20(6): 521-535 (1995) |
| 1994 |
|---|
| 3 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira,
Luiz F. Rust da Costa Carmo:
Towards a New Multimedia Synchronization Mechanism and its Formal Definition.
ACM Multimedia 1994: 133-140 |
| 2 | | Jean-Pierre Courtiat,
Luiz F. Rust da Costa Carmo,
Roberto C. de Oliveira:
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.
ICMCS 1994: 173-182 |
| 1 | | Jean-Pierre Courtiat,
Roberto C. de Oliveira:
About time nondeterminism and exception handling in a temporal extension of LOTOS.
PSTV 1994: 37-52 |
